Ada Lovelace
Ada kemudian membantu Babbage menulis program komputer pertama di dunia yang diciptakan lewat mesin ciptaan Babbage yang bernama Analytical Engine. Dalam hal ini, peran besar Ada adalah menerjemahkan artikel Luigi Menabrea, seorang matematikawan Italia. Ada juga menulis penjelasan awal tentang komputer dan perangkat lunak, serta menambahkan catatan mengenai metode kalkulasi nomor Bernoulli pada mesin yang dikembangkan Babbage tersebut. Karena hal itulah Ada dikenal sebagai programmer komputer pertama di dunia.
Mesin Turing
Mesin Turing adalah model komputasi teoretis yang ditemukan oleh Alan Turing, berfungsi sebagai model ideal untuk melakukan perhitungan matematis. Walaupun model ideal ini diperkenalkan sebelum komputer nyata dibangun, model ini tetap diterima kalangan ilmu komputer sebagai model komputer yang sesuai untuk menentukan apakah suatu fungsi dapat selesaikan oleh komputer atau tidak (menentukan "computable function"). Mesin Turing terkenal dengan ungkapan " Apapun yang bisa dilakukan oleh Mesin Turing pasti bisa dilakukan oleh komputer."