[EMAIL PROTECTED] wrote:
If calculus books were required to present mathermatical statements in Scheme
or Python code that ran correctly, then they would be forced to make obvious
all this implied information.
All the implied information like 1+1=2, and why that's so? I didn't know
Python or Scheme used Peano arithmetic. How many people do you know
that can write a calculator program? One to add two integers on the
command line? Now, how many people do you know that could
mathematically prove the result will be larger than either of the input
numbers? (Modulo problems of modulo of course.)
How many times have you seen someone ask this:
float i;
for (i = 0.0; i != 1.0; i += 0.1) printf("%d\n", i);
/* Why doesn't this stop??? */
To actually get the complete understanding, you have to go all the way
down the stack of abstractions. Doing that with something like calculus
is beyond most people's desire.
--
Darren New / San Diego, CA, USA (PST)
On what day did God create the body thetans?
--
[email protected]
http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-lpsg
