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



Panu Raatikainen

PhD., Docent in Theoretical Philosophy
Fellow, Helsinki Collegium for Advanced Studies
University of Helsinki
Helsinki Collegium for Advanced Studies
P.O. Box 4
FIN-00014 University of Helsinki

E-mail: panu.raatikainen at helsinki.fi

----- Edelleenlähetetty viesti päättyy -----

More information about the FOM mailing list