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

DOI10.1007/978-3-662-56237-6MaRDI QIDQ4640182zbMATH OpenOpenAlexFDO

Authors Alexander George, Daniel J. Vellemann

Publication date 16 May 2018

Full work available at URL https://doi.org/10.1007/978-3-662-56237-6

zbMATH Keywords

intuitionismlogicismphilosophy of mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Philosophical and critical aspects of logic and foundations (03A05) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• The crisis of the foundations of mathematics around 1900. Logicism, intuitionism, and formalism
• Philosophy of mathematics in ancient and modern times
• Philosophy of mathematics in the twentieth century. Selected essays.
• scientific article; zbMATH DE number 1764653
• Gödel's incompleteness theorems. A guided tour through Kurt Gödel's historical proof

Cited in

(6)

• scientific article; zbMATH DE number 3882395 (Why is no real title available?)
• scientific article; zbMATH DE number 1027921 (Why is no real title available?)
• scientific article; zbMATH DE number 1093813 (Why is no real title available?)
• Gödel's incompleteness theorems. A guided tour through Kurt Gödel's historical proof
• Kurt Gödel
• The crisis of the foundations of mathematics around 1900. Logicism, intuitionism, and formalism

This page was built for publication: 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

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