Atanasoff trabalhou no primeiro computador eletrônico digital entre 1939-1942 na Universidade Estatal de Iowa, construindo o protótipo Atanasoff–Berry Computer ABC com US$ 650 e um estudante de pós-graduação. George Boole criou a lógica matemática separando símbolos matemáticos das coisas que representam para criar um sistema simbólico.