من همیشه تعجب کرده ام: "در سال 1936، مقاله چه کسی ""در مورد اعداد قابل محاسبه، با کاربرد به Entscheidungsproblem"" ثابت کرد که یک ماشین می تواند هر محاسبات ریاضی قابل تصور را انجام دهد اگر قادر به به عنوان یک الگوریتم نشان داده شود؟"
آلن تورینگ