Are the traditional philosophies of mathematics really incompatible?

DOI10.1007/BF03026617zbMath0803.03002MaRDI QIDQ1323041

No author found.

Publication date: 10 May 1994

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

zbMATH Keywords

truthtoposlogicismphilosophy of mathematicsnominalismintuitionismplatonismfinite-type category

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Topoi (18B25)

Related Items (5)

The future of mathematics in economics: a philosophically grounded proposal ⋮ What is the world of mathematics? ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ Exploring mathematical objects from custom-tailored mathematical universes ⋮ Category theory and the foundations of mathematics: philosophical excavations.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The happy formalist
• The war of the frogs and the mice, or the crisis of the Mathematische Annalen
• Sixty years after Gödel
• The L. E. J. Brouwer Centenary Symposium. Proceedings of the Conference held in Noordwijkerhout, 8--13 June, 1981
• Elementary Particles in a Finite World Geometry
• Adjointness in Foundations
• Completeness in the theory of types

This page was built for publication: Are the traditional philosophies of mathematics really incompatible?