The meaning of pure mathematics

DOI10.1007/BF00274069zbMath0677.03002MaRDI QIDQ1123181

Jan Mycielski

Publication date: 1989

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

finite structuresintentionalismmeaning of pure mathematics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Methodology of mathematics (00A35) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items

Equational treatment of first-order logic ⋮ Finite mathematics.

Cites Work

• Against intuitionism: Constructive mathematics is part of classical mathematics
• Locally finite theories
• Hilbert's program sixty years later
• Partial realizations of Hilbert's program
• Hilbert's program relativized; Proof-theoretical and foundational reductions
• Analysis without actual infinity