Brouwer's Incomplete Objects
From MaRDI portal
Publication:3590046
DOI10.1080/01445340903445071zbMath1200.03006OpenAlexW2051586746WikidataQ58515767 ScholiaQ58515767MaRDI QIDQ3590046
Publication date: 17 September 2010
Published in: History and Philosophy of Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/01445340903445071
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Intuitionistic mathematics (03F55)
Related Items (3)
Brouwer's weak counterexamples and the creative subject: a critical survey ⋮ Brouwer and Nietzsche: Views about Life, Views about Logic ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the Brouwerian concept of negative continuity
- Varieties of indeterminacy in the theory of general choice sequences
- Brouwer-Heyting sequences converge
- From Brouwerian counter examples to the creating subject
- Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
- An interpretation of intuitionistic analysis
This page was built for publication: Brouwer's Incomplete Objects