הוגה רעיון המכונה האוניברסלית (מכונת טיורינג). על בסיס התפיסה המתמטית של טיורינג, פותח המחשב האלקטרוני-ספרתי הראשון, שנקרא קולוסוס. הרעיון המרכזי העומד מאחורי המחשב המודרני מתבסס על רעיונת אלו