Classical arithmetic is part of intuitionistic arithmetic

MaRDI QIDQ2707481zbMATH OpenFDO

Authors Michael Potter

Publication date 21 October 2001

zbMATH Keywords

classical arithmeticintuitionistic arithmeticphilosophy of mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)

Recommendations

• Dummett's intuitionism is not strict finitism
• The conveyability of intuitionism, an essay on mathematical cognition
• scientific article; zbMATH DE number 6607423
• Epistemic Optimism
• Some obstacles facing a semantic foundation for constructive mathematics

Cited in

(7)

• Dummett's intuitionism is not strict finitism
• Classical and intuitionistic models of arithmetic
• The priority of arithmetical truth over arithmetical provability
• Classical arithmetic is quite unnatural
• Epistemic Optimism
• Proofs instead of meaning explanations: understanding classical \textit{vs} intuitionistic mathematics from the outside
• Why anti-realists and classical mathematicians cannot get along

This page was built for publication: Classical arithmetic is part of intuitionistic arithmetic

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