Re: AI will never work in 100 years !!!!

whopkins_at_csd.uwm.edu
Date: 02/03/05 

Date: 2 Feb 2005 15:52:35 -0800

nobody wrote:
> Prooving theorems fundementally takes no more "intelligence"
> than your basic string search and replace.

Well, of course not. Nothing takes "intelligence" once it's doable by
computer. We just keep revising the definition of "intelligence" to
fit the facts. Ultimately, it will be proven -- by this process of
systematic exclusion -- that there is no such thing as human
intelligence either: something that should have been obvious from the
get-go.