Intuitionistic views on the nature of mathematics
From MaRDI portal
Publication:1220901
DOI10.1007/BF00660890zbMath0315.02010MaRDI QIDQ1220901
Publication date: 1974
Published in: Synthese (Search for Journal in Brave)
Philosophical and critical aspects of logic and foundations (03A05) Intuitionistic mathematics (03F55) Intermediate logics (03B55)
Related Items (7)
Conceptions of truth in intuitionism ⋮ Heyting’s contribution to the change in research into the foundations of mathematics ⋮ Verificationism and the principle of non-contradiction ⋮ A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES ⋮ On a weakening of Markov's Principle ⋮ The seeming interdependence between the concepts of valid inference and proof ⋮ A Notion of C-Justification for Empirical Statements
Cites Work
This page was built for publication: Intuitionistic views on the nature of mathematics