The first programmer
In 1842, Ada Lovelace recognized that Babbage's Analytical Engine could manipulate symbols according to rules, foreseeing modern software over a century before electronic computers existed.
Universal computation and the Turing machine
In 1936, Alan Turing formalized the concept of the universal machine capable of performing any computation, later founding the quest for Artificial Intelligence.