scientific article; zbMATH DE number 1184435

MaRDI QIDQ3838112zbMATH OpenFDO

Authors Kurt Gödel

Publication date 5 August 1998

Mathematics Subject Classification ID

Collected or selected works; reprintings or translations of classics (01A75) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Undecidability and degrees of sets of sentences (03D35) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• scientific article; zbMATH DE number 47920
• scientific article; zbMATH DE number 1748963
• Kurt Gödel's intellectual development. [In memoriam Kurt Gödel (28 April 1906 -- 14 January 1978)].

Cited in

(10)

• Automated mutual induction proof in separation logic
• J-Calc: a typed lambda calculus for intuitionistic justification logic
• On a hitherto unexploited extension of the finitary standpoint. Translation from the German by M. S. Lourenço.
• scientific article; zbMATH DE number 47920 (Why is no real title available?)
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• scientific article; zbMATH DE number 1748963 (Why is no real title available?)
• Relative consistency and accessible domains
• Understanding mathematical texts: a hermeneutical approach
• On formally undecidable propositions of \textit{Principia Mathematica} and related systems. I. With an introductory comment by Sy-David Friedman
• Computational mechanics of input-output processes: structured transformations and the \(\epsilon\)-transducer

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3838112)