Curry's formalism as structuralism

DOI10.1007/s11787-011-0028-3zbMath1261.00005OpenAlexW2073500481MaRDI QIDQ1942337

Jonathan P. Seldin

Publication date: 19 March 2013

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-011-0028-3

zbMATH Keywords

formalismstructuralism

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The happy formalist
• Combinatory logic. With two sections by William Craig.
• Arithmetic as a study of formal systems
• Combinatory logic. Vol. II
• Outlines of a formalist philosophy of mathematics
• Three Varieties of Mathematical Structuralism†
• Does Category Theory Provide a Framework for Mathematical Structuralism?†
• Some aspects of the problem of mathematical rigor

This page was built for publication: Curry's formalism as structuralism