Xref: utzoo comp.ai:2597 talk.philosophy.misc:1564
Path: utzoo!attcan!uunet!husc6!rutgers!soleil!peru
From: peru@soleil.UUCP (Dave Peru)
Newsgroups: comp.ai,talk.philosophy.misc
Subject: RE: Artificial Intelligence and Intelligence
Message-ID: <490@soleil.UUCP>
Date: 15 Nov 88 21:27:28 GMT
Organization: GE Solid State, Somerville, NJ
Lines: 29

In article <484@soleil.UUCP> I write:

>>Definition of Intelligence:
>>
>>1. Know how to solve problems.
>>2. Know which problems are unsolvable.
>>3. Know #1, #2, and #3 defines intelligence.

There is a misunderstanding what I meant by this statement, especially #2.

Human beings KNOW the "halting problem for Turing machines", my point is
that machines can NOT know the "halting problem for Turing machines".

Please describe how you would give this knowledge to a computer.

All uncomputability problems come from dealing with infinity.

Like naive set theory, naive Artificial Intelligence does not deal with
paradoxes and the concept of "infinity".

Human beings understand the concept of "infinity", most of mathematics would
be meaningless if you took out the concept of "infinity".  Mathematicians
would be quite upset if you told them that they were really fooling themselves
all this time.  Physicists use "infinity" for predicting reality.

Finite machines cannot understand "infinity".

For the concept of "infinity" to have any meaning at all you MUST have the
computational strength of reality.