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 |
Find it on Amazon.com
|
ISBN(s) | 156881061X 156881061X |
Options |
![]() ![]() ![]() ![]() |
Download options

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.
Paul Weingartner and Hans-Peter Leeb, Eds, Kreisel’s Interests: On the Foundations of Logic and Mathematics.Dag Prawitz - 2022 - Philosophia Mathematica 30 (1):121-126.
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
1 ( #1,553,468 of 2,520,967 )
Recent downloads (6 months)
1 ( #405,457 of 2,520,967 )
2011-05-14
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?
Downloads
Sorry, there are not enough data points to plot this chart.
Sorry, there are not enough data points to plot this chart.