Re: Remarks on David's Mail of Oct. 25

Victor Yodaiken (yodaiken@sphinx.nmt.edu)
Wed, 26 Oct 1994 14:04:26 -0600

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.