The happy formalist

DOI10.1007/BF03024066zbMATH Open0716.01018MaRDI QIDQ752675FDOQ752675

Authors: James Henle 

Publication date: 1991

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

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

zbMATH Keywords

epistemologylogicismintuitionismpedagogyaestheticsrealityplatonismpure mathematicsquasi-empiricism

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Foundations of mathematics for the working mathematician
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mathematics and German politics: the national socialist experience
• The ignorance of Bourbaki
• Outlines of a formalist philosophy of mathematics
• Title not available (Why is that?)

Cited In (5)

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

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)