Comments on: What Would the World Look Like if Everything was Computable?: An Introduction to Hyland’s Effective Topos http://xorshammer.com/2008/10/13/what-would-the-world-look-like-if-everything-was-computable-an-introduction-to-hylands-effective-topos/ Some things in mathematical logic that I find interesting Mon, 06 Sep 2010 21:42:48 +0000 hourly 1 http://wordpress.com/ By: Todd Trimble http://xorshammer.com/2008/10/13/what-would-the-world-look-like-if-everything-was-computable-an-introduction-to-hylands-effective-topos/#comment-186 Todd Trimble Thu, 14 May 2009 00:48:43 +0000 http://xorshammer.wordpress.com/?p=177#comment-186 Yes, it's quite well written. Wesley Phoa is a fiendishly intelligent bloke who I believe works in a financial industry (around Sydney, Australia), but who is still connected in some way with promoting categorical logic. Yes, it’s quite well written. Wesley Phoa is a fiendishly intelligent bloke who I believe works in a financial industry (around Sydney, Australia), but who is still connected in some way with promoting categorical logic.

]]> By: mkoconnor http://xorshammer.com/2008/10/13/what-would-the-world-look-like-if-everything-was-computable-an-introduction-to-hylands-effective-topos/#comment-165 mkoconnor Thu, 02 Apr 2009 23:46:01 +0000 http://xorshammer.wordpress.com/?p=177#comment-165 I found another introduction to effective toposes on the web. It's at http://www.lfcs.inf.ed.ac.uk/reports/92/ECS-LFCS-92-208/ It's quite well-written, and the author knows a heck of a lot more about the subject than I do, so I'd recommend it. I found another introduction to effective toposes on the web. It’s at http://www.lfcs.inf.ed.ac.uk/reports/92/ECS-LFCS-92-208/

It’s quite well-written, and the author knows a heck of a lot more about the subject than I do, so I’d recommend it.

]]>