From newshub.ccs.yorku.ca!newshub.ccs.yorku.ca!oz Wed Oct 14 14:58:30 EDT 1992
Article 7198 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca comp.ai:4722 comp.ai.neural-nets:4655 comp.ai.philosophy:7198 sci.psychology:4794
Newsgroups: comp.ai,comp.ai.neural-nets,comp.ai.philosophy,sci.psychology
Path: newshub.ccs.yorku.ca!newshub.ccs.yorku.ca!oz
>From: oz@ursa.sis.yorku.ca (Ozan Yigit)
Subject: Re: Human intelligence vs. Machine intelligence
In-Reply-To: burt@aupair.cs.athabascau.ca's message of 9 Oct 92 21: 22:06 GMT
Message-ID: <OZ.92Oct10164812@ursa.sis.yorku.ca>
Sender: news@newshub.ccs.yorku.ca (USENET News System)
Organization: York U. Student Information Systems Project
References: <26 <burt.718398109@aupair.cs.athabascau.ca> <26608@castle.ed.ac.uk
	<burt.718665726@aupair.cs.athabascau.ca>
Date: Sat, 10 Oct 1992 21:48:12 GMT

Burt Voorhees writes:

     I find it interesting tht people who support what is called "strong AI"
   are now trying to get out of the Godel argument against this by saying
   that Godel's theorems only apply to consistent systems and it is clear
   that any machine which matches human capacities would have to be running
   on some sort of inconsistent system.

I do not know what you are talking about. Do you have references
to any books or articles that contain such an argument made by a
supporter of strong AI?

If you are interested in a refutation of Lucas's G"odel argument,
see [eg] R. Kirk's article in Synthese [1].

oz
---
[1] Roland Kirk
    Mental Machinery and Godel
    Synthese, 66, 437-452. 1986
---
It is harder to get lost in an imagined forest than in a real one,
for the former assists the thinker furtively. - GOLEM lect. XLIII



