كيف سيؤدي التعقيد الحسابي إلى ثورة في الفلسفة

منذ الثلاثينيات من القرن الماضي ، أثرت نظرية الحساب بعمق في التفكير الفلسفي حول موضوعات مثل نظرية العقل وطبيعة المعرفة الرياضية واحتمال الذكاء الآلي. في الواقع ، من الصعب التفكير في فكرة كان لها تأثير أكبر على الفلسفة.

ومع ذلك ، هناك ثورة فلسفية أكبر تنتظر في الأجنحة. تعتبر نظرية الحوسبة منو فلسفيًا مقارنة بإمكانيات نظرية أخرى تهيمن حاليًا على التفكير في الحساب.

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



تهتم نظرية التعقيد الحسابي بمسألة كيفية الموارد اللازمة لحل مقياس المشكلة مع بعض قياس حجم المشكلة ، نسميها ن. هناك إجابتان في الأساس. إما أن تكون المشكلة بطيئة بشكل معقول ، مثل n أو n ^ 2 أو بعض وظائف كثيرة الحدود الأخرى لـ n. أو أنه يتوسع بسرعة غير معقولة ، مثل 2 ^ n ، 10000 ^ n أو بعض الدوال الأسية الأخرى لـ n.

لعبة عدد الأولية والمركبة

لذلك ، بينما يمكن لنظرية الحوسبة أن تخبرنا ما إذا كان شيء ما قابلاً للحساب أم لا ، تخبرنا نظرية التعقيد الحسابي ما إذا كان يمكن تحقيقه في بضع ثوانٍ أو ما إذا كان سيستغرق وقتًا أطول من عمر الكون.

هذا مهم للغاية. كما يقول آرونسون: فكر ، على سبيل المثال ، في الفرق بين قراءة كتاب من 400 صفحة وقراءة كل كتاب ممكن من هذا القبيل ، أو بين كتابة عدد من ألف رقم والعد حتى هذا الرقم.

ويتابع ليقول إنه من السهل أن نتخيل أنه بمجرد أن نعرف ما إذا كان شيء ما قابلاً للحساب أم لا ، فإن مشكلة المدة التي يستغرقها الأمر هي مجرد مشكلة هندسية وليست فلسفة. لكنه يواصل بعد ذلك إظهار كيف يمكن للأفكار الكامنة وراء التعقيد الحسابي أن توسع التفكير الفلسفي في العديد من المجالات.

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

تتمثل إحدى طرق قياس الاختلاف بين الإنسان والكمبيوتر في اختبار تورينج. الفكرة هي أنه إذا لم نتمكن من التمييز بين الردود التي قدمها الكمبيوتر والإنسان ، فلا يوجد فرق قابل للقياس.

لكن تخيل جهاز كمبيوتر يسجل جميع المحادثات التي يسمعها بين البشر. بمرور الوقت ، سيُنشئ هذا الكمبيوتر قاعدة بيانات كبيرة يمكنه استخدامها لإجراء محادثة. إذا تم طرح سؤال عليه ، فإنه يبحث عن السؤال في قاعدة بياناته ويعيد إنتاج الإجابة التي قدمها إنسان حقيقي.

ما هي التقنيات الجديدة

بهذه الطريقة ، يمكن لجهاز الكمبيوتر الذي يحتوي على جدول بحث كبير بما يكفي إجراء محادثة لا يمكن تمييزها بشكل أساسي عن تلك التي قد يجريها البشر

لذا ، إذا كانت هناك عقبة أساسية أمام أجهزة الكمبيوتر لاجتياز اختبار تورينج ، فلا يمكن العثور عليها في نظرية الحوسبة ، كما يقول آرونسون.

بدلاً من ذلك ، فإن الطريقة المثمرة للمضي قدمًا هي التفكير في التعقيد الحسابي للمشكلة. ويشير إلى أنه بينما يعمل نهج قاعدة البيانات (أو جدول البحث) ، فإنه يتطلب موارد حسابية تنمو بشكل كبير مع طول المحادثة.

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

من خلال هذه الحجة ، فإن الاختلاف بين البشر والآلات هو في الأساس اختلاف حسابي.

هذا خط فكري جديد مثير للاهتمام وواحد فقط من العديد من الأفكار التي يستكشفها آرونسون بالتفصيل في هذا المقال.

بالطبع ، فهو يعترف بحدود نظرية التعقيد الحسابي. العديد من المبادئ الأساسية للنظرية ، مثل P ≠ NP ، غير مثبتة ؛ والعديد من الأفكار تنطبق فقط على آلات تورينج المتسلسلة والحتمية ، وليس على النوع الفوضوي من الحوسبة التي تحدث في الطبيعة.

لكنه يقول إن هذه الانتقادات لا تسمح للفلاسفة (أو لأي شخص آخر) برفض حجج نظرية التعقيد بشكل تعسفي. في الواقع ، يثير العديد من هذه الانتقادات أسئلة فلسفية مثيرة للاهتمام في حد ذاتها.

تعد نظرية التعقيد الحسابي مجالًا جديدًا نسبيًا يعتمد على التقدم المحرز في السبعينيات والثمانينيات والتسعينيات. وهذا هو السبب في أن التأثيرات الأكبر لم تأت بعد.

يوجهنا آرونسون في اتجاه البعض منهم في مقال مثير للفكر وممتع ومقروء للغاية. إذا كان لديك ساعة أو ساعتان ، فهذا يستحق القراءة.

أوبناي الغميضة

المرجع: arxiv.org/abs/1108.1791 : لماذا يجب على الفلاسفة الاهتمام بالتعقيد الحسابي

يخفي

التقنيات الفعلية

فئة

غير مصنف

تكنولوجيا

التكنولوجيا الحيوية

سياسة التكنولوجيا

تغير المناخ

البشر والتكنولوجيا

وادي السيليكون

الحوسبة

مجلة Mit News

الذكاء الاصطناعي

الفراغ

المدن الذكية

بلوكشين

قصة مميزة

الملف الشخصي للخريجين

اتصال الخريجين

ميزة أخبار معهد ماساتشوستس للتكنولوجيا

1865

وجهة نظري

77 Mass Ave

قابل المؤلف

ملامح في الكرم

شوهد في الحرم الجامعي

خطابات الخريجين

أخبار

انتخابات 2020

فهرس With

تحت القبه

خرطوم الحريق

مؤشر With

قصص لانهائية

مشروع تكنولوجيا الوباء

من الرئيس

غلاف القصه

معرض الصور

موصى به