×

zbMATH — the first resource for mathematics

Der mathematische Intuitionismus - Grundprinzipien, einige Konsequenzen und Probleme. (The mathematical intuitionism - basic principles, some consequences and problems). (German) Zbl 0634.03060
This paper offers a short introduction to intuitionistic mathematics. The author touches upon the following subjects: mathematical objects as constructions, choice sequences, the undecidability of equality, classical interpretations of intuitionistic formal systems, extensions of intuitionistic systems by semiclassical principles, intensional equality. The paper is concluded by a good list of references.
Reviewer: W.Veldman
MSC:
03F55 Intuitionistic mathematics
03A05 Philosophical and critical aspects of logic and foundations
PDF BibTeX XML Cite