The happy formalist

DOI10.1007/BF03024066MaRDI QIDQ752675zbMATH OpenFDO

Authors James Henle

Publication date 1991

Published in The Mathematical Intelligencer (Search for Journal in Brave)

zbMATH Keywords

epistemologylogicismintuitionismpedagogyaestheticsrealityplatonismpure mathematicsquasi-empiricism

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophy of mathematics (00A30)

Recommendations

• Adventures in formalism
• Strict finitism and the happy sorites
• The structure of pleasant ideals
• scientific article; zbMATH DE number 1301812
• scientific article; zbMATH DE number 733402
• Taking formalism seriously

Cites work

• scientific article; zbMATH DE number 3873291 (Why is no real title available?)
• scientific article; zbMATH DE number 3983097 (Why is no real title available?)
• scientific article; zbMATH DE number 4047621 (Why is no real title available?)
• scientific article; zbMATH DE number 19160 (Why is no real title available?)
• scientific article; zbMATH DE number 3300581 (Why is no real title available?)
• scientific article; zbMATH DE number 3076639 (Why is no real title available?)
• Foundations of mathematics for the working mathematician
• Mathematics and German politics: the national socialist experience
• Outlines of a formalist philosophy of mathematics
• The ignorance of Bourbaki

Cited in

(5)

• Truth through proof. A formalist foundation for mathematics
• A formalist philosophy of mathematics. I: Arithmetic
• The meaning of pure mathematics
• Curry's formalism as structuralism
• Are the traditional philosophies of mathematics really incompatible?

This page was built for publication: The happy formalist

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