Piergiorgio Odifreddi (ed.)
A K Peters (1996)
| Abstract |
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 | $198.34 used Amazon page |
| ISBN(s) | 156881061X 156881061X |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 60,878
External links
(no proxy) 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
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
Chapters BETA
References found in this work BETA
No references found.
Citations of this work BETA
Number Theory and Elementary Arithmetic.Jeremy Avigad - 2003 - Philosophia Mathematica 11 (3):257-284.
Jean van Heijenoort’s Contributions to Proof Theory and Its History.Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):411-458.
Similar books and articles
Mathematical Logic: What has It Done for the Philosophy of Mathematics?Carlo Cellucci - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel, pp. 365-388. A K Peters.
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.
Book Review: Collected Works, Vol. I [Oxford Univ. Press, New York, 1986] by K. Gödel. [REVIEW]Georg Kreisel - 1987 - Notre Dame Journal of Formal Logic 29 (1):160-181.
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.
Actions, Norms, Values: Discussions with Georg Henrik Von Wright.Georg Meggle & Andreas Wojcik (eds.) - 1999 - W. De Gruyter.
Some Uses of Mathematics.G. Kreisel - 1956 - British Journal for the Philosophy of Science 7 (26):161-173.
Analytics
Added to PP index
2011-05-14
Total views
0
Recent downloads (6 months)
0
2011-05-14
Total views
0
Recent downloads (6 months)
0
How can I increase my downloads?
Downloads
Sorry, there are not enough data points to plot this chart.
Sorry, there are not enough data points to plot this chart.
