Kreiseliana: About and Around Georg Kreisel

(ed.)
A K Peters (1996)
  Copy   BIBTEX

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.

Categories

Keywords

ISBN(s)

156881061X
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 84,361

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

The Right Things for the Right Reasons.Jon Barwise
Mathematical logic: What has it done for the philosophy of mathematics?Carlo Cellucci
Georg Kreisel: a Few Personal Recollections.Francis Crick
KreisePs Effectiveness.John N. Crossley
Kreisel's unwinding of Artin's proof.Charles Delzell
Kreisel's 'Unwinding Program'.Solomon Feferman
A Letter from.Carl G. Jockusch Jr
Bounds extracted by Kreisel from ineffective proofs.Horst Luckhardt
On the decidability of the real exponential field.Angus Macintyre & Alex J. Wilkie
Completeness for intuitionistic logic.David McCarty
Two Insights.Michael Morley
An Appreciation of Kreisel.Anil Nerode
Some Reminiscences of Kreisel.Rohit Parikh
Kreisel, Generalized Recursion Theory, Stanford and Me.Richard A. Platek
Kreisel, Generalized.Gerald E. Sacks
Some Critical Remarks on Definitions and on Philosophical and Logical Ideals.Paul Weingartner

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.Georg Kreisel - 1967 - Amsterdam,: North Holland Pub. Co.. Edited by J. L. Krivine.
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 - New York: W. de Gruyter.
A notion of mechanistic theory.G. Kreisel - 1974 - Synthese 29 (1-4):11 - 26.
Second thoughts around some of göde's writings:.G. Kreisel - 1998 - Synthese 114 (1):99-160.
Some uses of mathematics.G. Kreisel - 1956 - British Journal for the Philosophy of Science 7 (26):161-173.

Analytics

Added to PP
2011-05-14

Downloads
10 (#932,732)

6 months
5 (#168,606)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

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

References found in this work

No references found.

Add more references