آلن تورینگ، ریاضیدان، دانشمند علوم کامپیوترو فیلسوف درخشان
انگلیسی ای بود که در شکستن رمزهای نازی در دوران جنگ
جهانی دوم نقش اصلی رو داشت و امروزه به عنوان پدر علم
کامپیوتر و هوش مصنوعی شناخته می شود. دستاوردهای برجسته
او در طول زندگی کوتاهش حاصل ماجراجویی های یک ذهن زیبا
است که در نهایت با مرگی مشکوک، تحت قوانین همجنسگرا هراسی
بریتانیا به طور جنایی محکوم شد و به شدت با آن رفتار شد و سپس
برای همیشه، خاموش شد.
او در مقاله اصلی خودش در سال 1936 ثابت کرد که هیچ روش
الگوریتمی عمومی برای تعیین حقیقت در ریاضیات وجود ندارد و
ریاضیات همیشه حاوی گزاره های غیرقابل تصمیم هستند. کارهای
وی به عنوان تحقیقات بنیادی علوم رایانه و هوش مصنوعی به
رسمیت شناخته شده است
