Platonistic formalism

DOI10.1023/A:1005632214390MaRDI QIDQ5946332zbMATH OpenFDO

Authors Leon Horsten

Publication date 15 October 2002

Published in Erkenntnis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1005632214390

zbMATH Keywords

axiom of choiceformalismmathematical truthPlatonismZFC

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Set theory (03E99)

Recommendations

• scientific article; zbMATH DE number 7594133
• A formalist philosophy of mathematics. I: Arithmetic
• Truth through proof. A formalist foundation for mathematics
• Forms of mathematical realism
• Publication:4934556

Cited in

(7)

• Truth through proof. A formalist foundation for mathematics
• scientific article; zbMATH DE number 1550341 (Why is no real title available?)
• Oracle questions
• A formalist philosophy of mathematics. I: Arithmetic
• Isaacson's thesis on arithmetical truth
• Too naturalist and not naturalist enough: Reply to Horsten
• Applied Platonism

This page was built for publication: Platonistic formalism

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