Timeline for Is there such a thing as absolute proof?
Current License: CC BY-SA 3.0
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 |