Gödel's Incompleteness Theorems
Discussions revolve around invoking or debating Gödel's incompleteness theorems in contexts like formal systems, proofs, AI limitations, and mathematical foundations. Users frequently reference Wikipedia and Stanford Encyclopedia entries while questioning completeness or self-reference in various systems.
Activity Over Time
Top Contributors
Keywords
Sample Comments
#relevanthttps://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_...
How does that square with something like godel's incompleteness therom?
Is Godel's theorem what you're referring to? https://plato.stanford.edu/entries/goedel-incompleteness/
Gödel says nohttps://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_...
Gödel countered this with the incompleteness theorems. If you're interested, have a look here: https://plato.stanford.edu/entries/goedel-incompleteness/
Godel's incompleteness theorem would seem to imply that is possible unless I'm misinterpreting it. I have a rather elementary understanding.
By Goedel's incompleteness theorem.
It reminds me a bit of Godel's Incompleteness Theorems https://en.wikipedia.org/wiki/Gödel%27s_incompleteness_theor...
How does this square with Gödel's Incompleteness Theorem (https://en.wikipedia.org/wiki/Gödel%27s_incompleteness_theor...)?
Godel's incompleteness is the closest we have come to the theory of everything