Alan Turing

عرّف الحساب تعريفاً صورياً وصاغ سؤال ذكاء الآلة.

السيرة الذاتية

رياضي ومنطقي بريطاني أعطت ورقته عام 1936 نموذجاً رياضياً دقيقاً للحساب وبرهنت وجود مسائل غير قابلة للبتّ. واقترحت مقالته عام 1950 في مجلة Mind استبدال سؤال قدرة الآلات على التفكير باختبار سلوكي إجرائي.

المساهمات الرئيسية

• آلة تورنغ، وبرهان أن بعض المسائل لا تقبل حلاً خوارزمياً عاماً.
• الآلة الشاملة، وهي الأساس النظري للحاسوب العام المخزَّن البرنامج.
• لعبة المحاكاة، التي تُسمّى اليوم اختبار تورنغ، معياراً إجرائياً لذكاء الآلة.

الأثر

يلاحظ راسل ونورفيغ أن مقالة 1950 استبقت أيضاً تعلّم الآلة والخوارزميات الجينية والتعلّم المعزّز، واقترحت تعليم الآلة كما يُعلَّم الطفل بدل برمجة كفاءة الراشد مباشرة.