Fairy tales for adults (long)

Ian Molton spyro at f2s.com
Fri Feb 14 01:41:52 PST 2003


On Fri, 14 Feb 2003 02:58:36 +0000 (UTC)
steveb at creek-and-cowley.com (Steve Bougerolle) wrote:

> 
> > However, I dont believe that a system cannot be entirely self
> > consistent. sorry.
> 
> Godel's theorem doesn't exactly say that.  It says that any
> sufficiently complex formal system of reasoning (which basically means
> complex enough to describe itself) can never be complete; there will
> always be propositions that it cannot prove true or false.

but only those that come from outside its 'scope', AIUI, yes?
-- 
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