Prev: Second Clay Mathematics Award claimed, but how should it be split?
Next: Proof of Cook's Theorem in Unary
From: Rupert on 21 Oct 2009 19:32 I found this paper very interesting: http://philmat.oxfordjournals.org/cgi/reprint/14/2/153 In particular, I found the discussion in Section 5.1 very interesting. But I am interested in the philosophical significance of all of this. What reason do we have, exactly, to think that all the Omega- consequences of ZFC are true? |