[FOM] Modified Rosser sentences

praatika@mappi.helsinki.fi praatika at mappi.helsinki.fi
Tue Jul 15 09:50:49 EDT 2003

Thomas Forster <T.Forster at dpmms.cam.ac.uk> wrote:

> The (sic) Rosser sentence says ``there is a proof of me
> s.t. no proof with lower gnumber is a proof of not-me''.

Doesn't it rather say (very roughly, of course):

"either there is not a proof of me, or 
there is also a proof, with lower godel-number, of not-me" ? 



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

More information about the FOM mailing list