Brouwer's weak counterexamples and the creative subject: a critical survey

DOI10.1007/s10992-020-09551-yzbMath1485.03019OpenAlexW3022921787WikidataQ124798394 ScholiaQ124798394MaRDI QIDQ830395

N. E. Zubov

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

zbMATH Keywords

intuitionistic logicBrouwerintuitionistic analysischoice sequencescreative subjectweak counterexamples

Mathematics Subject Classification ID

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