Some proof theory in the 1960’s. (English) Zbl 0881.01013

Odifreddi, Piergiorgio (ed.), Kreiseliana: about and around Georg Kreisel. Wellesley, MA: A K Peters. 275-288 (1996).
The paper discusses some of Georg Kreisel’s contributions to proof theory in the 1960s. The author especially deals with Kreisel’s and other proof theorists’ investigations on the connections between constructive reasoning and classical mathematics. He deals with some subsystems of analysis, the notion of predicative proofs, the idea of autonomous progression, and the question whether \(\Gamma_0\) is the limit of ordinals provable by predicative means.
For the entire collection see [Zbl 0894.03002].


01A60 History of mathematics in the 20th century
03-03 History of mathematical logic and foundations
03A05 Philosophical and critical aspects of logic and foundations
03F03 Proof theory in general (including proof-theoretic semantics)
03F60 Constructive and recursive analysis


Zbl 0873.00010