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

Reprint years

ISBN(s)

156881061X

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,455

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

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

Similar books and articles

Kreiseliana: About and around Georg Kreisel.Piergiorgio Odifreddi - 1999 - Studia Logica 63 (3):422-426.
Some Reminiscences of Kreisel.Rohit Parikh - 1996 - In Piergiorgio Odifreddi, Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 89.
Georg Kreisel: a Few Personal Recollections.Francis Crick - 1996 - In Piergiorgio Odifreddi, Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 25.
An Appreciation of Kreisel.Anil Nerode - 1996 - In Piergiorgio Odifreddi, Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 81.
Kreisel, Generalized.Gerald E. Sacks - 1996 - In Piergiorgio Odifreddi, Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 103.
Bounds extracted by Kreisel from ineffective proofs.Horst Luckhardt - 1996 - In Piergiorgio Odifreddi, Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 289--300.
A Letter from.Carl G. Jockusch Jr - 1996 - In Piergiorgio Odifreddi, Kreiseliana: About and Around Georg Kreisel. A K Peters.
Two Insights.Michael Morley - 1996 - In Piergiorgio Odifreddi, Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 79.
Kreisel, Generalized Recursion Theory, Stanford and Me.Richard A. Platek - 1996 - In Piergiorgio Odifreddi, Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 97.
KreisePs Effectiveness.John N. Crossley - 1996 - In Piergiorgio Odifreddi, Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 33.

Analytics

Added to PP
2011-05-14

Downloads
26 (#992,564)

6 months
5 (#1,016,118)

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