کدشکنی که به حق خود نرسید

آلن ام. تورینگ با نام کامل آلن متیسون تورینگ (متولد 23 ژوئن 1912، لندن، انگلستان - متوفی 7 ژوئن 1954، ویلمسلو، چشایر) ریاضیدان و منطقدان انگلیسی بود که آثار زیادی در ریاضیات، رمزشناسی، منطق، فلسفه و بیولوژی و نیز رشته‌های جدید که بعدها به این نام‌ها شناخته شدند؛ مانند علوم کامپیوتر، علوم شناخت، هوش مصنوعی و حیات مصنوعی از خود به جای گذاشت. دوران ابتدایی زندگی و کار تورینگ فزرند یکی از اعضای بریتانیایی دولت استعماری هند بود. او در سال 1931 وارد رشته ریاضیات کالج سلطنتی، دانشگاه کمبریج، شد. پس از فارغ‌التحصیلی در سال 1934، به دلیل تحقیقاتش در نظریه احتمالات در کالج سلطنتی بورسیه شد. در سال 1936 مقاله تورینگ به نام درباره «اعداد قابل محاسبه، با نگاهی به کاربرد در مساله تصمیم» توسط آلونزو چرچ، منطقدان و ریاضیدان آمریکایی، برای چاپ پیشنهاد شد. وی خودش قبلا مقاله‌ای منتشر کرده بود که به همان نتیجه مقاله تورینگ می‌رسید. در اواخر همان سال، تورینگ برای گرفتن دکترا در منطق ریاضی با استادی چرچ به دانشگاه پرینستون رفت (در سال 1938 این دوره را تکمیل کرد). مساله تصمیم به دنبال روشی کارآمد برای تعیین آن است که کدام گزاره‌های ریاضی در یک سیستم ریاضیاتی رسمی خاص قابل اثبات بوده و کدام نیستند. در سال 1936 تورینگ و چرچ به صورت مستقل نشان دادند این مساله هیچ راه‌حلی نداشته و ثابت کردند هیچ سیستم رسمی‌ای در ریاضیات قابل تصمیم‌گیری نیست. این نتیجه و دیگر موارد - مخصوصا نظریات ناتمام کرت گودل ریاضیدان و منطقدان - رویای وجود سیستمی که غفلت را از ریاضی حذف کند، برای همیشه پایان داد (در واقع، تورینگ و چرچ نشان دادند حتی برخی سیستم‌های منطقی محض، که به طور قابل ملاحظه‌ای از ریاضیات ضعیف‌ترند هم قابل تعیین و تصمیم‌گیری نیستند). یکی از مباحث مهم تورینگ و چرچ این بود که کلاس توابع قابل تعریف لامبدأ (توابعی...