Algorithms existed for at least five thousand years, but people did not know that they were algorithmizing. Then came Turing (and Post and Church and Markov and others) and formalized the notion.

— Doron Zeilberger, An Enquiry Concerning Human (and Computer!) [Mathematical] Understanding (2007)

From a 2007 chapter in C. S. Calude's Randomness & Complexity, from Leibniz to Chaitin.

Topics: history of computing