Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session
From MaRDI portal
Publication:5250212
DOI10.1007/978-94-017-9217-2_1zbMath1352.03003OpenAlexW226475528MaRDI QIDQ5250212
No author found.
Publication date: 19 May 2015
Published in: Logic, Epistemology, and the Unity of Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-94-017-9217-2_1
recursive functionsKripke's schemaconstructive functionsBHK meaning-explanationsKreisel-Myhill connectivetheory of creating subject
History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Metamathematics of constructive systems (03F50)
Related Items
Weyl and Intuitionistic Infinitesimals ⋮ Verificationism and Classical Realizability ⋮ A Dialogical Account of the Intersubjectivity of Intuitionism ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ Kalmár's Argument Against the Plausibility of Church's Thesis ⋮ Péter on Church's thesis, constructivity and computers
Cites Work
- Constructions, proofs and the meaning of logical constants
- Braucht die konstruktive Mathematik Grundlagen?
- Church's thesis and the ideal of informal rigour
- Constructivism in mathematics. An introduction. Volume II
- On some recent criticism of Church's thesis
- Logic, methodology and philosophy of science III. Proceedings of the third international congress for logic, methodology and philosophy of science, Amsterdam 1967
- Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
- Proof theory and intuitionistic systems
- Second Thoughts about Church's Thesis and Mathematical Proofs
- Extension of an effectively generated class of functions by enumeration
- BLICK VON DER INTUITIONISTISCHEN WARTE
- Godel's interpretation of intuitionism
- An interpretation of intuitionistic analysis
- Choice sequences and reduction processes
- Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
- Counterexamples in intuitionistic analysis using kripke's schema
- Formal systems for some branches of intuitionistic analysis
- 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