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