Kreisel, lambda calculus, a windmill and a castle. (English) Zbl 0894.01007

Barendregt, Henk

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

The author reports on his adventures with Georg Kreisel who served as his Ph.D. supervisor at the University of Utrecht. In his thesis “Some extensional term models for combinatory logics and \(\lambda\)-calculus” (Ph.D. thesis, pt. I, University of Utrecht, 1971) and “On the interpretation of terms in the lambda calulus without a normal form” (Ph.D. thesis, pt. II, University of Utrecht, 1971) the author attempted to construct a recursion theoretic model of the type-free \(\lambda{\mathbf K}\)-calculus, discussing the \(\omega\)-rule \[ FZ = GZ, \text{ for\;all\;closed\;terms} Z \Rightarrow\;F = G\;. \]
For the entire collection see [Zbl 0894.03002].

Reviewer: V.Peckhaus (Erlangen)

MSC:

01A70	Biographies, obituaries, personalia, bibliographies
03B40	Combinatory logic and lambda calculus
03-03	History of mathematical logic and foundations

Keywords:

Reminiscences; \(\lambda\)-calculus; \(\omega\)-rule