Gödel's Incompleteness Theorem
theorem that a wide class of logical systems cannot be both consistent and complete
Save the 3 videos on Gödel's Incompleteness Theorem to your own pod.
Sign up free to keep building your knowledge base on Gödel's Incompleteness Theorem as more episodes are added.
Videos Mentioning Gödel's Incompleteness Theorem
The Case Against Reality — Professor Donald Hoffman
Tim Ferriss
A mathematical theorem stating that any finite axiomatic system rich enough for arithmetic will contain true statements that cannot be proven within that system, implying that any conceptual scheme can only scratch the surface of reality.
Scott Aaronson: Computational Complexity and Consciousness | Lex Fridman Podcast #130
Lex Fridman
A mathematical theorem stating that in any consistent formal system containing basic arithmetic, there are true statements that cannot be proven within the system. Penrose uses this as part of his argument for uncomputable aspects of consciousness, an argument Aaronson finds unsound.
Is Consciousness a Fundamental Building Block of the Universe? | Rebecca Newberger Goldstein
Closer To Truth
Mentioned by Goldstein as an example of a difficult idea she has made accessible in her work.