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

Sacks, Gerald E.

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

This is a report on incidents in the early 1960’s when Georg Kreisel pulled the author over from classical recursion theory to generalized recursion theory. In particular the background of the author’s paper on metarecursion theory is told [Proc. Summer School Math. Logic, Xth Logic Colloquium Leicester 1965, 243-263 (1967; Zbl 0189.01001)].
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.

Keywords:

reminiscences; general recursion theory; constructive mathematics; metarecursion theory

Citations:

Zbl 0189.01001