Notes for chapter 3: "Formalizing computation"

Computable numbers

Hans Boehm's on-line calculator with unlimited precision is a good way to explore the properties of computable numbers.