Outlines of a formalist philosophy of mathematics
From MaRDI portal
Publication:2649307
zbMath0043.00601MaRDI QIDQ2649307
Publication date: 1951
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Related Items
Curry's formalism as structuralism, Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective, Is mathematics problem solving or theorem proving?, The happy formalist, Mathematics and Reality, MATHEMATICAL FACTS IN A PHYSICALIST ONTOLOGY, Is The theory of everything merely the ultimate ensemble theory?, Operation and Predicativity: Lorenzen’s Approach to Arithmetic
