The Creating Subject, the Brouwer–Kripke Schema, and infinite proofs

• Published in: Indagationes mathematicae Vol. 29; no. 6; pp. 1565 - 1636
• Main Author: van Atten, Mark
• Format: Journal Article
• Language: English
• Published: Amsterdam Elsevier B.V 01.12.2018; Elsevier Science Ltd
• Subjects: Brouwer, L. E. J., Brouwer–Kripke schema; Creating subject; Infinite proofs; Intuitionistic logic; Intuitionistic mathematics; Kreisel, G., Kripke, S., Myhill, J., Troelstra, A.S., Theory of the creating subject; Logic; Numerical analysis; Proof theory; Theoretical mathematics; Kreisel, G., Kripke, S., Myhill, J., Troelstra, A.S., Theory of the creating subject; Brouwer, L. E. J., Brouwer–Kripke schema; Intuitionistic logic; Infinite proofs; Creating subject; Intuitionistic mathematics

Kripke’s Schema (better the Brouwer–Kripke Schema) and the Kreisel–Troelstra Theory of the Creating Subject were introduced around the same time for the same purpose, that of analysing Brouwer’s ‘Creating Subject arguments’; other applications have been found since. I first look in detail at a repre...