[FOM] Kreiseliana: Kreisel's Doctorate
williamtait at mac.com
Mon Jun 15 10:34:03 EDT 2015
> On Jun 14, 2015, at 4:42 PM, Marion, Mathieu <marion.mathieu at uqam.ca> wrote:
> Didn't he [Kreisel] study in Cambridge with Besicovitch?
> Still, 1962 would seem a
> late date as he was a student during the war.
Yes. It may be a typo for 1952. His paper "On the interpretation of non-finitist proofs, Part 1” was published in JSL in 1951 (and received in 1949).
> FOM mailing list
> FOM at cs.nyu.edu
More information about the FOM