[FOM] Davis's honor Roll
praatika@mappi.helsinki.fi
praatika at mappi.helsinki.fi
Tue Jun 3 05:05:05 EDT 2003
"A.P. Hazen" <a.hazen at philosophy.unimelb.edu.au>:
> (And, for another addition: didn't Martin-Löf overstep at one stage
> and propose a type of types?)
Yes, his early version of the intuitionistic theory of types was
inconsistent (as was shown by Girard in 1972).
Another potential example: it seems to me that in the beginning (ca 1938)
Godel believed in the truth of V=L (not only in its consistency). Quite
probably he also believed in the existence of the large cardinals, in
particular in the existence of measurable cardinals. This, however, is
consistent. Any comments on that?
Best
Panu
Panu Raatikainen
PhD., Docent in Theoretical Philosophy
Fellow, Helsinki Collegium for Advanced Studies
University of Helsinki
Address:
Helsinki Collegium for Advanced Studies
P.O. Box 4
FIN-00014 University of Helsinki
Finland
E-mail: panu.raatikainen at helsinki.fi
http://www.helsinki.fi/collegium/eng/Raatikainen/raatikainen.htm
----- Edelleenlähetetty viesti päättyy -----
More information about the FOM
mailing list