From newshub.ccs.yorku.ca!torn!cs.utexas.edu!wupost!micro-heart-of-gold.mit.edu!news.media.mit.edu!minsky Sat Oct 24 20:44:50 EDT 1992
Article 7372 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca comp.ai:4869 comp.ai.philosophy:7372
Newsgroups: comp.ai,comp.ai.philosophy
Path: newshub.ccs.yorku.ca!torn!cs.utexas.edu!wupost!micro-heart-of-gold.mit.edu!news.media.mit.edu!minsky
>From: minsky@media.mit.edu (Marvin Minsky)
Subject: Re: Human intelligence vs. Machine intelligence
Message-ID: <1992Oct22.204444.10617@news.media.mit.edu>
Sender: news@news.media.mit.edu (USENET News System)
Organization: MIT Media Laboratory
References: <1992Oct16.180352.13326@oracorp.com> <1992Oct18.171354.6029@wixer.cactus.org> <g89p4455.16.719764005@giraffe.ru.ac.za>
Date: Thu, 22 Oct 1992 20:44:44 GMT
Lines: 22

In article <g89p4455.16.719764005@giraffe.ru.ac.za> g89p4455@giraffe.ru.ac.za (MR L PEDERSEN) writes:






>To see this, suppose Q is any statement and P is a statement such that 
>the contradiction P ^ ~P holds.  But A ==> B is always true if A is false, 
>hence (P ^ ~P) ==> Q is true.  But as (P ^ ~P) is true, then so is Q.
>
>Therefore, an inconsistent formal system cannot be incomplete.
>
>I look forward to hearing anyones comments.

OK, why be cowardly with that double negative?  An inconsistent system
is complete.

.





