Thoughts on the occasion of Georg Kreisel’s 70th birthday. (English) Zbl 0895.01011

Huber-Dyson, Verena

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

The author gives a vivid description of the logical scene between 1955 and 1961 from the perspective of her relation to Georg Kreisel. In particular she treats the “logical communities” at Princeton and Stanford with some recollections on her studies at the University of Zurich and on European interludes. She discusses some logical work done at that time, e.g. Kreisel’s distinction between various concepts of completeness: soundness, consistency, and semantical completeness. This distinction motivated her own research (jointly with Kreisel) on tree semantics and (weak) completeness proofs of Heyting systems.
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

Keywords:

reminiscences; intuitionistic predicate logic; tree semantics