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 <qed@mcs.anl.gov>; 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 <jmc@sail.Stanford.EDU>
       "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.