الرحلة من ” كذبة أبريل” إلى الحاسوب

د. محمود باكير

(نشر هذا المقال في مجلة العربي- الكويت, العدد696, نوفمبر 2016)

     من الأحداث الطريفة التي تحفل بها أدبيات ما تسمى “كذبة أبريل” Fools (Lies) Day April, التي تقع في الأول من إبريل (نيسان) من كل عام, هو ما نشرته الصحيفة البريطانية Evening Star في آخر يوم من شهر مارس (آذار) عام 1746م من أنه سيقام عرض للحمير في لندن في الأول من أبريل؛ فتجمع بعض الناس في ذلك اليوم, ولم يشاهدوا إلاّ أنفسهم! ويبدو أن هؤلاء لم ينتبهوا إلى تصادف الموعد المذكور مع الأول من أبريل. والسؤال الآن (وهذا هو المهم): ما هو المغزى الرياضي الذي تنطوي عليه هذه الطرفة؟ أي هل يمكن أن تستبطن هذه الطرفة فكرة مهمة؟ أو بمعنى آخر: هل يمكن للرياضيات أن تتصدى لدراسة مثل هذا النوع من الطرف؟ وكيف يمكن مقاربتها؟ وما هي ثمرة كل ذلك؟. لأن الصورة النمطية للرياضيات, عند الناس, هي أنها علم يهتم بالأعداد, والأشكال الهندسية, والحسابات, وما شابه ذلك. وهذه الصورة ناشئة من أن طبيعة الرياضيات المدرسية (وحتى بعض الرياضيات الجامعية في عديد من الاختصاصات التي تتطلب دراستها جزءاً من الرياضيات كمواد مساعدة) تركّز على إجراء “الحسابات”, وما تتطلبه من معادلات, وقوانين, للقيام بذلك. وأما ملامحها الفكرية, بتركيزها على منحى التفكير المفاهيمي, فلا تظهر إلاّ في مراحلها المتقدمة نسبياً, فضلاً عن أنها لا تكون دوماً على نحو ظاهر, أو مباشر.

     وحال أي من الأشخاص المشاركين في هذه الحادثة لا يختلف كثيراً عن ذلك الذي يردّد القول المعروف:”التعميم لغة الحمقى”. لأن ما يقوم به مردّد هذا القول, في واقع الأمر, هو “التعميم”. لأنه عندما يَعُدّ أن “التعميم لغة الحمقى”, فهو بذلك يضع قاعدة عامة مفادها, أن لغة الحمقى هي التعميم. وهو بذلك يعمّم من غير أن يشعر بذلك, وكأن لسان حاله يقول عن نفسه بأنه أحمق. وهذا النوع من الأحداث, أو الأقوال, يتكرر كثيراً دون أن نشعر به.

      يقول الرياضي البريطاني غودفري هاردي G.Hardy (1877-1947):”إنّ الرياضيات البحتة هي دراسة كيف يجب أن يفكر الإنسان كي يحصل على نتائج صحيحة، وهي لا تأخذ في الحسبان الضعف الإنساني”. كما يقول الرياضي البريطاني المعاصر إيان ستيوارت Ian Stewart: “إنّ الرياضيات أكثر طريقة فعالة, وموثوقة, نعرفها حتى الآن من أجل فهم ما نراه حولنا”. ولهذا من الممكن أن تضطلع الرياضيات بمهمة ترييض (نسبة إلى الرياضيات) عديد من القضايا الإنسانية البسيطة, أو المعقدة على حد سواء. وما نعنيه – ببساطة – هو استخدام الرياضيات، في التعبير عن بعض المسائل الفكرية، أو اللغوية الشائكة, أو غيرها, بغية تحليلها, لفهم طبيعتها, واستنباط حلولها المثلى, إن أمكن ذلك. وفضلاً عن كل ما تقدم, فإنّ المنهج الرياضي في التفكير هو اقتصادي في طبيعته، لأن تعريف الرياضيات, وفق رأي الرياضي والفيلسوف الفرنسي هنري بوانكاريه H.Poincare (1854-1912), هي :”فن إعطاء الاسم ذاته لأشياء مختلفة”. وهذا هو هدف العلم بعينه، إذ أن العلم، كما يصفه بعضهم، اقتصاد في التفكير.

     ومن الناحية الصورية (الشكلية) (بالمعنى الاصطلاحي للكلمة), فإن ثمة تطابقاً بين الطرفة والقول, بغض النظر عن اختلاف السياقين. أو بصيغة أخرى, فإن “العلاقة” التي تربط أطراف كل منهما, على حدة, هي ذاتها في الحالتين. إضافة إلى ذلك, فإن كلاً منهما تعوزه “الأناقة المنطقية”, لما فيهما من تناقض في بنيتيهما. وأي من هاتين الحادثتين تعبير, غير مباشر, عما يسمى في الأدبيات الرياضية “محيّرة الكذاب” Liar Paradox, التي تعود إلى القرن الرابع قبل الميلاد, حيث كان يقول الفيلسوف الإغريقي ابيوليدس Eubulides: “إن العبارة التي أقولها الآن كاذبة”. وبإمعان النظر في هذا القول نجد أنه لا يمكن الإنباء بصدقه, أو بكذبه, لما ينطوي عليه من تناقض. وربما كانت أقدم محيّرة تم تناقلها هي ما طرحه إبيمندس Epimenides (فيلسوف من جزيرة كريت عاش في القرن السادس قبل الميلاد), حيث يقول :”إن جميع الكريتيين دائماً يكذبون”. كذلك نجد أن هذا القول ينطوي على تناقض (محيرة), لأن قائله كريتي, فلا نستطيع البت بصحة القول, أو بخطئه. ولمزيد من التوضيح نستعرض القول الذي يردّده بعضهم من أن: “حلاق القرية يحلق لجميع رجال القرية الذين لا يحلقون لأنفسهم”. كذلك لا نستطيع تبيان صحة القول, أو خطئه؛ لأنه إذا كان الحلاق لا يحلق لنفسه كأحد أفراد القرية, فإنه كحلاق للقرية سيحلق لنفسه, وهذا يناقض القول. وإذا كان يحلق لنفسه, كبعض أفراد القرية, فهذا يناقض القول أيضاً لكونه يحلق للذين لا يحلقون لأنفسهم. وصدى ذلك كان يتردّد في أهزوجة شعبية يرددها أطفال غلاسكو في اسكتلاندا: “من حلق للحلاق؟… الحلاق… الحلاق…من حلق للحلاق؟ الحلاق حلق لنفسه”.

      وخلاصة القول, نجد أنفسنا في كل الأمثلة الواردة آنفاً في حالة صدام مع قانون “عدم التناقض”،Law of Non-contradiction، وهو أحد قوانين الفكر الأساسية، أو ما يطلق عليه أحياناً “مبدأ عدم التناقض”، وهو أحد المبادئ العامة للمنطق الاستدلالي. وهذه المبادئ هي القواعد التي يجب أن يلتزمها التفكير في استدلاله، كي يتجنب الوقوع في الخطأ. و ينص هذا القانون على أنّ: “القضية ق ليست لا ق”، أو بعبارة أخرى, “القضية ق ليست نفي ق”. أي لا يمكن أن تكون القضية ق ونفيها في آن واحد. ويعني هذا أنّ النقيضين لا يصدقان معاً. فإذا أثبتنا صحة قضية ما فلا يمكن أن ننفيها في الوقت نفسه. ومن الجدير بالذكر أن المناطقة يميزون بين المتناقضين, والضدين. فالنقيض نفي للقضية، في حين أنّ الضد مقابلها. فإذا قلنا: “كل كريتي يكذب”، كان نفيها “ليس صحيحاً أنّ كل كريتي يكذب”؛ بمعنى أنّ ثمّة كريتيين لا يكذبون. في حين أنّ ضدها هو “لا يوجد كريتي يكذب”.

     وصفوة الكلام أنّه لا يمكن تحقق الجملة, وعدم تحققها, على نحو متزامن, وفق ما يقتضيه قانون عــــدم التناقض. والخيار الوحيد الذي لامناص منه  –  من وجهة نظر المنطــــق – هو أنّ تلك العبارات, أو “الجمل”, ليست جملاً. وإذا أمعنا النظر فيها نجد أنّ الخلل يكمن – باختصار – في أنّها تتسم بما يسمى “النسبة الذاتية” Self-reference. فالقائل يصرِّح أنّه يكذب، أي وضع نفسه ضمن عداد الكذابين، ونحن نتساءل عن صدقه وكذبه؛ والكريتي يتحدث عن الكريتيين وهو منهم؛ والحلاق يحلق لجميع أفراد القرية وهو فرد منهم؛ وندين التعميم من خلال وضع تعميم. وإذا توخينا الدقة, فإنه لا يصح لأي مجموعة من الأشياء، أن تتضمن عناصر، لا يمكن تعريفها إلا اعتماداً على المجموعة نفسها، أو أن تتضمن عناصر تستخدم هذه المجموعة, أو تفرضها مسبقاً. ويُعتقد بأن أول من أشار إلى طبيعة هذا الخلل في أدبيات المنطق هو الرياضي بوانكاريه. هذا ويشخّص بعض الرياضيين المحيّرات المنطقية, والرياضية, على أنّها حقيقة تقف على رأسها كي تجذب الانتباه إليها.

     هذا وبعد معرفة سبب الخلل نستطيع توليد عديد من الأمثلة (المحيّرات) على ذلك النحو. لنأخذ، مثلاً، العبارة المعروفة “لكل قاعدة استثناء”، نجد أنّ هذه الجملة نفسها تسن قاعدة. فإذا طبّقناها – كقاعدة – على نفسها, فيجب أن يكون لها استثناء. ومن ثمّ لا يصح أن نعمّم ونستخدم كلمة “لكل” في هذه القاعدة (الجملة)؛ لذلك فنحن أمام محيّرة أخرى من النمط السابق نفسه. وسبب ذلك هو أنّ القول يتحدث عن القواعد, وهو “قاعدة” بحد ذاته.

      وهذا النوع من الجمل يسمى في المنطق جملاً ذاتية المرجعية (النسبة) self-referentional sentences , أي أنها عبارات تُنسب لنفسها. وهي تثير عديداً من القضايا الإشكالية, وخاصة في المجال السياسي. فمثلاً – على سبيل الذكر لا الحصر – عندما تكرّر إسرائيل قولها للعرب:”إنّ كل شيء قابل للتفاوض، ولا يحق لأي طرف أن يضع شروطاً مسبقة للتفاوض”؛ فهي بذلك أول من خرق هذه القاعدة. فقد وضعت شرطاً مسبقاً للتفاوض, وهو أنّه: لا يحق لأي طرف أن يضع شرطاً مسبقاً، على الرغم من أنّها أحد الأطراف. وهي بذلك قد أوقعت نفسها في مطب التناقض الذاتي. كذلك عندما صرّحت رئيسة وزراء بريطانيا السابقة مارغريت ثاتشر بمناسبة إحدى القضايا السياسية الخلافية في الثمانينيات من القرن المنصرم من أنها :”مطلقاً لا تقول مطلقاً” (I never say never). فهي لم تشعر بأن الجملة ذاتها تناقض نفسها؛ فقد استخدمت كلمة “مطلقاً” في نفي أنها لن تستخدم قط كلمة مطلقاً. ومن نفس الروح نستطيع أن نقول إنه يجب أن لا نفاوض على “كيفية التفاوض”, وإلاّ سنتحول إلى حالة الجمل ذاتية المرجعية. أو بصيغة أخرى, ستكون هذه عندها ذات سيرورة  غير منتهية؛ لأن هذا يقتضي بأن نفاوض على كيف يجب أن نفاوض على كيف  نفاوض, وهذا لا نهاية له. s

     والمحيّرة (المعضلة) الكبرى في هذا المجال ما ورد في المادة  108 من ميثاق الأمم المتحدة, التي تُعَد كلمة السر في سبب غياب الديمقراطية الدولية(العالمية)على المسرح العالمي. فقد ورد أنه كي يتم إلغاء حق النقض (veto), في التصويت, للأعضاء الدائمين في مجلس الأمن يجب الحصول عل موافقة ثلثي الأعضاء, ومن ضمنهم أصحاب هذا الحق. حيث تنص المادة المذكورة على أن: “التعديلات التي تدخل على هذا الميثاق تسري على جميع أعضاء الأمم المتحدة إذا صدرت بموافقة ثلثي أعضاء الجمعية العامة وصدق عليها ثلثا أعضاء الأمم المتحدة ومن بينهم جميع أعضاء مجلس الأمن, وفقاً للأوضاع الدستورية في كل دولة”. (انظر: موقع الأمم المتحددة www.un.org). أي أن موافقة الثلثين شرط لازم للتعديل, وموافقة أعضاء مجلس الأمن (ومن ضمنهم الأعضاء الدائمين) هي الشرط الكافي. وكأن لسان حالهم يقول: بأنهم يملكون حق النقض على تعديل أي شيء, ومن ضمنه تمتعهم بحق النقض. أي أن هذا الحق أبدي غير قابل للتغيير إلا بموافقتهم. وهذا يذكّرنا بأحد السلاطين القدماء عندما أصدر “فرماناً” (قراراً سلطانياً) يقول فيه: بأنه أذكي شخص في العالم. وعندما سئل عن سبب ذكائه, فأجاب لأن هناك فرماناً ينص على ذلك!   

     ومن الجدير بالذكر أن هذه الجمل (ذاتية المرجعية) يمكن أن تكون مادة للتهكم. فمن المعروف أن الفيلسوف الإغريقي سقراط (ولد نحو470 ق. م) اشتهر بين الناس بتهكمه, وقد نقل عنه الفيلسوف والمنطقي الإنكليزي برتراند رسل B.Russell( 1872-1970 )في كتابه “حكمة الغرب” قوله: “إنه لا يعرف سوى أنه لا يعرف شيئاً”, فإنه يكون في ذلك متهكماً (أو مهوناً من شأن نفسه). وهذا هو حال القول التهكمي المعروف “بأن العرب اتفقوا على أن لا يتفقوا”.

     فضلاً عن ذلك, فمن هذه الأفكار كان يمتح المنطقي الأمريكي المعاصر رايموند سمليان Raymond Smullyan مادة كتابه المعروف في الألغاز المنطقية المُعَنون:”ما هو اسم هذا الكتاب؟” What is The Name of This Book?. وختم كتابه بقوله: “أوه, شيء أخير قبل أن أنسى: ما هو اسم هذا الكتاب؟ حسناً, اسم هذا الكتاب هو: “ما هو اسم هذا الكتاب؟ “”.

     هذا وقد كانت أدبيات “محيرة الكذاب” الإرهاص الذي أدى إلى ولادة نظرية (مبرهنتي اللاتمام Incompleteness Theorems) المنطقي النمساوي كورت غودل Kurt Godel (1906- 1978) في الفترة (1930-1931) التي كانت جزءاً من بحثه للدكتوراه في جامعة فيينا؛ و التي كانت خلاصتها, وفق ما يورده جون ماكليش في كتابه “العدد..من الحضارات القديمة حتى عصر الكومبيوتر” إن: ” الرياضيات, كعلم, لا يمكن أن يكون خالياً تماماً من التناقضات, وأن يكون كاملاً تماماً”. وقد أتت هذه النظرية بعد ما طرح برتراند رسل تناقضه المعروف عام 1902بُعيَد ولادة نظرية المجموعات على يد الرياضي جورج كانتور G.Cantor(1845-1918) (ينحدر أصله من الدانمارك, وولد في روسيا, وقضى معظم حياته في ألمانيا), التي أثارت كثيراً من الجدل, والانقسام, بين معاصريه من الرياضيين. حيث كان تناقضه تعبيراً عن الصيغة الرياضية لمحيرة الكذاب.

     هذا ويصعب استعراض النتائج العلمية, والفكرية, لهذا الفتح العلمي الكبير في هذا المقال. بيد أنه من أهمها المقالة التي كتبها الرياضي والمنطقي البريطاني آلان تورينك Alan Turing (1912-1954) عام 1936 التي كانت نتيجة, أو إعادة صياغة, لنظرية غودل. يضيف ماكليش:” ولم يكن ما وجده تورينك مثيراً للاهتمام على نحو خارق للعادة إلا ربما لعلماء الرياضيات”. وقد تُوّج كل ذلك بما أضحى يسمى “آلة تورينك” Turing Machine في أدبيات علوم الحاسوب Computer Science, وفي فلسفة العقل. وهي ليست آلة بالمعنى الحرفي للكلمة, بل هي تصور رياضي مجرد, وفق ما يقول جون ر.سيرل في كتابه “فلسفة العقل..مدخل موجز”. و يقول ماكليش عن هذه الآلة:”إن الصفة الأساسية التي تتصف بها آلة تورينك هي أنها لا تعالج فقط الأعداد, ولكن يمكن توسيع عملها ليشمل كل ما يمكن للبشر أن يفعلوه”. هذا وقد تابع تورينك عمله فصمم أول حاسوب ألكتروني عندما كان يعمل في مانشستر وسميت هذه الآلة Ace, وذلك في نهاية الأربعينيات من القرن المنصرم.  ويكفي الإشارة إلى أهمية هذه الآلة هو أن الحاسوب عبارة عن آلة تورينغ.

     هذا و من المفيد الإشارة إلى أن علماء الرياضيات, عادة, لا يُفصحون عن الأسباب التي ألهمتهم بأعمالهم الفذة, ومع ذلك, فقد قال غودل مرة للفيلسوف الأمريكي(الصيني الأصل) هاو وانغ Hao Wang(1921-1995): “إن ما ألهمه لنظريته هو إدراكه أنه لا يمكن وصف “الحقيقة” على نحو منته”.

     ومن الجير بالذكر أن “محيرة الكذاب” البسيطة (أحادية البعد) الواردة آنفاً, والمحيرة ثنائية البعد( كما في المحيرة التي طرحها الرياضي البريطاني جورج بول Goerge Boole (1815- 1864 ) التالية: “سقراط: ما سوف يقوله أفلاطون الآن خاطئ. أفلاطون: ما قاله سقراط قبل قليل صحيح”), وغيرها, أضحت موضوع دراسي في عديد من الأقسام العلمية في بعض الجامعات المتقدمة المعنية بعلم الدلالة Semantics(فرع من اللسانيات والمنطق يهتم بدراسة المعنى في اللغات). ولها تطبيقات عملية, منها دراسة بعض تقارير العملاء في وكالة المخابرات المركزية CIA. ومن أبرز هؤلاء الباحثين الأمريكي المعاصر باتريك غريم  Patrick Grim(الأستاذ في جامعة State University of New York at Stony Brook)الذي نشر عدة أبحاث حول هذا الموضوع.

      وفي الختام نطرح المحيّرة التالية: إذا أشار أحدهم إلى أمر ما بأنه بديهي, ولا يحتاج للشرح, وسألناه : ما معنى “بديهي”؟ أو بصياغة أخرى: هل معنى كلمة “بديهي” بديهي؟ هذا و تصعب الإجابة على هذا السؤال لأنه تنطبق عليه الحالة السابقة من “ذاتية المرجع”.

** لمزيد من المعلومات انظر للكاتب: “هل نظرية المجموعات في خطر؟”, المجلة الثقافية(الجامعة الأردنية),العدد34, 1995,الصفحة268″, و “دراسات لغوية من منظور رياضي”, منشورات جامعة دمشق, 2015, (الكلام بين الخبر والإنشاء من منظور رياضي- منطقي), الصفحة 73, و هل معنى البديهية بديهي؟ الصفحة87.