Did Bishop Have a Philosophy of Mathematics?†

DOI10.1093/PHILMAT/11.2.176zbMATH Open1049.03001OpenAlexW2318843784MaRDI QIDQ4811545FDOQ4811545

Authors: 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

Recommendations

• Constructive Mathematics
• Church's thesis and Bishop's constructivism
• scientific article; zbMATH DE number 4070894
• scientific article; zbMATH DE number 1301805
• scientific article; zbMATH DE number 95254

zbMATH Keywords

constructivismphilosophy of mathematicsBishop

Mathematics Subject Classification ID

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

Cited In (5)

• A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography
• Pluralism in mathematics
• On V.A. Yankov’s Contribution to the History of Foundations of Mathematics
• Title not available (Why is that?)
• Proofs and retributions, or: why Sarah can't take limits

This page was built for publication: Did Bishop Have a Philosophy of Mathematics?†

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4811545)