A K Peters (1996)

This multifaceted collection of essays, reminiscences, and professional papers combine to create an exceptional tribute to the unusual, enigmatic, and ultimately fascinating personality of Georg Kreisel. An eminently influential logician and mathematical philosopher, Kreisel is revealed as much more in this entertaining juxtaposition of viewpoints from famous contributors like Verena Huber-Dyson, Sol Feferman, and Francis Crick. Mathematics fans and armchair philosophers will delight in this look at Kreisel as he conveys his unique personal and intellectual influence.
Keywords Kreisel, Georg   Mathematicians   Mathematics   Logic, Symbolic and mathematical
Categories (categorize this paper)
Buy this book Find it on Amazon.com
ISBN(s) 156881061X   156881061X
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,512
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
Chapters BETA

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Number Theory and Elementary Arithmetic.Jeremy Avigad - 2003 - Philosophia Mathematica 11 (3):257-284.
Critical Studies/Book Reviews.Dag Prawitz - forthcoming - Philosophia Mathematica:nkab027.

Add more citations

Similar books and articles

Kreisel's 'Unwinding Program'.Solomon Feferman - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters. pp. 247--273.
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. North-Holland. pp. 138--157.
Church's Thesis and the Ideal of Informal Rigour.Georg Kreisel - 1987 - Notre Dame Journal of Formal Logic 28 (4):499-519.
Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems.Georg Kreisel & Azriel Lévy - 1968 - Zeitschrift für Mathematische Logic Und Grundlagen der Mathematik 14 (1):97--142.
Elements of Mathematical Logic: Model Theory.Georg Kreisel - 1967 - Amsterdam: North Holland Pub. Co..
Kreisel, the Continuum Hypothesis and Second Order Set Theory.Thomas Weston - 1976 - Journal of Philosophical Logic 5 (2):281 - 298.
A Notion of Mechanistic Theory.G. Kreisel - 1974 - Synthese 29 (1-4):11 - 26.
Some Uses of Mathematics.G. Kreisel - 1956 - British Journal for the Philosophy of Science 7 (26):161-173.


Added to PP index

Total views
1 ( #1,553,468 of 2,520,967 )

Recent downloads (6 months)
1 ( #405,457 of 2,520,967 )

How can I increase my downloads?


Sorry, there are not enough data points to plot this chart.

My notes