Fairy tales for adults (long)

Rob Park rbpark-NOSPAM at ualberta.ca
Thu Feb 13 15:47:55 PST 2003


Alas! Ian Molton spake thus:
> On Thu, 13 Feb 2003 23:23:00 +0000 (UTC)
> rbpark-NOSPAM at ualberta.ca (Rob Park) wrote:
> > Sure. Any system of axioms is incapable of proving itself to be
> > self-consistent.
> 
> Why?

Did you read the link? That's why I posted it.

> It can be completely self consistent, even if completely WRONG as well.

Sure it can be self consistent, I guess, but it can't *prove* itself to
be self consistent. 

-- 
Rob Park
http://www.ualberta.ca/~rbpark
--
We are Microsoft.  What you are experiencing is not a problem; it is an undocumented feature.
-- 
Unsubscribe: send email to listar at linuxfromscratch.org
and put 'unsubscribe lfs-chat' in the subject header of the message



More information about the lfs-chat mailing list