Re:Machine Math

• Mail folder: QED
• Next message: Konrad Slind: "Why Mathematical System Modeling Needs the Mathematics of Analysis"
• Previous message: Dewey Val Schorre: "Theorem generators and Theory Generators"
• Maybe in reply to: Zdzislaw Meglicki: "Machine Math"

Date: Fri, 23 Apr 93 09:11:46 -0700
From: val@netcom.com (Dewey Val Schorre)
Message-id: <9304231611.AA05976@netcom4.netcom.com>
To: qed@mcs.anl.gov
Subject: Re:Machine Math
Sender: qed-owner
Precedence: bulk

Back in the old days, nobody specified languages, they wrote 
compilers. It had to be that way because nobody knew whether the 
language constructs contained all the information needed to compile 
into machine language, unless they actually had a compiler that did 
it. 

We are in this same situation today. We might design a RMachine MathS 
language that was perfectly acceptable to mathematicians, and later 
find that it lacked information needed for translation to a lower 
level.

The design of the language that mathematicians will use, and its 
translation to the lower level language needs to be an iterative 
process.

Val