Did Bishop Have a Philosophy of Mathematics?†

DOI10.1093/philmat/11.2.176zbMath1049.03001OpenAlexW2318843784MaRDI QIDQ4811545

Helen Billinge

Publication date: 6 September 2004

Published in: Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/philmat/11.2.176

zbMATH Keywords

philosophy of mathematicsconstructivismBishop

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Constructive and recursive analysis (03F60) Philosophical and critical aspects of logic and foundations (03A05) Other constructive mathematics (03F65)

Related Items

On V.A. Yankov’s Contribution to the History of Foundations of Mathematics, Pluralism in mathematics, A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography, Proofs and retributions, or: why Sarah can't take limits