<< SNIP >>
> Anyway, hey, I wonder what people think in general of using "real
> number" and "floating point" in narratives like this. You mention how
> we have a choice to use integers, rational numbers, or reals. But
> some student will object that reals were never on the table, floats
> being an IEEE specification and not of the real number set.
>
> Kirby
Good replies.
I think what I'm wondering is how much time to spend if any on some of
these well known and other more exotic number types that were
developed for use with digital computers. There's no "one size fits
all" answer.
In retrospect, we could call "slide rule numbers" those that were set
with a hair line on mutually sliding sticks and made to answer
multiplication questions, or roots, by means of logs.
One had to know something about propagating error and significant
digits, which was helpful in general where measurement is involved,
delicate instruments and "noise digits", plus and minus margins of
error.
All useful concepts.
Nowadays we have arbitrary precision decimal libraries (so-called
bignums) that run different algorithms than floating point and will
indeed carry your computation out to thousands or more digits if you
require that, with integers the same way in terms of arbitrarily
extensible.
As "approximations to the reals" we may pooh pooh all such
developments as evidence of how imperfect are our mechanical devices
compared with the pure mind of the superhero mathematician.
However I'm more interested in the opposite message: that these are
among the great engineering achievements of contemporary civilization
and have absorbed insights and skills that far transcend those of any
one human.
More like this:
http://youtu.be/owtK58XiPGo
These are great and powerful tools, these arbitrary precision libraries.
If we bleep over this content, we lose many opportunities to marvel
and wonder, which I think schools too often unnecessarily squander.
None of which is to say I'm opposed to talking about the "real
numbers" in connection with matrices on SAGE. That's all fine. I'm
just suggesting a branch to additional worthwhile and mathematically
informative material.
Kirby
Example interesting web page:
http://rosettacode.org/wiki/Arbitrary-precision_integers_%28included%29
Looking at bignum capabilities of various languages.