In other words, it took far longer for humans to come up
with the winning strategy for computation
than for reasoning.
The theory of real numbers,
as opposed to practice,
was developed single-handed by Richard Dedekind
in the nineteenth century,
but by methods remarkably
similar to those in Euclid's exposition of ratios.
Wikipedia deals with pieces of this story,
but as with other things we have seen, references are weak.
Furthermore, there is a great deal of overlap in
many distinct articles.
and many more Wikipedia articles. In fact, far too
many Wikipedia articles.
|