http://xorshammer.com/2008/08/25/almost-a-number-theoretic-miracle/ Some things in mathematical logic that I find interesting Sat, 03 Mar 2012 11:53:40 +0000 hourly 1 http://wordpress.com/ http://xorshammer.com/2008/08/25/almost-a-number-theoretic-miracle/#comment-410 Mon, 17 Jan 2011 06:50:29 +0000 http://xorshammer.wordpress.com/?p=131#comment-410 Wait, does that say that the twin prime conjecture is decidable? For all but finitely many n, at least one of {n,n+2} is composite.

]]> http://xorshammer.com/2008/08/25/almost-a-number-theoretic-miracle/#comment-109 Thu, 02 Oct 2008 04:35:57 +0000 http://xorshammer.wordpress.com/?p=131#comment-109 Wow! Which things are decidable and which things are undecidable keeps on surprising me.

]]>