----- 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? Dan M.
