From newshub.ccs.yorku.ca!torn!cs.utexas.edu!convex!darwin.sura.net!jvnc.net!netnews.upenn.edu!sagi.wistar.upenn.edu Mon Aug 24 15:41:51 EDT 1992
Article 6694 of comp.ai.philosophy:
Path: newshub.ccs.yorku.ca!torn!cs.utexas.edu!convex!darwin.sura.net!jvnc.net!netnews.upenn.edu!sagi.wistar.upenn.edu
>From: weemba@sagi.wistar.upenn.edu (Matthew P Wiener)
Newsgroups: comp.ai.philosophy
Subject: Re: Marvin Minsky's Concious Machines
Message-ID: <86891@netnews.upenn.edu>
Date: 24 Aug 92 18:54:45 GMT
References: <1992Aug13.025506.2404@news.media.mit.edu> <iordonez.714442640@academ01>
Sender: news@netnews.upenn.edu
Reply-To: weemba@sagi.wistar.upenn.edu (Matthew P Wiener)
Organization: The Wistar Institute of Anatomy and Biology
Lines: 11
Nntp-Posting-Host: sagi.wistar.upenn.edu
In-reply-to: iordonez@academ01.mty.itesm.mx (Ivan Ordonez-Reinoso)

In article <iordonez.714442640@academ01>, iordonez@academ01 (Ivan Ordonez-Reinoso) writes:
>P: This sentence is not true.

>If senntence P were formalizable, it could be expressed in a logical
>finite formal system, which would require defining each of its elements.

Ways to formalize self-reference have been around for most of this
century.  Intuitively reasonable ones are new.  See, eg, Barwise and
Etchemendy(?) THE LIAR for two such.
-- 
-Matthew P Wiener (weemba@sagi.wistar.upenn.edu)


