Kanyang naimpluwensiyahan ang pagpapaunlad ng agham pangkompyuter , pagbibigay ng pormalisasyon ng mga konsepto ng " algoritmo " at " komputasyon " sa isang makinang Turing , na malaki ang ginampananang papel sa pagkakalikha ng modernong kompyuter.
