Comments on: Rosser’s Clever Improvement to Gödel’s Original First Incompleteness Theorem

Comments on: Rosser’s Clever Improvement to Gödel’s Original First Incompleteness Theorem http://xorshammer.com/2008/08/19/original-goedel/ Some things in mathematical logic that I find interesting Mon, 06 Sep 2010 21:42:48 +0000 hourly 1 http://wordpress.com/ By: About decidability… « Dijkstrabühl http://xorshammer.com/2008/08/19/original-goedel/#comment-187 About decidability… « Dijkstrabühl Sat, 16 May 2009 00:14:39 +0000 http://xorshammer.wordpress.com/?p=77#comment-187 [...] I read this and thought, since I havent really blogged much about mathematics yet, I could do so once again [...] [...] I read this and thought, since I havent really blogged much about mathematics yet, I could do so once again [...]

]]>