Algorithm
The word "algorithm" itself derives from the 9th century mathematician Muḥammad ibn Mūsā al-Khwārizmī, Latinized "Algoritmi". A partial formalization of what would become the modern concept of algorithm began with attempts to solve the Entscheidungsproblem (decision problem) posed by David Hilbert in 1928. Later formalizations were framed as attempts to define "effective calculability" or "effective method". Those formalizations included the Gödel–Herbrand–Kleene recursive functions of 1930, 1934 and 1935, Alonzo Church's lambda calculus of 1936, Emil Post's Formulation 1 of 1936, and Alan Turing's Turing machines of 1936–37 and 1939.
Evolutionary ideas of the Renaissance and Enlightenment
The word "evolution" (from the Latin "evolutio", meaning "to unroll like a scroll") appeared in English in the 17th century, referring to an orderly sequence of events, particularly one in which the outcome was somehow contained within it from the start. Notably, in 1677 Sir Matthew Hale, attacking the atheistic atomism of Democritus and Epicurus, used the term "evolution" to describe his opponent's ideas that vibrations and collisions of atoms in the void — without divine intervention — had formed "Primordial Seeds" (semina) which were the "immediate, primitive, productive Principles of Men, Animals, Birds and Fishes." For Hale, this mechanism was "absurd", because "it must have potentially at least the whole Systeme of Humane Nature, or at least that Ideal Principle or Configuration thereof, in the evolution whereof the complement and formation of the Humane Nature must consist ... and all this drawn from a fortuitous coalition of senseless and dead Atoms."