[FOM] Modified Rosser sentences

[praatika@mappi.helsinki.fi]

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

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