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-6zbMATH Open1475.03001OpenAlexW3015483850MaRDI QIDQ4640182FDOQ4640182

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

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

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)

Cited In (5)

• Title not available (Why is that?)
• The crisis of the foundations of mathematics around 1900. Logicism, intuitionism, and formalism
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)