On formally undecidable propositions of \textit{Principia Mathematica} and related systems. I. With an introductory comment by Sy-David Friedman
DOI10.1007/S00605-006-0423-7zbMATH Open1103.03002OpenAlexW2114804254MaRDI QIDQ867145FDOQ867145
Authors: Kurt Gödel 
Publication date: 15 February 2007
Published in: Monatshefte für Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00605-006-0423-7
Recommendations
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
- Kurt Gödel's intellectual development. [In memoriam Kurt Gödel (28 April 1906 -- 14 January 1978)].
- scientific article; zbMATH DE number 1184435
- Discussion on the foundation of mathematics
- Interpreting Gödel. Critical essays
History of mathematics in the 20th century (01A60) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) First-order arithmetic and fragments (03F30)
Cited In (4)
- Presburger arithmetic, rational generating functions, and quasi-polynomials
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
- Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle
- Gödel's incompleteness theorems. A guided tour through Kurt Gödel's historical proof
This page was built for publication: On formally undecidable propositions of \textit{Principia Mathematica} and related systems. I. With an introductory comment by Sy-David Friedman
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q867145)
