on 13/3/02 2:16 am, Dan Minette at [EMAIL PROTECTED] wrote: > > ----- Original Message ----- > From: "William T Goodall" <[EMAIL PROTECTED]> > To: <[EMAIL PROTECTED]> > Sent: Tuesday, March 12, 2002 8:04 PM > Subject: Re: SCOUTED: Science Meets Spirituality, and Wireless Nanotech VR > > > >> It hasn't. Every undergraduate in computer science learns (I assume) > about >> Turing Machines, the Halting Problem, Godel, Skolem, predicate calculus > and >> etcetera and so forth. Anyone who does an advanced degree in AI knows all >> this stuff backwards. > > Formal systems are actually complete? There exists a universal Turing > Machine?
Actually I meant it was irrelevant to the question since these limitations apply to human beings also. Mathematicians, for example, do make mistakes which falsifies the (absurd) claim that humans have a 'mathematical intuition' which somehow sidesteps the problem. -- William T Goodall [EMAIL PROTECTED] http://www.wtgab.demon.co.uk
