Work
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Overview
1931 paper by Kurt Gödel
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Philosophers who discussed On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Related ideas
- Basic Books
- Kurt Gödel
- Liar paradox
- Mathematical logic
- Natural number
- Paradox
- Peano axioms
- Recursion
- Type theory
- Alonzo Church
- Gödel's incompleteness theorems
- Alfred Tarski
- Consistency
- J. Barkley Rosser
- Dialectica
Place in the tradition
Part of Outline of logic.