Article View: comp.lang.misc
Article #5537Re: Universal OS (striving for flexibility)
From: Greg Lee
Date: Wed, 11 May 1988 00:10
Date: Wed, 11 May 1988 00:10
9 lines
777 bytes
777 bytes
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
Technical Details
Message-ID:
<1834@uhccux.UUCP>Path:
arc1-ca.pugleaf.net!utzoo!mnetor!uunet!lll-winken!lll-tis!ames!ucsd!nosc!humu!uhccux!leeShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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