Intuitionism: An Inspiration?

Authors :: Wim Veldman
Source :: Jahresbericht der Deutschen Mathematiker-Vereinigung, 123, 221-284, Jahresbericht der Deutschen Mathematiker-Vereinigung, 123, 4, pp. 221-284
Publication Year :: 2021
Abstract: Contains fulltext : 239847.pdf (Publisher’s version ) (Open Access)

Subjects :: Algebra and Topology
MathematicsofComputing_GENERAL
03 F 55
General Medicine
Mathematics - Logic
Epistemology
TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES
Intuitionism
TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS
FOS: Mathematics
Algebra en Topologie
Logic (math.LO)
Mathematics

ISSN :: 00120456
Database :: OpenAIRE
Journal :: Jahresbericht der Deutschen Mathematiker-Vereinigung, 123, 221-284, Jahresbericht der Deutschen Mathematiker-Vereinigung, 123, 4, pp. 221-284
Accession number :: edsair.doi.dedup.....8e72d7b1067dff1d1bd269fedb7813d1

Tools