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
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