Path: utzoo!mnetor!uunet!lll-winken!lll-tis!ames!ucsd!nosc!humu!uhccux!lee
From: lee@uhccux.UUCP (Greg Lee)
Newsgroups: comp.lang.misc
Subject: Re: Universal OS (striving for flexibility)
Message-ID: <1834@uhccux.UUCP>
Date: 11 May 88 00:10:52 GMT
Organization: U. of Hawaii, Manoa (Honolulu)
Lines: 8

The language of mathematics is more similar to natural language
than one might think (I think), and less tractable.  Both require
an interpreter who can judge what conventions are in use and
adjust that understanding as he/she/it reads.  Work in the
formal foundations of mathematics offers a clearer picture of
the complexity of mathematical discourse -- such as, for example,
Curry's Foundations of Mathematical Logic.

	Greg, lee@uhccux.uhcc.hawaii.edu