Kreisel, generalized recursion theory, Stanford and me. (English) Zbl 0895.01008

Platek, Richard A.

Odifreddi, Piergiorgio (ed.), Kreiseliana: about and around Georg Kreisel. Wellesley, MA: A K Peters. 97-102 (1996).

The author tells the personal story of his relation to Kreisel when he was a graduate student in the first class of the newly founded Stanford graduate program in logic and the foundations of mathematics. Coming from philosophy he then discovered his talent for mathematics working under Kreisel’s influence on generalized recursion theory, but returning after his close friendship to Kreisel had become disturbed. The author gives some interesting details on the context of Paul Cohen’s work on set theory and his discovery of forcing (pp. 99-100).
For the entire collection see [Zbl 0894.03002].

Reviewer: V.Peckhaus (Erlangen)

MSC:

01A70	Biographies, obituaries, personalia, bibliographies
03-03	History of mathematical logic and foundations
03D60	Computability and recursion theory on ordinals, admissible sets, etc.
03D75	Abstract and axiomatic computability and recursion theory

Keywords:

reminiscences; forcing; KP set theory; generalized recursion theory