To perform computations with the aid of digital computers we must build the reals out of a discrete system. Mathematicians have historically built up the reals with different approaches; this section details some of these approaches. Some of these approaches lead to mechanical algorithms which may be contrasted with the interval approach. Readers interested solely in the interval approach should proceed to the next chapter.
Jeff Tupper | March 1996 |