On Formally Undecidable Propositions of Principia Mathematica and Related Systems (Q7090984)
Jump to navigation
Jump to search
1931 paper by Kurt Gödel
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On Formally Undecidable Propositions of Principia Mathematica and Related Systems |
1931 paper by Kurt Gödel |
|
Statements
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (German)
0 references
1931
0 references
December 1931
0 references
38-38
0 references
1
0 references
173-198
0 references