Intuitionism: an inspiration?
From MaRDI portal
Publication:2065727
DOI10.1365/s13291-021-00230-8OpenAlexW3156908764MaRDI QIDQ2065727
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
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
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