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.