Reflections on Bishop's philosophy of mathematics

DOI10.1007/BF03026577zbMath0532.03006MaRDI QIDQ788709

Nicolas D. Goodman

Publication date: 1983

Published in: The Mathematical Intelligencer (Search for Journal in Brave)

zbMATH Keywords

constructive mathematicsconstructivismconstructive philosophy of mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Metamathematics of constructive systems (03F50)

Related Items (1)

The knowing mathematician

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On ordinal diagrams
• Mathematics as an Objective Science

This page was built for publication: Reflections on Bishop's philosophy of mathematics