= 27d567bc2d48d9f40e9ccc20ea370b15)
Decius comments on We won't be able to recognise the human Gödel sentence - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (33)
Here- have a general case Gödel sentence.
"This sentence cannot be proven true within any sound system which can express it."
To prove that false, it is necessary and sufficient to show that there is a sound system which can prove that it is true.