On December 6, 1934 was born John Barkley Rosser. He was a mathematical logician. Rosser was able to anticipate the potential of early computers in many areas of mathematics as well as the ultimate impact of logic on the future of computing. He contributed to the Church-Rosser theorem that identifies the outer limit of what is achievable in automated theorem proving and, therefore, plays the same role in computing science as the second law of thermodynamics in engineering.
On December 09, 1906 was born Grace Brewster Murray Hopper, an American computer scientist and United States Navy rear admiral. One of the first programmers of the Harvard Mark I computer, she was a pioneer of computer programming who invented one of the first linkers. She popularized the idea of machine-independent programming languages, which led to the development of COBOL, an early high-level programming language still in use today.
On December 10, 1815 was born Augusta Ada King, Countess of Lovelace was an English mathematician and writer, chiefly known for her work on Charles Babbage’s proposed mechanical general-purpose computer, the Analytical Engine. She was the first to recognise that the machine had applications beyond pure calculation, and published the first algorithm intended to be carried out by such a machine. As a result, she is sometimes regarded as the first to recognise the full potential of a “computing machine” and one of the first computer programmers.