The creating subject, the Brouwer-Kripke schema, and infinite proofs

DOI10.1016/J.INDAG.2018.06.005zbMath1437.03173arXiv1805.00404OpenAlexW2963312493WikidataQ113872392 ScholiaQ113872392MaRDI QIDQ1788337

Mark van Atten

Publication date: 8 October 2018

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1805.00404

zbMATH Keywords

intuitionistic logicintuitionistic mathematicscreating subjectinfinite proofsBrouwer, L. E. J., Brouwer-Kripke schemaKreisel, G., Kripke, S., Myhill, J., Troelstra, A.S., theory of the creating subject

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Intuitionistic mathematics (03F55)

Related Items (6)

Brouwer's weak counterexamples and the creative subject: a critical survey ⋮ Proof vs Provability: On Brouwer’s Time Problem ⋮ A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES ⋮ Weyl and Intuitionistic Infinitesimals ⋮ A Dialogical Account of the Intersubjectivity of Intuitionism ⋮ Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics

Cites Work

• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
• The double negation of the intermediate value theorem
• Intuitionism. An introduction
• Foundations of set theory
• Constructions, proofs and the meaning of logical constants
• Brouwer meets Husserl. On the phenomenology of choice sequences
• Analysing choice sequences
• Braucht die konstruktive Mathematik Grundlagen?
• On the Brouwerian concept of negative continuity
• The conveyability of intuitionism, an essay on mathematical cognition
• Mechanism, mentalism, and metamathematics. An essay on finitism
• Intuitionistic uniformity principles for propositions and some applications
• On a second order propositional operator in intuitionistic logic
• Constructivism in mathematics. An introduction. Volume I
• COLOG-88. International conference on computer logic, Tallinn, USSR, December 12-16, 1988. Proceedings
• On the role of reducibility principles
• Varieties of indeterminacy in the theory of general choice sequences
• Brouwer-Heyting sequences converge
• From Brouwerian counter examples to the creating subject
• Note on extensions of Heyting's arithmetic by adding the ``creative subject
• Are the traditional philosophies of mathematics really incompatible?
• A negationless interpretation of intuitionistic theories
• The selected correspondence of L. E. J. Brouwer.
• Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
• Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968
• L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction
• L.E.J. Brouwer – Topologist, Intuitionist, Philosopher
• The Kripke schema in metric topology
• BLICK VON DER INTUITIONISTISCHEN WARTE
• A remark on free choice sequences and the topological completeness proofs
• A STRONG MULTI-TYPED INTUITIONISTIC THEORY OF FUNCTIONALS
• Brouwer's Incomplete Objects
• Indecomposability of negative dense subsets of R in Constructive Reverse Mathematics
• Brouwer's equivalence between virtual and inextensible order
• Brouwer and Souslin on Transfinite Cardinals
• The continuum hypothesis in intuitionism
• Spreads or choice sequences?
• A model for HAS. A topological interpretation of the theory of species of natural numbers
• An intuitiomstic completeness theorem for intuitionistic predicate logic
• The use of Kripke's schema as a reduction principle
• An intuitionistically plausible interpretation of intuitionistic logic
• An interpretation of intuitionistic analysis
• Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis
• Arguments for the Continuity Principle
• Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session
• Formalized recursive functionals and formalized realizability
• THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"
• Counterexamples in intuitionistic analysis using kripke's schema
• Formal systems for some branches of intuitionistic analysis
• Can there be no nonrecursive functions?
• Which number theoretic problems can be solved in recursive progressions on Π₁¹-paths through O?
• On weak completeness of intuitionistic predicate logic
• The Invalidity of Markoff's Schema
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Points and Spaces

This page was built for publication: The creating subject, the Brouwer-Kripke schema, and infinite proofs