Brouwer's weak counterexamples and the creative subject: a critical survey
From MaRDI portal
Publication:830395
DOI10.1007/s10992-020-09551-yzbMath1485.03019OpenAlexW3022921787WikidataQ124798394 ScholiaQ124798394MaRDI QIDQ830395
Publication date: 7 May 2021
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-020-09551-y
intuitionistic logicBrouwerintuitionistic analysischoice sequencescreative subjectweak counterexamples
Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)
Cites Work
- Intuitionism. An introduction
- On the Brouwerian concept of negative continuity
- Constructivism in mathematics. An introduction. Volume II
- Varieties of indeterminacy in the theory of general choice sequences
- The creating subject, the Brouwer-Kripke schema, and infinite proofs
- Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
- Brouwer's Incomplete Objects
- Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem
- Continuity and nondiscontinuity in constructive mathematics
- Arguments for the Continuity Principle
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Brouwer's weak counterexamples and the creative subject: a critical survey