Skip to main content
4 events
when toggle format what by license comment
Apr 6, 2015 at 16:39 comment added gnasher729 Gödel doesn't actually create any problems for the nature of proofs. What he demonstrated was that for some statements there is no proof that the statement is true, but neither is there a proof that the statement is false. Once you find a proof, you're fine, but you might never find one; not because you are not clever enough but because there is no proof.
Jun 8, 2011 at 0:14 history edited jimjim CC BY-SA 3.0
added 162 characters in body; deleted 159 characters in body
Jun 7, 2011 at 22:44 history edited jimjim CC BY-SA 3.0
added 114 characters in body
Jun 7, 2011 at 22:27 history answered jimjim CC BY-SA 3.0