= 27d567bc2d48d9f40e9ccc20ea370b15)
Stuart_Armstrong 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)
That would only work if you also say "there must be an error somewhere in Gödel's proof".
Gödel's proof assumes the consistency of the theory that G is being created for. It's not an error in the proof, but it's not an assumption you're allowed to make when talking about your own logical system.