آلان تورينغ

يُعدّ آلان تورينغ (1912–1954) من أبرز علماء الرياضيات والمنطق البريطانيين، وقد ارتبط اسمه بالتحولات الكبرى التي شهدها الفكر الرياضي في القرن العشرين. وُلد في لندن في 23 يونيو 1912، وتوفي في 7 يونيو 1954 في ويلسلو، شيشاير، لتطوي حياته مسيرة امتدت عبر الرياضيات النظرية والحوسبة والعمل الاستخباراتي. وقد ظل حضوره العلمي حاضرًا بعد رحيله، إذ تحظى مساهماته في الرياضيات والحوسبة باعتراف واسع يمتد من الأوساط الأكاديمية إلى تاريخ التقنية الحديثة.¹

انطوت مسيرته العلمية على محطات أكاديمية راسخة؛ فقد درس في كينغز كوليدج بجامعة كامبريدج وتخرج عام 1934، ثم حصل على الدكتوراه من جامعة برينستون عام 1938 تحت إشراف ألونزو تشرتش. وقد أثمرت هذه المرحلة المبكرة أعمالًا مؤسِّسة، من بينها تقديم مفهوم آلة تورينغ عام 1936، وهو نموذج رياضي للحساب شكّل في ما بعد حجر الأساس لنظرية الحساب. وإلى جانب ذلك، حصل على جائزة سميث عام 1936، ما يعكس تقدير المؤسسة الأكاديمية لإنجازه المبكر.²

لم تقتصر مكانة تورينغ على الرياضيات المجردة، بل امتدت إلى تطبيقاتها العملية وأثرها في مسار التاريخ. فقد قدّم مساهمات كبيرة في علم الأحياء الرياضي، بما في ذلك التشكل، وتحديدًا في ورقته «الأساس الكيميائي للتشكل» المنشورة عام 1952. كما أرسى عمله الأساس لعلم الحاسوب الحديث والذكاء الاصطناعي، وسُميت جائزة تورينغ، التي تُوصف غالبًا بنوبل الحوسبة، تكريمًا له، وهي شهادة على اتساع الأثر الذي تركه في العلوم والتقنية.³

يشكل المسار الجامعي المبكر لآلان تورينغ محطة تأسيسية في تكوينه العلمي، إذ درس في كينغز كوليدج بجامعة كامبريدج وتخرج فيه عام 1934، وهو مسار أكاديمي رصين هيأه لاحقًا للإسهام في الرياضيات والمنطق ². ولم يقتصر تميزه على التحصيل الدراسي، بل حصل على جائزة سميث عام 1936، وهي جائزة أكاديمية مرموقة تعكس جدارة بحثية مبكرة ². وعلى الصعيد الشخصي، كان تورينغ عدّاء مسافات طويلة شغوفًا، وهي سمة تكشف عن انضباط بدني وجَلَد استمر معه حتى سنواته اللاحقة ³. وقد تنقّل هذا المسار بين كامبريدج ومؤسسات علمية كبرى، ما جعله أحد أبرز علماء الرياضيات والمنطق البريطانيين في القرن العشرين ..⁴

بعد تخرجه، اتجه تورينغ إلى الولايات المتحدة لمواصلة تكوينه العالي، فحصل على الدكتوراه من جامعة برينستون عام 1938 تحت إشراف ألونزو تشرتش، وهو إنجاز عزز موقعته في قلب النقاش المنطقي الرياضي في عصره ². وقد ارتبط اسمه إلى جانب أستاذه بأطروحة تشيرش-تورينغ التي تنص على أن آلات تورينغ تجسد المفهوم غير الرسمي للحساب الفعّال ⁴. غير أن مساهماته لم تقتصر على الرياضيات البحتة، بل امتدت لاحقًا إلى علم الأحياء الرياضي، بما في ذلك التشكل، حيث نُشرت ورقته «الأساس الكيميائي للتشكل» عام 1952 ..¹

تميز تورينغ أيضًا بإسهاماته في الرياضيات والحوسبة التي تحظى باعتراف واسع، وهي إسهامات ترسخت عبر مسيرته الأكاديمية والعلمية ¹. وقد أثمر هذا التكوين المبكر في كامبريدج وبرينستون عن أبحاث بالغة التأثير، من بينها أعمال نظرية شكلت الأساس لعلم الحاسوب الحديث والذكاء الاصطناعي ³. ولم تقتصر حياته على الجوانب الأكاديمية، إذ كان عدّاء مسافات طويلة شغوفًا، وهي سمة شخصية رافقت مسيرته العلمية ³. وبهذا يجمع مساره بين التحصيل الرفيع والاهتمامات المتعددة التي أسهمت في تشكيل عالم رياضيات ومنطق بريطاني بارز ..⁴

في عام 1936، قدّمت ورقة آلان تورينغ الموسومة «حول الأعداد القابلة للحساب» مفهوم آلة تورينغ، وهو نموذج رياضي للحساب. وآلة تورينغ جهاز نظري يتلاعب بالرموز على شريط، وقد أرسى هذا التصور الأساس لعلم الحاسوب الحديث. وقد كان تورينغ (1912–1954) عالم رياضيات ومنطق بريطاني، درس في كينغز كوليدج بكامبريدج وتخرج عام 1934، ثم حصل على الدكتوراه من جامعة برينستون عام 1938 تحت إشراف ألونزو تشرتش، وحصل على جائزة سميث عام 1936. وقد مثّلت آلة تورينغ بوصفها نموذجًا رياضيًا للحساب أداةً أساسية في تحليل طبيعة العمليات الحسابية.⁴

أثبت تورينغ عدم قابلية مسألة التوقف للحل، وهي نتيجة جوهرية في نظرية الحساب. وتنص أطروحة تشيرش-تورينغ على أن آلات تورينغ تجسد المفهوم غير الرسمي للحساب الفعّال. كما أن مفهوم آلة تورينغ الشاملة أساسي في نظرية الحساب، إذ يمكن لآلة تورينغ محاكاة أي خوارزمية حاسوبية. وقد أسهم تصميم تورينغ لمحرك الحوسبة الآلي (ACE)، وهو تصميم مبكر لحاسوب مبرمج مخزّن، في تطوير الحواسيب البريطانية المبكرة، كما عمل تورينغ على برمجيات حاسوب مانشستر مارك 1، الذي كان أحد أوائل الحواسيب ذات البرنامج المخزّن.⁴

انتُخب تورينغ زميلًا في الجمعية الملكية عام 1951، وعُيّن قارئًا في نظرية الحوسبة بجامعة مانشستر عام 1948. وتحظى مساهماته في الرياضيات والحوسبة باعتراف واسع، وقد أرسى عمله الأساس لعلم الحاسوب الحديث والذكاء الاصطناعي. وقد سُميت جائزة تورينغ، التي تُوصف غالبًا بنوبل الحوسبة، تكريمًا له، كما سمّت جامعة مانشستر مبنى وتمثالًا باسمه. وفي عام 2009 أصدرت الحكومة البريطانية اعتذارًا رسميًا عن محاكمته، وفي عام 2013 حصل على عفو ملكي.²

خلال الحرب العالمية الثانية، عمل آلان تورينغ في بلتشلي بارك، وهو مركز كسر الشفرات البريطاني، حيث تركّز جهده على فك الشيفرات التي اعتمدها العدو في اتصالاته العسكرية، وقد قاد تورينغ الكوخ 8، وهو القسم المسؤول عن تحليل الشفرات البحرية الألمانية، فكان على رأس وحدة متخصصة واجهت تحديات تحليلية بالغة التعقيد، وفي هذا السياق صمّم تورينغ آلة بومبي الكهروميكانيكية لكسر الرسائل المشفرة بآلة إنجما، فكانت تلك الآلة أداة حاسمة في كسر شيفرة إنجما الألمانية، ما جعل عمله في بلتشلي بارك محورًا لجهود استخباراتية واسعة النطاق تركت أثرًا عميقًا في مسار الحرب..⁵

كان لكسر شيفرة إنجما أثر بالغ في مجرى الصراع، إذ قدّم معلومات استخباراتية حيوية للحلفاء مكّنتهم من تفهم تحركات القوات واتصالاتها، وأسهمت آلة بومبي في تقصير الحرب وإنقاذ أرواح لا تحصى، ويُعد هذا الإسهام من أبرز الأدوار التي اضطلع بها تورينغ خلال الحرب العالمية الثانية، وقد ظل عمله في بلتشلي بارك سريًا لعقود، فلم يُتح للعامة الاطلاع على تفاصيل ما جرى هناك إلا بعد مرور زمن طويل، ما جعل الاعتراف بدوره في كسر الشيفرات متأخرًا نسبيًا مقارنة بأثره الفعلي..⁶

ارتبط اسم تورينغ ارتباطًا وثيقًا بجهود كسر شيفرة إنجما الألمانية، إذ كانت الآلة التي صممها حاسمة في هذا المضمار، وجاء هذا الإنجاز في إطار عمله ضمن الكوخ 8، القسم المسؤول عن تحليل الشفرات البحرية الألمانية، حيث ترافقت الجوانب التقنية للتصميم مع عمل تحليلي منظم على مدار سنوات الحرب، وقد مثّل كسر شيفرة إنجما نقطة تحول في قدرة الحلفاء على متابعة الاتصالات المشفرة، بينما بقي ذلك العمل محاطًا بالسرية لعقود، فلم تظهر تفاصيله الكاملة إلا في مرحلة لاحقة من التاريخ..⁵

بعد انتهاء الحرب العالمية الثانية، انضم آلان تورينغ إلى المختبر الفيزيائي الوطني لتصميم حاسوب ACE⁷. وكان محرك الحوسبة الآلي (ACE) تصميمًا مبكرًا لحاسوب مبرمج مخزّن⁷، وهو الطراز الذي يقوم على حفظ البرنامج في الذاكرة ذاتها بدل إعادة توصيل الدوائر لكل مهمة. وقد أثّر تصميم تورينغ لـ ACE في تطوير الحواسيب البريطانية المبكرة⁷، فصار من النماذج المرجعية التي استندت إليها جهود لاحقة في بناء الآلات الحاسبة الإلكترونية. وقد جاء هذا الانتقال بعد سنوات قضاها في بلتشلي بارك، مركز كسر الشفرات البريطاني، حيث قاد الكوخ 8 المسؤول عن تحليل الشفرات البحرية الألمانية⁵، وصمم آلة «بومبي» الكهروميكانيكية لكسر الرسائل المشفرة بآلة إنجما..⁶

ثم انتقل تورينغ إلى ميدان آخر من العمل الحاسوبي، إذ عمل على برمجيات حاسوب مانشستر مارك 1⁸. وكان مانشستر مارك 1 أحد أوائل الحواسيب ذات البرنامج المخزّن⁸، أي من الآلات التي تحمل تعليماتها في ذاكرتها وتنفذها دون تدخل خارجي متكرر. وقد اقترن هذا العمل بتعيينه قارئًا في نظرية الحوسبة بجامعة مانشستر عام 1948، وهو منصب جامعي رفيع جمع بين التدريس والبحث في الأسس النظرية للحوسبة. وهكذا انتقل تورينغ من تصميم البنى الحاسوبية إلى برمجتها وتعليم نظريتها، في مسار متصل بدأ قبل الحرب بأعماله في المنطق الرياضي.⁸

تظل هذه المرحلة امتدادًا طبيعيًا لإسهامات تورينغ النظرية السابقة، فقد قدّمت ورقة تورينغ عام 1936 «حول الأعداد القابلة للحساب» مفهوم آلة تورينغ⁴، وهو نموذج رياضي للحساب⁴ يمكنه محاكاة أي خوارزمية حاسوبية⁴. ولم يكن تصميم ACE ولا البرمجيات التي طوّرها لمانشستر مارك 1 منفصلين عن هذا الإرث المفاهيمي، بل كانا محاولتين لترجمة نموذج نظري مجرد إلى آلات فعلية تعمل. وتحظى مساهمات تورينغ في الرياضيات والحوسبة باعتراف واسع¹، إذ أرسى عمله الأساس لعلم الحاسوب الحديث والذكاء الاصطناعي..³

في عام 1950 نشر آلان تورينغ ورقته «آلات الحوسبة والذكاء»، وهي الورقة التي قدّمت اختبار تورينغ إلى العالم، وطرحت فيه «لعبة التقليد» بوصفها صياغة إجرائية للسؤال عن الذكاء الآلي. وقد دخل تورينغ هذا الميدان من خلفية راسخة، فهو عالم رياضيات ومنطق بريطاني عاش بين 1912 و1954، وقدّمت ورقته عام 1936 «حول الأعداد القابلة للحساب» مفهوم آلة تورينغ بوصفها نموذجًا رياضيًا للحساب. وكان عمل تورينغ اللاحق قد أرست دعائم الحوسبة، ما جعل انتقاله إلى مسألة الذكاء الاصطناعي امتدادًا طبيعيًا لاهتماماته النظرية في طبيعة الحساب وحدوده.⁴

يقيس اختبار تورينغ قدرة الآلة على إظهار سلوك ذكي مكافئ للإنسان، ولا يعتمد في ذلك على فحص البنية الداخلية للآلة أو طريقة عملها، بل على ملاحظة الأداء الظاهر في أثناء المحاورة. ويتضمن الاختبار محاورًا بشريًا يتحادث مع آلة وإنسان عبر النص، فيُحجب عن المحاور تمييز الطرفين إلا من خلال ما يصدر عنهما من عبارات. وبهذه الصيغة، تحوّل السؤال الفلسفي حول إمكان ذكاء الآلة إلى مسألة قابلة للاختبار العملي، تُبنى على التكافؤ السلوكي بين الآلة والإنسان في سياق حواري محكوم بالنص.⁹

يكتسب هذا الاقتراح موضعه التاريخي من كونه امتدادًا لمسيرة تورينغ العلمية التي جمعت بين النظرية الرياضية والعمل التقني. فقد سبق أن قدّمت ورقة تورينغ عام 1936 «حول الأعداد القابلة للحساب» مفهوم آلة تورينغ، وهي آلة تورينغ التي يمكنها محاكاة أي خوارزمية حاسوبية، ما وفّر أرضية نظرية للتفكير في الآلات القادرة على أداء مهام ذهنية. وعلى هذا النحو، أرسى عمل تورينغ الأساس لعلم الحاسوب الحديث والذكاء الاصطناعي، فجاء اختبار تورينغ ولعبة التقليد تعبيرًا مبكرًا عن طموح علمي في مقاربة الذكاء الاصطناعي من جهة السلوك والقدرة على المحاكاة.³

قدّم آلان تورينغ مساهمات كبيرة في علم الأحياء الرياضي، بما في ذلك دراسة التشكل، وهي مساهمات تحظى باعتراف واسع إلى جانب أعماله في الرياضيات والحوسبة ⁴. وقد تجسدت هذه المساهمات بشكل خاص في ورقته التي نُشرت عام 1952 تحت عنوان «الأساس الكيميائي للتشكل» ¹. وتمثل هذه الورقة امتدادًا لاهتمامه الرياضي بالظواهر الطبيعية، حيث سعى إلى صياغة تفسير رياضي لكيفية نشوء الأنماط والتراكيب البيولوجية. ولم يكن هذا الاتجاه غريبًا على عالم رياضيات ومنطق بريطاني عُرف بمعالجته لقضايا نظرية عميقة ⁴. وقد جرى توثيق هذه المساهمة ضمن سياق أوسع من الإنجازات التي جعلت من تورينغ شخصية بارزة في تاريخ العلم الحديث ..⁴

وقد ارتبطت ورقة «الأساس الكيميائي للتشكل» بعام 1952، وهو العام نفسه الذي شهد محاكمة تورينغ بسبب المثلية الجنسية التي كانت غير قانونية آنذاك في المملكة المتحدة ³. وعلى الرغم من هذه الظروف القاسية، فإن إسهامه في علم الأحياء الرياضي ظل جزءًا من تراثه العلمي الذي يُذكر إلى جانب أعماله في الحوسبة ¹. ولم تقتصر أهميته العلمية على مجال واحد، بل امتدت مساهماته في الرياضيات والحوسبة إلى اعتراف واسع من الأوساط العلمية ¹. وهكذا تجمع مسيرته بين إنجازات نظرية رائدة وأعمال تطبيقية أسست لاحقًا لعلم الحاسوب الحديث والذكاء الاصطناعي ..³

وقد أسهمت أعمال تورينغ في وضع الأساس لعلم الحاسوب الحديث والذكاء الاصطناعي، وهو ما يجعل مساهماته في علم الأحياء الرياضي جزءًا من صورة أوسع لعالم متعدد الاهتمامات ³. وقد حظيت مساهماته في الرياضيات والحوسبة باعتراف واسع، بما يعكس عمق أثره في أكثر من حقل معرفي ¹. وفي هذا السياق، تظل ورقة «الأساس الكيميائي للتشكل» علامة على انتقال اهتمامه الرياضي إلى تفسير الظواهر الحيوية، وهو اتجاه يعكس نزعة أصيلة لديه في البحث عن القوانين الرياضية الكامنة خلف الظواهر المعقدة ..¹

لم يقتصر أثر آلان تورينغ على تأسيسه لمفاهيم الحوسبة النظرية، بل امتدّ إلى اعتراف مؤسسي رسمي بمساهماته في مرحلة مفصلية من التاريخ البريطاني. فخلال الحرب العالمية الثانية عمل في بلتشلي بارك، مركز كسر الشفرات البريطاني، حيث قاد الكوخ الثامن المسؤول عن تحليل الشفرات البحرية الألمانية، وصمّم آلة بومبي الكهروميكانيكية التي كسرت الرسائل المشفّرة بآلة إنجما، وأسهمت في تقصير الحرب وإنقاذ أرواح لا تحصى. وقد تُوّج هذا الجهد بمنحه وسام الإمبراطورية البريطانية عام 1946 لخدمته في زمن الحرب، وهو تكريم ظلّ منفصلًا لعقود عن طبيعة عمله السري الذي لم يُكشف عنه إلا لاحقًا.⁵

وفي عام 1951 انتُخب تورينغ زميلًا في الجمعية الملكية، وهو أعلى تقدير علمي في بريطانيا، وجاء هذا الانتخاب تتويجًا لسلسلة من الإنجازات بدأت بورقته عام 1936 «حول الأعداد القابلة للحساب» التي قدّمت مفهوم آلة تورينغ، مرورًا بأطروحته حول الحساب الفعّال، ووصولًا إلى ورقته عام 1950 «آلات الحوسبة والذكاء» التي اقترح فيها اختبار تورينغ وقدّمت «لعبة التقليد». ولم يكن هذا الاعتراف منفصلًا عن إسهاماته في علم الأحياء الرياضي، ومنها ورقته «الأساس الكيميائي للتشكل» المنشورة عام 1952، والتي أسست لفهم رياضي للأنماط الحيوية.⁴

وقد تجاوز التكريم المؤسسي حدود حياته ليصبح جزءًا من الذاكرة العلمية العالمية. فجائزة تورينغ، التي تُوصف غالبًا بنوبل الحوسبة، سُميت تكريمًا له، وتُمنح سنويًا في مجال الحوسبة اعترافًا بمساهمات استثنائية. وإلى جانب ذلك، سمّت جامعة مانشستر مبنى وتمثالًا باسمه، في إشارة محلية إلى الفترة التي عمل فيها على برمجيات حاسوب مانشستر مارك 1، أحد أوائل الحواسيب ذات البرنامج المخزّن. وتحظى مساهماته في الرياضيات والحوسبة باعتراف واسع، ما يجعل اسمه مرادفًا لتأسيس علم الحاسوب الحديث.¹⁰

في عام 1952، حوكم آلان تورينغ بسبب المثلية الجنسية، التي كانت غير قانونية آنذاك في المملكة المتحدة³. وقد أُدين وحُكم عليه بالإخصاء الكيميائي بدلًا من السجن³. ولم تقتصر تبعة الإدانة على ما ناله من عقوبة جسدية، بل أدت أيضًا إلى فقدان تصريحه الأمني³، وهو ما مثّل انقطاعًا عن سياق كان قد شهد فيه قبل سنوات قليلة أعمالًا حاسمة في بلتشلي بارك ظلّت سرية لعقود⁵. وهكذا انطوت مسيرته الرسمية إثر حكم قضائي لم يستند إلى فعل يمسّ الأمن، بل إلى قانون كان يج criminalizes المثلية. وقد جاء ذلك في العام نفسه الذي نشر فيه ورقتَه «الأساس الكيميائي للتشكل»¹، فانطبق عليه وصف عالم الرياضيات والمنطق البريطاني في واحدة من أكثر اللحظات قسوة في حياته.⁴

توفي تورينغ في 7 يونيو 1954 في ويلسلو، شيشاير³، بسبب التسمم بالسيانيد، وحُكم بأنه انتحار³. وكان قد انتُخب قبل ذلك زميلًا في الجمعية الملكية عام 1951²، ومُنح وسام الإمبراطورية البريطانية عام 1946 لخدمته في زمن الحرب¹؛ غير أن تلك الاعترافات لم تحل دون نهايته المأساوية. لقد ترك رحيله فراغًا في صفوف من كانوا يعرفون قدره العلمي، بينما ظل عمله في كسر الشفرات بعيدًا عن الأنظار إلى أن أزيح عنه الغطاء بعد عقود..⁵

لم تنتهِ قضية تورينغ عند وفاته؛ فقد أصدرت الحكومة البريطانية في عام 2009 اعتذارًا رسميًا عن محاكمته³، ثم حصل في عام 2013 على عفو ملكي³. وفي وقت لاحق، أصدر «قانون آلان تورينغ» عفوًا عن آلاف الرجال المدانين بموجب قوانين معادية للمثلية الجنسية³، في اعتراف متأخر بالظلم الذي وقع عليه وعلى غيره. وقد دفع هذا الاعتراف المتأخر إلى إعادة تقييم سيرته في ضوء ما قدّمه من إسهامات في الرياضيات والحوسبة تحظى باعتراف واسع..¹

بعد عقود من إدانة تورينغ بموجب قوانين كانت تجرّم المثلية الجنسية، أصدرت الحكومة البريطانية في عام 2009 اعتذارًا رسميًا عن محاكمة تورينغ التي جرت عام 1952 ³. وقد كانت تلك المحاكمة قد انتهت بإدانته وحكمه بالإخصاء الكيميائي بدلًا من السجن، وهو ما أدى إلى فقدان تصريحه الأمني ³. ولم يتوقف مسار الاعتراف الرسمي بالإجحاف عند الاعتذار، إذ حصل تورينغ في عام 2013 على عفو ملكي ³. وقد دُرس هذا المسار التشريعي والقضائي بوصفه مراجعة تاريخية لقوانين كانت سارية آنذاك، وأعقبته خطوات لاحقة استهدفت إنصاف آخرين سُلبوا حقوقهم على الأسس نفسها ..³

وقد توسع نطاق تصحيح هذا الماضي عبر «قانون آلان تورينغ»، الذي أصدر عفوًا عن آلاف الرجال المدانين بموجب قوانين معادية للمثلية الجنسية ³. وبذلك انتقل الأمر من رد اعتبار فردي إلى إجراء جماعي واسع شمل من أدينوا بقوانين تاريخية مماثلة ³. وعلى صعيد التكريم المؤسسي، سمّت جامعة مانشستر مبنى وتمثالًا باسم تورينغ، تأكيدًا لصلته الراسخة بها ⁸. وتضاف إلى ذلك جائزة تورينغ، التي كثيرًا ما توصف بنوبل الحوسبة، والتي سُميت تكريمًا له ¹⁰. وهذه الأشكال من التوثيق المادي والرمزي تعكس اعترافًا متزايدًا بعطائه العلمي ..¹

تظل الحقيقة الجوهرية في هذا السياق أن عمل تورينغ أرسى الأساس لعلم الحاسوب الحديث والذكاء الاصطناعي ³. فقد قدّم في ورقة عام 1936 «حول الأعداد القابلة للحساب» مفهوم آلة تورينغ، وهو نموذج رياضي للحساب ⁴. وفي عام 1950، اقترح في ورقته «آلات الحوسبة والذكاء» اختبار تورينغ، الذي يقيّم قدرة الآلة على إظهار سلوك ذكي مكافئ للإنسان ⁹. وهذه الإسهامات النظرية والتطبيقية تفسر لماذا تحظى مساهماته في الرياضيات والحوسبة باعتراف واسع ..¹