Concept
Gödel's incompleteness theorems
Overview
theorem that a wide class of logical systems cannot be both consistent and complete
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Philosophers who discussed Gödel's incompleteness theorems
- Ernest Nagel
- Norwood Russell Hanson
- Kurt Gödel
- Walter Benjamin
- Frank P. Ramsey
- Roger Penrose
- Willard Van Orman Quine
- George Boolos
- Alfred North Whitehead
- Saul Kripke
- Gottlob Frege
- Alfred Tarski
- Alain Badiou
- John Lucas (philosopher)
- Nick Land
Related ideas
- First-order logic
- Independence (mathematical logic)
- Alan Turing
- Ernest Nagel
- Gödel's completeness theorem
- Harvard University Press
- Proof assistant
- The Encyclopedia of Philosophy
- Interpretation (logic)
- Karl Menger
- Zermelo–Fraenkel set theory
- Königsberg
- Computability theory
- John von Neumann
- Truth value
- Kurt Gödel
- Friedrich Waismann
- Synthese
- Herbert Feigl
- Ludwig Wittgenstein
- Ernst Zermelo
- Liar paradox
- Proof theory
- Mathematics
Place in the tradition
Part of Analytic philosophy.
Explore Gödel's incompleteness theorems in the interactive graph →