|Abstract||Through his own contributions (individual and collaborative) and his extraordinary personal influence, Georg Kreisel did perhaps more than anyone else to promote the development of proof theory and the metamathematics of constructivity in the last forty-odd years. My purpose here is to give some idea of just one aspect of Kreisel’s contributions to these areas, namely that devoted to “unwinding” the constructive content of prima-facie nonconstructive mathematical proofs.1 This program was the subject of his first remarkable papers in the 1950’s, and it has drawn his repeated attention ever since.|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
G. Kreisel (1968). A Survey of Proof Theory. Journal of Symbolic Logic 33 (3):321-388.
Thomas Weston (1976). Kreisel, the Continuum Hypothesis and Second Order Set Theory. Journal of Philosophical Logic 5 (2):281 - 298.
S. Feferman, G. Kreisel & S. Orey (forthcoming). 1 — Consistency and Faithful Interpretations. Archive for Mathematical Logic.
Georg Kreisel (1972). Informal Rigour and Completeness Proofs. In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. North-Holland.
G. Kreisel (1958). Mathematical Significance of Consistency Proofs. Journal of Symbolic Logic 23 (2):155-182.
G. Kreisel (1956). Review: Some Uses of Metamathematics. [REVIEW] British Journal for the Philosophy of Science 7 (26):161 - 173.
Jeremy Avigad, “Clarifying the Nature of the Infinite”: The Development of Metamathematics and Proof Theory.
Pierluigi Minari (1986). On the Extension of Intuitionistic Propositional Logic with Kreisel-Putnam's and Scott's Schemes. Studia Logica 45 (1):55 - 68.
Georg Kreisel (1991). Review: Kurt Godel, Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort, Collected Works of Kurt Godel 1938-1974. [REVIEW] Journal of Symbolic Logic 56 (3):1085-1089.
Carlo Cellucci (1996). Mathematical Logic: What has It Done for the Philosophy of Mathematics? In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel, pp. 365-388. A K Peters.
Added to index2009-01-28
Total downloads17 ( #78,069 of 722,929 )
Recent downloads (6 months)1 ( #61,087 of 722,929 )
How can I increase my downloads?