From Brouwerian counter examples to the creating subject

DOI10.1023/A:1026411905257zbMath0922.03083MaRDI QIDQ1288970

Dirk van Dalen

Publication date: 10 October 1999

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

surveyindecomposabilityintuitionismintuitionistic continuumBrouwerian counterexamplescreating subject

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Intuitionistic mathematics (03F55)

Related Items (5)

On A. Ya. Khinchin's paper `Ideas of intuitionism and the struggle for a subject matter in contemporary mathematics' (1926): a translation with introduction and commentary ⋮ Brouwer and Nietzsche: Views about Life, Views about Logic ⋮ The anti-Specker property, a Heine-Borel property, and uniform continuity ⋮ Brouwer's Incomplete Objects ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs

This page was built for publication: From Brouwerian counter examples to the creating subject