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

logicismintuitionismphilosophy of mathematics

Mathematics Subject Classification ID

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

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

(5)

• scientific article; zbMATH DE number 3882395 (Why is no real title available?)
• The crisis of the foundations of mathematics around 1900. Logicism, intuitionism, and formalism
• 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

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)