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)
03A05: Philosophical and critical aspects of logic and foundations
03F55: Intuitionistic mathematics
03B55: Intermediate logics
Related Items
Heyting’s contribution to the change in research into the foundations of mathematics, A Notion of C-Justification for Empirical Statements, A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES, The seeming interdependence between the concepts of valid inference and proof, Conceptions of truth in intuitionism, Verificationism and the principle of non-contradiction, On a weakening of Markov's Principle
Cites Work