Quoting "Timothy Y. Chow" <tchow-FrUbXkNCsVf2fBVCVOL8/A@xxxxxxxxxxxxxxxx> Mon,
16 Oct 2006:
(answering to Francis Davey)
> If you lack the ability to distinguish the intended model of PA from
> another model,
Excuse me Timothy, please. Do YOU have this ability?
Arnon, may be you have?
Does anybody here have this ability?
Is there any way to demonstrate this ability to see that this is not
just a fiction?
Can we make any experiment to check who has and who has not this
ability? (Something like in sport competition? Who will be the referee?)
Please do not refer to the well-known definition of the standard model
for PA in the framework of ZFC that is, the definition relative to ZFC
whereas something absolute is required.
Vladimir Sazonov
----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.
|
