كان آلان ماثيسون تورينغ (1912–1954) رياضياً بريطانياً ومنطقياً وفاكّ شفرات، وقد أسس عمله علم الحاسوب النظري، وشكّل بشكل حاسم الفلسفة الحديثة للعقل والمنطق والحوسبة. وفي ورقته البحثية عام 1936 حول الأعداد القابلة للحساب، قدّم “آلة تورينغ” المجردة، مجادلاً بأن الإجراءات الميكانيكية يمكن نمذجتها بدقة، وبأن هناك حدوداً محددة جيداً لقابلية الحل الخوارزمي. وقد غيّرت هذه النتيجة فلسفة الرياضيات بتوضيحها طبيعة الإجراء الفعّال، والبرهان الرياضي، وعدم القابلية للحسم. وخلال الحرب العالمية الثانية، أوضح عمل تورينغ في تحليل الشفرات في بلتشلي بارك القوة الواقعية للاستدلال الآلي، ممهِّداً للنقاشات حول الأتمتة والمعلومات وسرية الدولة. وفي مقالته عام 1950 «آلات الحوسبة والذكاء»، اقترح «لعبة المحاكاة»، التي تُسمى اليوم اختبار تورينغ، بوصفها معياراً سلوكياً للذكاء الآلي، فأثّر بشكل حاسم في فلسفة العقل التحليلية، والوظيفية، وأخلاقيات الذكاء الاصطناعي المعاصرة. وقد دفعت أعماله اللاحقة حول تكوين الأشكال البيولوجية أسئلة الحوسبة والشكل إلى علم الأحياء، متحدّية في الوقت ذاته التفسيرات الميكانيكية البسيطة والحيوية على حد سواء. وقد اضطُهد تورينغ بسبب مثليته الجنسية، وأُخضع للعلاج الهرموني القسري، ولا تزال حياته والاعتراف به بعد وفاته يحفزان التساؤل الفلسفي حول العدالة وسياسات المعرفة والمسؤوليات الأخلاقية للمؤسسات العلمية.
آلان ماثيسون تورينغ
Alan Mathison Turing
في لمحة
حقائق سريعة
- المجال
- المفكر
- الميلاد
- 23 يونيو 1912 مايدا فيل، لندن، إنجلترا، المملكة المتحدة
- الوفاة
- 7 يونيو 1954 ويلمسلو، تشيشاير، إنجلترا، المملكة المتحدة. السبب: التسمم بالسيانيد، ويُعتقد على نطاق واسع أنه انتحار وسط الملاحقة القانونية بسبب المثلية الجنسية
- فترة النشاط
- 1936–1954 — فترة الإنتاجية الفكرية الرئيسية والتأثير
- النشاط في
- المملكة المتحدة
- الاهتمامات
- القابلية للحوسبة والقرار أسس الرياضيات المنطق والأنظمة الصورية الذكاء الاصطناعي اختبار الذكاء الآلي المعلومات والحوسبة التشكل المورفولوجي وتكوين الأنماط الإدراك البشري والمقارنة بين العقل والآلة
الأطروحة المركزية
تُفهم الحوسبة بوصفها معالجة رموز صورية بقواعد آلية بسيطة، وهي توفر في آنٍ واحد نموذجاً دقيقاً للإجراء الفعّال وإطاراً قوياً لفهم الذكاء والأشكال الطبيعية، وتكشف في الوقت نفسه عن حدود مبدئية، إذ توجد مشكلات محددة جيداً لا يستطيع أي منهج خوارزمي، بشرياً كان أو آلياً، أن يحسمها.
استكشف المزيد من التفاصيل إخفاء التفاصيل
أهم الأعمال
-
في الأعداد القابلة للحساب، مع تطبيق على مسألة القرار (Entscheidungsproblem)
On Computable Numbers, with an Application to the Entscheidungsproblem
1935–1936
-
أنظمة المنطق القائمة على الترتيبيات (Systems of Logic Based on Ordinals)
Systems of Logic Based on Ordinals
1937–1938
-
آلات ذكية (Intelligent Machinery)
Intelligent Machinery
1947–1948
-
آلات الحوسبة والذكاء (Computing Machinery and Intelligence)
Computing Machinery and Intelligence
1949–1950
-
الأساس الكيميائي للتشكل المورفولوجي (The Chemical Basis of Morphogenesis)
The Chemical Basis of Morphogenesis
1951–1952
اقتباسات أساسية
أقترح أن أنظر في السؤال: «هل تستطيع الآلات أن تفكر؟
الجملة الافتتاحية لورقته الرائدة التي أعادت صياغة الأسئلة حول الذكاء الاصطناعي وأطلقت نقاشاً كبيراً في فلسفة العقل وعلم الإدراك.
بدلاً من محاولة تقديم تعريف لذلك، سأستبدل السؤال بسؤال آخر وثيق الصلة به ومُعبَّر عنه بألفاظ أقل التباساً نسبياً.
انتقال تورينغ المنهجي من السؤال الغامض «هل تستطيع الآلات أن تفكر؟» إلى لعبة المحاكاة الأكثر دقة، وهو ما يوضح تفضيله للمعايير القابلة للتشغيل في التحليل الفلسفي.
يمكننا أن نقارن إنساناً في أثناء حساب عدد حقيقي بآلة لا تستطيع سوى عدد محدود من الحالات.
يُبرر تورينغ هنا نموذج آلة تورينغ بتشبيه الحوسبة البشرية بعملية ميكانيكية ذات حالات محدودة، وهي خطوة محورية في المواءمة الفلسفية بين الاستدلال البشري والاستدلال الآلي.
لا تستطيع الآلة إلا أن تفعل ما نأمرها به.
عبارة كثيراً ما تُستشهد بها، تعبّر عن إدراك تورينغ لقيود الآلات المبرمجة، وكثيراً ما تُستحضر في النقاشات الفلسفية حول الاستقلالية والمسؤولية والذكاء الاصطناعي.
إن الحجة القائمة على الوعي... ربما كانت، في رأيي، الأكثر قدرة على أن تجعل المرء يشعر بأن «الآلات لا تستطيع أن تفكر». لكنني لا أرى أن هذه الحجة متينة بما يكفي.
رد تورينغ النقدي على الادعاء بأن الوعي الذاتي ضروري للتفكير، وهو رد يسبق الخلافات اللاحقة حول الكيفيات الذاتية وأهمية التجربة الشخصية من منظور الشخص الأول.
مصطلحات أساسية
- آلة تورينغ (Turing Machine) (Turing Machine):
- نموذج رياضي مجرد للحوسبة يتألف من شريط، ورأس، ومجموعة منتهية من القواعد، ويُقصد به التقاط مفهوم الإجراء الميكانيكي الفعّال.
- أطروحة تشيرش–تورينغ (Church–Turing Thesis):
- الادعاء بأن المفهوم غير الصوري للدالة القابلة للحساب بفعالية يُلتقَط تمامًا بالنماذج الصورية للحوسبة، مثل آلات تورينغ وحساب لامدا.
- مشكلة القرار (Entscheidungsproblem) (Entscheidungsproblem (Decision Problem)):
- تحدي هيلبرت في إيجاد طريقة ميكانيكية عامة لتقرير صدق أي عبارة في المنطق الأولي، وقد بيّن تورينغ وتشيرش أنها غير قابلة للحل.
- اختبار تورينغ (لعبة المحاكاة) (Turing Test (Imitation Game)):
- معيار سلوكي للذكاء يُقال فيه إن الآلة تفكر إذا كانت استجاباتها النصية لا تتميز عن استجابات الإنسان في لعبة استجوابية.
- مشكلة التوقف (Halting Problem) (Halting Problem):
- مسألة القرار المتمثلة في تحديد ما إذا كان البرنامج، لأي برنامج ومدخل، سيتوقف في نهاية المطاف أو سيستمر في العمل إلى الأبد، وقد أثبت تورينغ أنها غير قابلة للتقرير بأي خوارزمية.
- النظرية الحاسوبية للعقل (Computational Theory of Mind):
- الرأي القائل بأن العمليات المعرفية هي في جوهرها عمليات حسابية تجري على تمثيلات رمزية، وهو إطار متأثر بقوة بنماذج الحوسبة لدى تورينغ.
- تكوّن الأشكال البيولوجي (Morphogenesis) (Morphogenesis):
- العملية البيولوجية التي تطوّر بها الكائنات الحية أشكالها وأنماطها، وقد نمذجها تورينغ رياضيًا باستخدام معادلات التفاعل والانتشار لتفسير الشكل الناشئ.
التطور الفكري
التعليم التكويني والاهتمامات المنطقية المبكرة (1912–1934)
تلقى تورينغ تعليمه في مدرسة شيربورن وكلية كينغز في كامبريدج، وأظهر موهبة استثنائية في الرياضيات وطبعاً مستقلاً وأحياناً محرجاً اجتماعياً. وقد أدى تعرّفه المبكر على نظرية النسبية لأينشتاين وعلى مسائل اللانهاية والقرار في الرياضيات إلى نشوء اهتمام عميق بطبيعة القواعد والبرهان والاستدلال القابل للآلية، وهي موضوعات ستشكل أساس أثره المنطقي والفلسفي لاحقاً.
أسس قابلية الحوسبة والمنطق (1935–1938)
في كامبريدج وبرينستون، وتحت تأثير برنامج هيلبرت ونظريتي عدم الاكتمال لغودل، تصدى تورينغ لمسألة القرار. وقدّمت ورقته لعام 1936 آلة تورينغ ومشكلة التوقف، مقدمةً صورة حية وميكانيكية للحوسبة، ستصبح محورية ليس فقط لعلوم الحاسوب، بل أيضاً للنقاشات الفلسفية حول الصورية والإجراء الفعّال وحدود الاستدلال البشري والآلي.
فك الشيفرات والحوسبة التطبيقية (1939–1945)
في بلتشلي بارك، طُبقت أفكار تورينغ النظرية على تحليل الشيفرات عبر آلات «البومب» الكهروميكانيكية وأساليب منهجية لكسر الشيفرات. وقد عمّقت هذه التجربة مع أنظمة بشرية-آلية واسعة النطاق فهمه للمعلومات والخطأ والموثوقية، وأسهمت في تأملات فلسفية لاحقة حول التجسد الاجتماعي للحوسبة والخبرة والسرية في الحرب التقنية.
الحوسبة ما بعد الحرب والذكاء الاصطناعي (1945–1952)
عمل تورينغ في المختبر الفيزيائي الوطني وجامعة مانشستر، وأسهم في الحواسيب المبكرة ذات البرنامج المخزّن، وكتب عن الذكاء الآلي. واقترحت ورقته المنشورة في مجلة «مايند» عام 1950 لعبة المحاكاة، وردّت على الاعتراضات الشائعة ضد الآلات المفكّرة، مؤسسةً إطاراً وظيفياً يركّز على السلوك، ما زال يشكّل النقاشات في فلسفة العقل وعلم الإدراك والذكاء الاصطناعي وأخلاقياته.
التشكل المورفولوجي والبحث التأملي (1951–1954)
في سنواته الأخيرة، اتجه تورينغ إلى البيولوجيا الرياضية، مقترحاً نماذج التفاعل والانتشار لتكوين الأنماط. وقد وسّع هذا العمل منظوره الحوسبي من معالجة الرموز المنفصلة إلى العمليات المتصلة، مؤثراً في النقاشات الفلسفية اللاحقة حول الظهور الناشئ والاختزال ووحدة العلم، وذلك على الرغم من أن الملاحقة التي تعرض لها ووفاته المبكرة حالتا دون إتمام تركيب فلسفي متكامل.
1. مقدمة
يُعدّ آلان ماثيسون تورينغ (1912–1954) على نطاق واسع شخصية تأسيسية في المنطق الحديث وعلوم الحاسوب وفلسفة العقل. وقد ربط عمله بين المسائل المجردة المتعلقة بالحساب الفعّال والبرهان الصوري والاستدلال الآلي، وبين التصاميم الملموسة للحواسيب الرقمية والنقاشات المبكرة حول الذكاء الاصطناعي. ويعامل الفلاسفة ومؤرخو العلم وعلماء الحاسوب تورينغ غالبًا بوصفه جسرًا محوريًا بين برنامج هيلبرت في أسس الرياضيات في أوائل القرن العشرين، وبين النقاشات اللاحقة حول الذكاء الآلي وعلم الإدراك.
أدّى تحليل تورينغ للأعداد القابلة للحساب عام 1936 إلى تقديم ما يُعرف اليوم بآلات تورينغ، وهي نموذج مبسّط للغاية لكنه قوي للحساب الآلي. وأصبح هذا النموذج محوريًا في توضيح ما يُعدّ خوارزمية، وفي البرهنة على أن بعض المسائل الرياضية المحددة جيدًا لا يمكن حلّها بأي إجراء فعّال. وتقف تعاونات تورينغ والتقارب الضمني بينه وبين حساب لامدا لألونزو تشرش وراء أطروحة تشرش–تورينغ المؤثرة، التي تزعم أن جميع طرائق الحساب الفعّالة تندرج ضمن عائلة صغيرة من النماذج الصورية المتكافئة.
وفي فترة ما بعد الحرب، وسّع تورينغ هذه الأفكار المنطقية إلى مقترحات لحواسيب رقمية ذات برنامج مخزّن، وإلى مقاربة مميزة لذكاء الآلة موجّهة نحو السلوك، تبلورت في اختبار تورينغ. ثم طبّق بحثه في تكوّن الأشكال الحيوية التفكير الرياضي والحاسوبي على تشكّل الأنماط البيولوجية، مقترحًا أن البنى الطبيعية المعقدة يمكن أن تنشأ عن قواعد محلية بسيطة.
وعبر هذه المجالات، فُسِّر عمل تورينغ بوصفه إعادة تشكيل لأسئلة فلسفية قديمة: ماذا يعني اتباع قاعدة، وإلى أي حد يمكن أن تمتد الصورنة، وهل العقول حاسوبية في جوهرها، وكيف ترتبط المعلومات المجردة بالعمليات الفيزيائية. كما تضع تجاربه الشخصية داخل المؤسسات البريطانية في منتصف القرن العشرين إنجازاته العلمية في سياقات أخلاقية وسياسية أوسع.
2. الحياة والسياق التاريخي
شهدت حياة تورينغ تحولات علمية وسياسية واجتماعية كبرى في النصف الأول من القرن العشرين. وُلد عام 1912 في لندن لأسرة من الطبقة الوسطى مرتبطة بالخدمة المدنية الإمبراطورية البريطانية، وتلقى تعليمه في مؤسسات بريطانية نخبوية تأثرت بشدة بالنقاشات التي دارت بين الحربين العالميتين حول أسس الرياضيات، وبالتهديد المتصاعد بحرب في أوروبا.
نظرة زمنية عامة
| الفترة | السياق | وضع تورينغ |
|---|---|---|
| 1912–1931 | بريطانيا الإمبراطورية في أواخر عهدها، وإعادة البناء بعد الحرب العالمية الأولى | الدراسة في مدرسة شيربورن؛ اهتمام مبكر بالعلوم والرياضيات |
| 1931–1938 | غليان فكري بين الحربين؛ برنامج هيلبرت، ونتائج غودل | الدراسة في كامبريدج وبرينستون؛ العمل على القابلية للحساب والمنطق |
| 1939–1945 | الحرب العالمية الثانية، والحرب الشاملة وعلم التشفير | تحليل الشيفرات في بلتشلي بارك؛ تطوير آلات «البومب» وأساليب فك الشيفرات |
| 1945–1952 | بدايات الحرب الباردة، وصعود الحوسبة، ودولة الأمن القومي | العمل على ACE في NPL، ثم في مانشستر لاحقاً؛ الكتابة في الذكاء الاصطناعي والحوسبة |
| 1952–1954 | تشديد تنظيم الجنس وقلق أمني | الملاحقة الجنائية بسبب المثلية الجنسية، والقيود الأمنية، والوفاة المبكرة |
المحيط الفكري والمؤسسي
نسجت السنوات التكوينية لتورينغ مع أزمات تأسيسية في الرياضيات، بما في ذلك الاستجابات لمسألة القرار (Entscheidungsproblem) لهيلبرت، وتلقي نظريات عدم الاكتمال لغودل. وقد عرّفته كامبريدج في الثلاثينيات بالوضعية المنطقية، وبالفلسفة التحليلية الناشئة، وبالأساليب الصورية الجديدة في المنطق.
خلال الحرب العالمية الثانية، أتاحت الجهود البريطانية في التشفير فرصاً غير مسبوقة للتعاون العلمي السري واسع النطاق والمدعوم من الدولة. وقد فُسّر موقع بلتشلي بارك بوصفه موقعاً للابتكار التقني، وأيضاً بوصفه مثالاً مبكراً على تداخل علم المعلومات مع الأمن القومي.
شهدت بريطانيا بعد الحرب إضفاء الطابع المؤسسي على الحوسبة داخل المختبرات الحكومية والجامعات. وفي الوقت نفسه، وسّعت الدولة المراقبة وفرضت حظراً قانونياً صارماً على المثلية الجنسية. ويؤكد المؤرخون أن ملاحقة تورينغ ومسائل تصاريح أمنه لا يمكن فهمها بمعزل عن هذا السياق من القلق الناتج عن الحرب الباردة والسرية والضبط الأخلاقي.
3. التطور الفكري
يُقسَّم التطور الفكري لتورينغ غالبًا إلى مراحل تعكس تحوّل المشكلات والمناهج، مع احتفاظه بتركيز متصل على القواعد والآلية وحدود الصورنة.
التكوين المبكر (1912–1934)
التحق تورينغ بمدرسة شيربورن، فأظهر استعدادًا للرياضيات والعلوم، لكنه كان أقل اهتمامًا بالمناهج الكلاسيكية. وتؤكد الدراسات السيرية أسلوبه المستقل في حل المشكلات وقراءته المبكرة لأعمال أينشتاين، التي يُذكر أنها شحذت اهتمامه بالعلاقة بين القوانين الفيزيائية والوصف الرياضي. وقد وضعه وقته في كلية كينغز بجامعة كامبريدج (ابتداءً من 1931) في وسط فكري منشغل ببرنامج هيلبرت، والحدسية، والجدل حول طبيعة البرهان الرياضي.
أسس القابلية للحساب (1935–1938)
بين عامي 1935 و1936 تركز اهتمام تورينغ على مشكلة القرار (Entscheidungsproblem). فطوّر نموذج آلة تورينغ من خلال تحليل ما يستطيع الحاسب البشري إنجازه باتباع قواعد صريحة. ويختلف الباحثون حول مدى تأثره بمعاصرين مثل ألونزو تشرش ومكس نيومان؛ فيؤكد بعضهم التطور المتقارب للأفكار، بينما يشدد آخرون على النقاشات المحلية في كامبريدج. وقد عمّق عمله اللاحق للدكتوراه في برينستون تحت إشراف تشرش فهمه لحساب لامبدا والمنطقيات الترتيبية، وتوّج ذلك بكتاب أنظمة المنطق القائمة على الأعداد الترتيبية (Systems of Logic Based on Ordinals).
الحرب والتحولات ما بعد الحرب (1939–1954)
كشفت سنوات الحرب في بلتشلي بارك تورينغ للقيود الهندسية العملية، ولأنظمة واسعة النطاق تجمع بين الإنسان والآلة، ولقضايا الموثوقية والخطأ. ويرى المؤرخون أن هذه التجربة أسهمت في مقترحاته اللاحقة لحواسيب البرامج المخزنة وآلات التعلم. وفي أواخر الأربعينيات وأوائل الخمسينيات انشعبت اهتماماته: فاتجه أحد المسارين إلى ذكاء الآلة والحساب الآلي، واتجه الآخر إلى البيولوجيا الرياضية، مستخدمًا المعادلات التفاضلية لنمذجة تشكّل الكائنات. وعبر هذه التحولات، يلاحظ المعلقون اهتمامًا ثابتًا بكيفية نشوء السلوك المعقد من مكونات بسيطة تحكمها القواعد، سواء في المنطق أو في الآلات أو في الكائنات الحية.
4. الأعمال الرئيسية والإنجازات التقنية
تتوزع أكثر أعمال تورينغ تأثيرًا على المنطق والحوسبة وبيولوجيا الرياضيات. ويرتبط كل منها بنتائج تقنية اكتسبت لاحقًا دلالة فلسفية.
المنشورات الرئيسية
| العمل | الفترة | المساهمة المركزية |
|---|---|---|
| حول الأعداد القابلة للحساب، مع تطبيق على مسألة القرار (Entscheidungsproblem) | 1936 | يعرّف آلات تورينغ، ويثبت أن مشكلة التوقف غير قابلة للحسم، ويبيّن أنه لا توجد خوارزمية تحل مسألة القرار |
| أنظمة المنطق القائمة على الأعداد الترتيبية | 1938 | يطوّر منطقًا ترتيبيًا لاستكشاف توسيع الأنظمة الصورية إلى ما وراء عدم الاكتمال الغودلي |
| الآلات الذكية (تقرير) | 1948 (كُتب في 1947–1948) | يستعرض بنى آلات ممكنة، ويقدّم أفكارًا حول الآلات المتعلمة والآلات غير المنظمة |
| الآلات الحاسوبية والذكاء | 1950 | يصوغ لعبة المحاكاة (اختبار تورينغ)، ويناقش الاعتراضات على الذكاء الآلي |
| الأساس الكيميائي للتشكل البيولوجي | 1952 | يقدّم نماذج التفاعل والانتشار لتشكّل الأنماط البيولوجية |
الإنجازات التقنية في كسر الشيفرات والحوسبة
خلال الحرب العالمية الثانية، أدى تورينغ دورًا رئيسيًا في تصميم «البومب»، وهو جهاز كهروميكانيكي سرّع فك تشفير رسائل آلة إنيغما الألمانية. وساهم بتقنيات إحصائية (مثل «بانبوريزمس») حسّنت كسر الشيفرات عبر تقدير الوزن الدليلي كمّيًا. ويختلف المؤرخون حول المدى الدقيق لإسهامه الفردي مقارنةً بفريق بلتشلي الأوسع، لكنهم يتفقون على أن عمله كان محوريًا في النجاح البريطاني في كسر الشيفرات.
بعد الحرب، عمل تورينغ في المختبر الفيزيائي الوطني على صياغة تصميم «ACE» (محرك الحوسبة الآلي). ورغم أن التأخيرات المؤسسية حالت دون تحقيق تصميمه الدقيق بالكامل، فإن تقرير ACE توقع بنية عالية السرعة ذات برنامج مخزَّن، وأثّر في الآلات البريطانية اللاحقة. وفي مانشستر، عمل على أحد أوائل الحواسيب ذات البرنامج المخزَّن العاملة، فنفّذ إجراءات برمجية واستكشف الطرائق العددية ومفاهيم البرمجة المبكرة.
تجسّدت هذه الإنجازات التقنية أفكاره المجردة حول الحوسبة تجسيدًا ملموسًا، مما عزّز التفسيرات اللاحقة لتورينغ بوصفه منظّرًا تأسيسيًا ومهندسًا عمليًا لآلات الحوسبة في آن واحد.
5. المفاهيم الأساسية حول الحوسبة والعقل
تدور الأفكار الأساسية لتورينغ حول معالجة موحّدة للحوسبة بوصفها تلاعبًا بالرموز يحكمه قواعد، وحول القياس بين الذكاء البشري والذكاء الآلي.
الحوسبة والإجراء الفعّال
في ورقته «على الأعداد القابلة للحساب»، يحلل تورينغ ما يعنيه أن يتبع الحاسب البشري طريقةً ما. ويُنمذج ذلك بوصفه تحكمًا محدودًا يعمل على شريط لا نهائي مقسّم إلى مربعات، يحتوي كل منها على رمز. تُحدَّد آلة تورينغ بمجموعة محدودة من القواعد تقرر، بالنظر إلى الحالة الراهنة والرمز الراهن، أي رمز يُكتب، وكيف تتحرك الآلة، وأي حالة تدخل. يرى مؤيدو أطروحة تشيرش–تورينغ أن هذا التصور يمثل توصيفًا دقيقًا لمفهوم الإجراء الفعّال غير الرسمي، بينما يتساءل بعض المنتقدين عما إذا كانت العمليات التماثلية أو التفاعلية أو فوق الحوسبية قد تتجاوز هذا الإطار.
قدّم تورينغ أيضًا آلات تورينغ الكونية، القادرة على محاكاة أي آلة تورينغ أخرى متى أُعطيت ترميزًا مناسبًا. وتقوم على هذه الفكرة التصورات اللاحقة لحواسيب البرنامج المخزَّن، وتوحي بأن آلة واحدة يمكنها، من حيث المبدأ، أن تحقق أي عملية قابلة للحساب.
العقل والميكانيكية واتباع القواعد
يدعو عمل تورينغ إلى المقارنة بين النشاط العقلي البشري والعمليات الحاسوبية. وفي «آلات الحوسبة والذكاء»، يطرح سؤاله الشهير:
أقترح أن أنظر في السؤال: هل تستطيع الآلات أن تفكر؟
وبدلًا من تعريف «التفكير»، يقترح تورينغ لعبة المحاكاة بوصفها اختبارًا إجرائيًا. وقد فُسِّرت هذه الخطوة تفسيرًا وظيفيًا ضمنيًا: ما يهم في الذكاء هو نمط المدخلات والمعالجة الداخلية والمخرجات، لا الركيزة المادية المحددة. ويؤكد بعض المعلّقين الطابع السلوكي لمقاربته، بينما يجادل آخرون بأن تورينغ أقرّ بأهمية الحالات الداخلية والتعلم.
أفضت النقاشات اللاحقة إلى توسيع أفكاره نحو نظرية الحوسبة للعقل، التي تعامل الإدراك بوصفه تلاعبًا بالرموز. ويستشهد المؤيدون بنماذج تورينغ بوصفها صياغات مبكرة لكيفية إمكان ميكنة العمليات العقلية، بينما يرى المتشككون أن الجوانب النوعية للوعي أو الفهم أو التفاعل المتجسد قد لا تُلتقط بالحوسبة الصورية وحدها.
6. اختبار تورينغ وفلسفة الذكاء الاصطناعي
تُعدّ ورقة تورينغ «الآلات الحاسبة والذكاء» (Computing Machinery and Intelligence) الصادرة عام 1950 نقطة مرجعية مركزية في فلسفة الذكاء الاصطناعي، ويرجع ذلك في المقام الأول إلى اختبار تورينغ، أو لعبة المحاكاة.
بنية لعبة المحاكاة ومسوّغاتها
يقترح تورينغ لعبة حوارية نصية يتواصل فيها محاوِر عبر جهاز طباعة برقي مع كيانين غير مرئيين، أحدهما بشري والآخر آلة. فإذا عجز المحاوِر، بعد استجواب متواصل، عن التمييز بموثوقية بين الآلة والإنسان، يُقال إن الآلة «تفكّر» بالمعنى ذي الصلة بالسؤال الأصلي. ويبرّر تورينغ ذلك بقوله إن استبدال السؤال الغامض «هل تستطيع الآلات أن تفكّر؟» بمعيار أكثر إجرائية يتجنّب الخلافات الدلالية.
يرى بعض الشارحين أن اختبار تورينغ شرط كافٍ لنسبة الذكاء إلى الكيان، بينما يرى آخرون أنه اقتراح براغماتي لتنظيم البحث لا معيار تعريفي. كما يوجد خلاف حول ما إذا كان تورينغ يقصد أن يكون الاختبار سلوكياً، أم أنه كان يعدّ الآليات الداخلية والتعلّم ذات أهمية فلسفية حتى وإن لم تكن قابلة للملاحظة المباشرة.
الردود والانتقادات
طوّر الفلاسفة طيفاً واسعاً من الردود:
| خط الرد | الشاغل الأساسي |
|---|---|
| حجة الوعي (مثل جيفرسون) | قد لا يستلزم التماثل السلوكي الخبرة الذاتية |
| حجة الغرفة الصينية (سيرل) | قد يفتقر التلاعب بالرموز إلى فهم حقيقي أو قصدية |
| اعتراضات الروبوت والتجسّد | قد يتجاهل الأداء اللغوي الخالص دور الانخراط الحسي الحركي مع العالم |
| الآراء الاجتماعية والبراغماتية | قد يكفي اجتياز الاختبار لنسبة الفاعلية والمسؤولية في الاستعمال اليومي |
يرى أنصار نهج تورينغ أن المطالبة بمعايير داخلية تتجاوز كل السلوك القابل للملاحظة تُفضي إلى جعل مفهوم الذكاء غير قابل للاختبار. ويرى المنتقدون أن الاختبار يخلط بين محاكاة الذكاء والذكاء نفسه. وغالباً ما تُصاغ المقترحات البديلة، كاختبارات تركّز على الروبوتات أو حل المشكلات أو الإبداع، بالارتباط بلعبة المحاكاة الأصلية لتورينغ أو في مقابلتها.
7. المنهجية والمنطق وحدود الأنساق الصورية
ترتبط إسهامات تورينغ في المنطق ارتباطاً وثيقاً بآراء منهجية حول ما يستطيعه التصوير الصوري وما لا يستطيعه.
الصورنة للإجراء الفعّال
وقد أتاح ذلك براهين مثل عدم قابلية البت في مسألة التوقف واستحالة حل مسألة القرار (Entscheidungsproblem). وتبيّن هذه النتائج أنه لا توجد خوارزمية تقرر دائماً، لأي برنامج ومدخل اعتباطيين، ما إذا كان سيتوقف، ولا خوارزمية تقرر جميع الحقائق المنطقية من الرتبة الأولى.
يفسر فلاسفة الرياضيات هذه النتائج تفسيرات مختلفة. يراها بعضهم تقوّض آمال هيلبرت الشكلانية، بينما يرى آخرون أنها تهذّب المشروع الشكلاني لا تدمّره، إذ تحدد نطاقه بدقة. وتؤكد القراءات الأفلاطونية أن العبارات غير القابلة للبت قد تظل ذات قيم صدق محددة تقع خارج نطاق الصورنة.
المنطقات الترتيبية وتوسيع الأنساق
في كتاب «أنساق المنطق القائمة على الترتيبيات» (Systems of Logic Based on Ordinals)، يستكشف تورينغ المنطقات الترتيبية، ساعياً إلى توسيع الأنساق الصورية تكرارياً بإضافة مسلّمات جديدة مفهرسة بتدوينات ترتيبية. وكان هذا رداً على نظريات عدم الاكتمال لغودل، إذ يبحث في مدى إمكان تقوية الأنساق الصورية بطريقة منهجية. ومع أن هذا المشروع لم يقدم حلاً كاملاً لعدم الاكتمال، فقد أسهم في نظرية البراهين اللاحقة وفي التأمل الفلسفي في تراتبية النظريات الأقوى فأقوى.
الموضوعات المنهجية
تُبرز عدة موضوعات منهجية في كثير من الأحيان:
- التشغيلية: يستبدل تورينغ الأسئلة الغامضة («ما هو الإجراء؟») بنماذج دقيقة (آلات تورينغ).
- القطرنة والإحالة الذاتية: يوظف برهانه على مسألة التوقف تقنيات شبيهة بتقنيات غودل، مبرزاً التطبيق الذاتي بوصفه مصدراً للحد.
- قابلية الخطأ في الاستدلال الآلي والبشري: يؤكد تورينغ أن البشر والآلات على حد سواء عرضة للخطأ والقصور، متحدياً التمايزات الحادة بينهما.
يرى بعض المعلّقين في تورينغ نزعة طبيعانية حذرة، تعامل الاستدلال البشري بوصفه ظاهرة متصلة بالعمليات الآلية، بينما يؤكد آخرون أنه لم يختزل كل جوانب الرياضيات أو الإدراك إلى قواعد صورية.
8. علم الأحياء، وتكوين الأشكال، والظهور
في أوائل الخمسينيات من القرن العشرين، اتجه تورينغ إلى البيولوجيا الرياضية، ساعياً إلى تفسير كيفية نشوء الأنماط البيولوجية المعقدة.
نماذج التفاعل–الانتشار
في كتاب «الأساس الكيميائي لتكوين الأشكال» (The Chemical Basis of Morphogenesis)، يقترح تورينغ أن الأنماط المكانية (مثل علامات فراء الحيوانات أو ترتيبات الأوراق) يمكن أن تنشأ من تفاعل مادتين كيميائيتين أو أكثر، وهي «المورفوجينات»، تتفاعل فيما بينها وتنتشر عبر وسط ما. وباستخدام أنظمة من المعادلات التفاضلية الجزئية، يبيّن أن الحالة المتجانسة يمكن أن تصبح غير مستقرة، مما يفضي إلى بنى دورية مكانياً.
تُوضح أنظمة التفاعل–الانتشار هذه كيف يمكن لقواعد محلية بسيطة أن تولّد نظاماً كلياً. وقد طوّرت أعمال لاحقة في البيولوجيا النظرية وفي الديناميكا اللاخطية مثل هذه النماذج واختبرتها؛ إذ تجد بعض الدراسات التجريبية آليات شبيهة بالتفاعل–الانتشار في الكائنات الحية الحقيقية، بينما تشير دراسات أخرى إلى أن عوامل إضافية (مثل القوى الميكانيكية وشبكات تنظيم الجينات، على سبيل المثال) تؤدي دوراً حاسماً أيضاً.
التأويلات الفلسفية: الظهور والاختزال
لفتت أعمال تورينغ في تكوين الأشكال انتباه فلاسفة مهتمين بالظهور، والاختزالية، ووحدة العلم. ويرى أحد التأويلات أن نماذج التفاعل–الانتشار تبيّن كيف يمكن، من حيث المبدأ، اختزال الأشكال البيولوجية التي تبدو «ذات مستوى أعلى» إلى القوانين الفيزيائية والكيميائية الكامنة. ويؤكد تأويل آخر أن الأنماط الماكروسكوبية تُظهر خصائص جديدة لا يمكن التنبؤ بها بصورة مباشرة من التفاعلات المحلية، وهو ما يدعم تفسيرات معينة للظهور.
كثيراً ما تُقارَن نماذج تورينغ الحاسوبية المنفصلة بمعادلاته المتصلة في تكوين الأشكال. ويرى بعض المعلّقين أن المشروعين يشتركان في موضوع واحد: تفسير الظواهر المعقدة (الحوسبة، والذكاء، والشكل البيولوجي) بعمليات بسيطة ومحلية تحكمها قواعد. ويحذّر آخرون من الإفراط في توسيع هذا التشابه، مشيرين إلى أن تكوين الأشكال ينطوي على ديناميكيات عشوائية، ولاخطية، ومجسّدة فيزيائياً، تختلف عن الحوسبة الرمزية الكلاسيكية.
9. الأبعاد الأخلاقية والسياسية في حياة تورينغ
تداخلت حياة تورينغ مع قضايا أخلاقية وسياسية أوسع، ولا سيما ما يتعلق بسلطة الدولة والسرية وتنظيم الجنسانية.
السرية والأمن والمسؤولية العلمية
عمل تورينغ، بوصفه محللًا تشفيريًا بارزًا خلال الحرب العالمية الثانية، في ظل سرية صارمة. وظلت مساهماته مصنّفة على أنها سرية لعقود، مما أثار تساؤلات حول الاعتراف بالعمل العلمي المنجز داخل المؤسسات الأمنية ومساءلته. ويناقش المؤرخون وعلماء الأخلاق ما إذا كانت هذه السرية، وإن كان يمكن القول إنها ضرورية في زمن الحرب، قد عقّدت التقييم العام للإسهامات العلمية، وحدّت من النقاش الأكاديمي حول الدلالات الأخلاقية للتشفير والمراقبة.
في بدايات الحرب الباردة، قُيّد وصول تورينغ إلى العمل السري بعد إدانته بتهمة «الفجور الفاحش». وتضع بعض التحليلات هذا الأمر ضمن مخاوف أوسع بشأن التجسس و«المخاطر الأمنية»، مبرزةً التوترات بين الحقوق الفردية وسياسات الأمن الوطني.
تجريم المثلية الجنسية والإخصاء الكيميائي
في عام 1952، قُوضي تورينغ بموجب قوانين تجرّم الأفعال الجنسية المثلية للذكور في المملكة المتحدة. ومنح خيارًا بين السجن والعلاج الهرموني، فقبل خضوعه لعلاج بالإستروجين الاصطناعي، الذي يُوصف عادةً بأنه إخصاء كيميائي. ويعدّ علماء الأخلاق والمؤرخون القانونيون هذا مثالًا على تدخل الدولة في الجسد المفروض، والمبرر آنذاك بوصفه «علاجًا» للسلوك المنحرف.
تختلف التفسيرات حول مدى ارتباط هذه الأحداث مباشرةً بوفاته في عام 1954، لكن ثمة إجماعًا واسعًا على أن الاستجابة القانونية والطبية عكست رهابًا مؤسسيًا من المثلية الجنسية. وقد جرى تحليل الاعتذارات العامة والعفو بعد الوفاة بوصفها محاولات للعدالة الإصلاحية، وإن رأى بعض النقاد أن العفو الفردي لا يعالج الأضرار التاريخية الأوسع التي لحقت بكثيرين غيره.
الدور الرمزي في النقاشات المعاصرة
أصبح تورينغ رمزًا في النقاشات المتعلقة بحقوق المثليين والمتحولين جنسيًا ومزدوجي الميل الجنسي وحرية البحث العلمي وأخلاقيات دول الأمن. ويحذّر بعض المعلّقين من أسطرة صورته بوصفه ضحية فحسب، مؤكدين دوره بوصفه فاعلًا في بيئات مؤسسية معقدة. ويرى آخرون أن قصته تبرز كيف يمكن للتحيز الاجتماعي أن يشوّه المؤسسات العلمية، ويعيق البحث، ويُلحق أضرارًا شخصية ومعرفية دائمة.
10. الأثر في الفلسفة والعلوم المعرفية
امتدّ تأثير أفكار تورينغ بشكل متواصل عبر فروع فلسفية متعددة وفي العلوم المعرفية.
فلسفة الرياضيات والمنطق
تُعدّ نموذج آلة تورينغ ونتائج عدم القابلية للحسم محوريةً في الفهم المعاصر للقابلية الحسابية الفعّالة وحدود الأنظمة الصورية. يستخدم الفلاسفة هذه الأدوات لتحليل:
- نطاق الإثبات الصوري في مقابل الحدس الرياضي
- مكانة الخوارزميات بوصفها أدوات معرفية
- العلاقة بين التركيب النحوي (القواعد الصورية) والدلالة (الصدق والمعنى)
تواصل التفسيرات المتنافسة لأطروحة تشرش–تورينغ، سواء بوصفها تحليلاً تصورياً أو فرضية تجريبية أو مبدأً منهجياً، تشكيلَ النقاشات حول طبيعة الحوسبة.
فلسفة العقل والذكاء الاصطناعي
تُرسي مقارنة تورينغ بين الذكاء البشري والذكاء الآلي أساساً لنظرية العقل الحاسوبية ولأشكال متعددة من الوظيفية، التي تعرّف الحالات العقلية بأدوارها السببية لا ببنيتها الفيزيائية. وفي العلوم المعرفية، تعتمد نماذج حلّ المشكلات ومعالجة اللغة والاستدلال، بشكل مباشر أو غير مباشر، على الحوسبة من النمط الذي وضعه تورينغ.
ينتقد أصحاب الاتجاهات المتأثرة بالفينومينولوجيا والإدراك المتجسّد ونظرية الأنظمة الديناميكية أن إطار تورينغ يقلّل من شأن التجسّد والوجدان والتفاعل المستمر مع البيئة. ويرى آخرون أن أعماله الأوسع، ومنها التشكّل الحيوي، تسبق تصورات أكثر تطوراً للحوسبة قائمةً على أسس فيزيائية.
المعلومات والترميز والبنية المعرفية
أسهم عمل تورينغ في فكّ الشيفرات في بلورة مفاهيم ناشئة عن المعلومات والترميز والتكرار، التي أفادت لاحقاً نظرية المعلومات وعلم الأعصاب الحاسوبي. ويرى بعض المنظرين في تصويره للآلات الكونية والبرامج المخزّنة مخططاً أولياً لبُنى معرفية تتفاعل فيها التمثيلات المخزّنة وآليات المعالجة ذات الأغراض العامة.
تعمل هذه المجالات مجتمعةً على جعل تورينغ نقطة أصل تاريخية ومرجعاً مستمراً في النقاشات الراهنة حول ما إذا كان الإدراك حسابياً، وكيف يُختبر الذكاء، وما الحدود التي تنطبق على الاستدلال الآلي.
11. الإرث والأهمية التاريخية
يشمل إرث تورينغ أبعادًا تقنية وفلسفية وثقافية ما زالت تتطور.
مؤسس بارز في علوم الحاسوب
يُذكر تورينغ في علوم الحاسوب كثيرًا إلى جانب تشرش وفون نويمان وآخرين بوصفه أحد مؤسسي هذا الحقل. ويعكس جائزة تورينغ التي تمنحها جمعية الآلات الحاسبة (Association for Computing Machinery) والمُنشأة عام 1966 هذه المكانة. ويشدد بعض المؤرخين على أن علوم الحاسوب الحديثة نشأت من شبكة من المساهمين، ومع ذلك يُنظر على نطاق واسع إلى مفهوم تورينغ للآلة الكونية وتصاميم أجهزة الحاسوب في فترة ما بعد الحرب بوصفها محورية.
نقطة مرجعية فلسفية مستمرة
في الفلسفة، يظل عمل تورينغ نقطة انطلاق معيارية لمناقشات حول:
- طبيعة الحوسبة وحدودها
- إمكانية الذكاء الاصطناعي
- بنية المعرفة الرياضية
- العلاقة بين الصورة والمعلومات والتحقق المادي
تستند المدارس المتنافسة، أي الحوسبيون والمناهضون للحوسبة والناشئيون وغيرهم، كثيرًا في طرح مواقفها إلى نماذج تورينغ وحججه، سواء بوصفها مصدر إلهام أو نقطة اعتراض.
السرديات التاريخية والذاكرة العامة
انتقلت الروايات العامة عن تورينغ من شبه الغموض، ويعود ذلك جزئيًا إلى السرية في زمن الحرب، إلى الاعتراف الواسع من خلال السير الذاتية والأفلام الوثائقية والدراما. وتركز بعض الروايات على اضطهاده المأساوي، بينما تبرز أخرى إبداعه العلمي وفضوله الواسع. ويحذر المؤرخون من أن الروايات الاحتفائية قد تبسط أكثر من اللازم كلاً من شخصية تورينغ والطبيعة الجماعية للعمل العلمي.
تُستحضر قصة تورينغ اليوم في النقاشات حول كيفية تقدير المجتمعات للبحث العلمي وحمايته، وكيف يؤثر التمييز في إنتاج المعرفة، وكيفية إحياء ذكرى الظلم الماضي. وبذلك يمتد إرثه متعدد الأوجه عبر تاريخ المنطق والحوسبة، وتطور المفاهيم الحديثة للعقل، وتأملات أوسع في العلاقة بين الأفراد والمؤسسات والتغير التقني.