Alan Türinq mümkünlüyünü göstərdi.
1936-cı il. İngilis riyaziyyatçısı Alan Türinq və ondan asılı olmayaraq E. Post
abstrakt hesablama maşınının konsepsiyasını irəli sürdülər və işlədilər. Onlar problemin alqoritmləşməsinin mümkünlüyü şəraitində ixtiyari problemin avtomatlar tərəfindən həll edilməsinin prinsipial mümkünlüyünü sübut etdilər.
1938-ci il. Alman mühəndisi
Konrad Tsuze ilk xalis
mexaniki kompyuteri qurdu.
1938-ci il. Amerika riyaziyyatçısı
və mühəndisi Klod Şennon rele-kontakt dəyişdirici sxemlərinin sintezi və analizi üçün riyazi məntiq aparatının tətbiq olunmasının
1939-cu il. Bolqar mənşəli amerikalı fizika
professoru Con Atanasoff ikilik lementlərin
bazasında
hesablama maşınının prototipini yaratdı.
1941-ci il. Konrad Tsuze
elektromexaniki elementlərdə ilk universal kompyuteri hazırladı. O, ikilik ədədlərlə işləyirdi və sürüşən nöqtəli ədədlərin təsvir olunmasından istifadə edirdi.
1944-cü il. Amerika riyaziyyatçısı Hovard Aykenin rəhbərliyi altında
proqram idarəli
«Mark—1» avtomatik hesablama maşını yaradılmışdır. O,
elektromexaniki relelər üzərində qurulmuşdu, verilənləri
emal edən proqram isə perfolentdən daxil edilirdi.