Kurt Gödel

DOI10.1007/978-3-030-87296-0MaRDI QIDQ5159291zbMATH OpenOpenAlexFDO

Authors

Publication date 26 October 2021

Published in Sources and Studies in the History of Mathematics and Physical Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-87296-0

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) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• Gödel and intuitionism
• Gödel's Introduction to Logic in 1939
• Godel's interpretation of intuitionism
• Toward the philosophy of mathematics. Logicism, intuitionism, finitism, and Gödel's incompleteness theorems. Translated from the English by Deborah Kant and Thomas Bedürftig
• On Gödel's modal interpretation of the intuitionistic logic

Cited in

(2)

• Some Remarks on an Early Version of Gödel's Ontological Proof and his View Upon the Principle of the Identity of Indiscernibles
• Gödel, Gentzen, and Constructive Consistency Proofs

This page was built for publication: Kurt Gödel

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