×

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

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].

MSC:

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

Biographic References:

Kreisel, G.

Citations:

Zbl 0189.01001
PDF BibTeX XML Cite