scientific article; zbMATH DE number 1795233
From MaRDI portal
Publication:4552754
zbMath1019.03043MaRDI QIDQ4552754
Publication date: 16 September 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Brouwer's weak counterexamples and the creative subject: a critical survey ⋮ Betwixt Turing and Kleene ⋮ Equality and equivalence, intuitionistically ⋮ Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative ⋮ Higher-order concepts for the potential infinite ⋮ Projective sets, intuitionistically ⋮ Validating Brouwer's continuity principle for numbers using named exceptions ⋮ Two simple sets that are not positively Borel ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ Intuitionism: an inspiration? ⋮ Reverse mathematics of the uncountability of \(\mathbb{R}\) ⋮ Formally computing with the non-computable
