[FOM] Kreiseliana: Kreisel's Doctorate

[WILLIAM TAIT]

> 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?

Yes. 

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

Bill
> _________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom