وقد وضع الأساس الرياضياتي لعلوم الحاسوب، وقال، "لا يهم كيف تصنع حاسوبا."
He laid down the mathematical foundations for computer science, and said, "It doesn't matter how you make a computer."
เขาวางรากฐานทางคณิตศาสตร์สำหรับวิทยาการคอมพิวเตอร์ และกล่าวว่า "ไม่สำคัญว่าคุณจะผลิตคอมพิวเตอร์อย่างไร"