From owner-qed Wed Oct 26 15:01:55 1994 Received: from localhost (listserv@localhost) by antares.mcs.anl.gov (8.6.4/8.6.4) id PAA09721 for qed-out; Wed, 26 Oct 1994 15:01:42 -0500 Received: from chelm.nmt.edu (chelm.nmt.edu [129.138.6.50]) by antares.mcs.anl.gov (8.6.4/8.6.4) with ESMTP id PAA09715 for ; Wed, 26 Oct 1994 15:01:32 -0500 Received: (from yodaiken@localhost) by chelm.nmt.edu (8.6.8.1/8.6.6) id OAA11664; Wed, 26 Oct 1994 14:04:26 -0600 Message-Id: <199410262004.OAA11664@chelm.nmt.edu> From: yodaiken@sphinx.nmt.edu (Victor Yodaiken) Date: Wed, 26 Oct 1994 14:04:26 -0600 In-Reply-To: John McCarthy "Remarks on David's Mail of Oct. 25" (Oct 26, 12:38pm) reply_to: yodaiken@chelm.nmt.edu X-Mailer: Mail User's Shell (7.2.5 10/14/92) To: jmc@cs.stanford.edu, Gerard.Huet@inria.fr Subject: Re: Remarks on David's Mail of Oct. 25 Cc: dahn@mathematik.hu-berlin.de, dam@ai.mit.edu, qed@mcs.anl.gov Sender: owner-qed@mcs.anl.gov Precedence: bulk On Oct 26, 12:38pm, John McCarthy wrote: Subject: Remarks on David's Mail of Oct. 25 >However, if one decides in advance to work >only in terms of formulas i.e. use a computer. Syntax is all we got. You are welcome to consider some formulae as "semantical", but they remain bit strings all the same.