Intuitionism: an inspiration?

DOI10.1365/s13291-021-00230-8OpenAlexW3156908764MaRDI QIDQ2065727

Wim Veldman

Publication date: 12 January 2022

Published in: Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2102.01561

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Fixed-point and coincidence theorems (topological aspects) (54H25) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

Related Items

Projective sets, intuitionistically

Cites Work

• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
• Intuitionism. An introduction
• Theory of relations. Transl. from the French by P. Clote
• Retracing Cantor's first steps in Brouwer's company
• Untersuchungen über das logische Schliessen. I
• An intuitionistic proof of Kruskal's theorem
• Two simple sets that are not positively Borel
• L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction
• Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics
• A recursion theoretic analysis of the clopen Ramsey theorem
• Towards a Theory of Mathematical Research Programmes (I)
• The continuum hypothesis in intuitionism
• What is Cantor's Continuum Problem?
• An intuitionist correction of the fixed-point theorem on the sphere
• Points and Spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item