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 mathematics; constructivism; constructive philosophy of mathematics

Mathematics Subject Classification ID

00A30: Philosophy of mathematics

03A05: Philosophical and critical aspects of logic and foundations

03-03: History of mathematical logic and foundations

03F50: Metamathematics of constructive systems

Related Items

The knowing mathematician

Cites Work

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