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-7MaRDI QIDQ867145zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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)

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

Cited in

(3)

• 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
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

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)