[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## [Axiom-developer] [RealNumbers] real references

**From**: |
wyscc |

**Subject**: |
[Axiom-developer] [RealNumbers] real references |

**Date**: |
Wed, 15 Jun 2005 01:28:52 -0500 |

Changes http://page.axiom-developer.org/zope/mathaction/RealNumbers/diff
--
++added:
<hr>
>*From wyscc Wed Jun 15 01:36:00 -4:00<br>*
Bill, thanks for creating this page. I enjoyed reading the links and was
wondering how a site on labor laws need to know the foundations of mathematics.
Actually, they gave credit to the following (open) source::
http://en.wikipedia.org/wiki/Real_number<br>
http://en.wikipedia.org/wiki/Computable_number
It is interesting to note that order relations are not computable and that sums
of digit-enumerable real numbers are in general not digit-enumerable. This
reminds me that when I teach power series solution to differential equations, I
use the analog of decimal numbers and comment that power series are easier,
because they involve no carry. The same reason shows the infinite sequence
approach to infinite precision floating point (essentially using
digit-enumeration Turing machines) discussed in #167 Infinite Floats Domain
will not work. IPFP is different from power series!
Wikipedia also has an introduction to floating point systems::
http://en.wikipedia.org/wiki/Floating_point
For in depth study, I recommend the book::
Pat H. Sterbenz, Floating-Point Computation, Prentice Hall, 1974.
Sterbenz worked at IBM Systems Research Institute, New York at the time of
writing the book.
William
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden

[Prev in Thread] |
**Current Thread** |
[Next in Thread] |

**[Axiom-developer] [RealNumbers] real references**,
*wyscc* **<=**