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