مشكلة التوقف

آلان تورينج: أبو علوم الكمبيوتر وعبقري الرياضيات المنقطع النظير