[FOM] Weaker foundations for FLT

praatika@mappi.helsinki.fi praatika at mappi.helsinki.fi
Sat Mar 4 06:46:27 EST 2006

Quoting Harvey Friedman <friedman at math.ohio-state.edu>:

> Of course, all proposed conservative
> extensions, including Feferman's, are not going to support seriously
> impredicative definitions.
> I assume that in the proof of FLT, as done now, one can spot seriously
> impredicative definitions? This would render the plan you have in mind
> impossible.

Yes, that would indeed make it impossible. Does anyone know this?

Best, Panu

Panu Raatikainen
Ph.D., Academy Research Fellow,
Docent in Theoretical Philosophy
Department of Philosophy 
University of Helsinki

Visiting Fellow 
Institute of Philosophy
School of Advanced Studies 
University of London

E-mail: panu.raatikainen at helsinki.fi

More information about the FOM mailing list