الحل الفعلي لمفارقة الانعكاسية(*****)
إن حل مفارقة الانعكاسية الذي اقترحه بولزانو، يتضح تماما بفضل التطورات اللاحقة لنظرية المجموعات بصياغتها الحديثة: يجب التمييز في المجموعات بين العلاقة «محتوى في» والعلاقة «أصغر قدا(11) (حجما) من.» فمثلا إن مجموعة مربعات الأعداد الطبيعية، محتواة في مجموعة الأعداد الطبيعية؛ لكننا إذا نظرنا جملة إلى كل واحدة من المجموعتين نجد أن لهما القدّ نفسه. وصحيح أنه إذا كانت المجموعة A محتواة في مجموعة B يكون قدّ A أصغر من قدّ B أو يساويه؛ لكن قدّيهما يمكن أن يتساويا.
يستخدم الرياضياتيون بدلا من «قدّ»، المصطلح التقني: «رئيسي» cardinal(4). لكن هذا الأمر ليس ذا شأن، فالفكرة الوحيدة لحل المفارقة هي التسليم بأن المجموعة A يمكن أن تكون محتواة تماما في المجموعة B ومع ذلك يكون للمجموعتين A وB القدّ نفسه (أو رئيسي واحد).
لكن، ألا يؤدي هذا التسليم إلى تناقضات تجعل الرياضيات غير متسقة، ومن ثم غير مقبولة؟ إنه تساؤل وجيه فعلا، ولم يكن من السهل الإجابة عنه، فعلى ما يبدو توقفت جسارة بولزانو عند مقترحه ولم يحاول مواصلة دراسة ما يترتب عليها من انعكاسات خطيرة على المفاهيم الرياضياتية... وهكذا قام آخرون بهذه المهمة. كان استكشاف جبر التقابلات(12) في الرياضيات طويلا وملتويا، وقد دشن بولزانو بمقترحه مرحلة اضطرابات خطيرة وغاصة بالمجادلات الحادة واللاذعة أحيانا. وكان العمل الرئيسي قد قام به الرياضياتي الألماني <G. كنتور> (1845-1918) الذي اكتشف العديد من خواص قدود(13) المجموعات اللانهائية التي بدت له في معظم الأحيان قاب قوسين أو أدنى من المفارقات. لقد ميّز كنتور بين قدود المجموعات اللانهائية. فلو كان الأمر غير ذلك، أي لو كان بالإمكان إقامة تقابل بين كل مجموعتين لانهائيتين، لفقدت بوضوح نظرية قدود المجموعات اللانهائية أهميتها. فقد لاحظ كنتور عام 1874 أنه من المستحيل إيجاد تقابل بين مجموعة الأعداد الحقيقية ومجموعة الأعداد الطبيعية: إن قد المجموعة الأولى أكبر تماما من قدّ المجموعة الثانية. لقد كان الاستدلال القطري(14) الذي اكتشفه كنتور بتبسيط استدلاله الذي توصل إليه عام 1874، بمثابة النموذج الذي اتبعه الرياضياتيون للبرهان على الاستحالة في مبرهنة(15) ما. ففي مثل هذه المبرهنة نفترض أن ما نريد البرهان عليه خاطئ (هنا، نفترض وجود تقابل بين مجموعة الأعداد الطبيعية N ومجموعة الأعداد الحقيقية R) ثم نركز اهتمامنا على قطر الجدول الذي يعرّفه التقابل [يقابل الرقم i العددُ الحقيقي f(i)] لاستخلاص تناقض.
والأكثر من ذلك أن كنتور بيّن باستخدام الاستدلال القطري نفسه وجود عدد لانهائي من القدود الممكنة للمجموعات اللانهائية. وبالضبط، لا يمكن أبدا إيجاد تقابل بين مجموعة E ومجموعة أجزائها التي نرمز إليها بP(E). وهكذا لا يمكن إيجاد تقابل بين P(N) (أي مجموعة أجزاء N التي تضم مجموعة الأعداد الزوجية ومجموعة الأعداد الفردية، ومجموعة الأعداد الأولية، إلخ.) وبين N (مجموعة الأعداد الطبيعية). وبالمثل، لا يمكن إيجاد تقابل بين المجموعة
P(P (N ) (أي مجموعة أجزاء المجموعة P(N)) والمجموعة P(N)؛ إلخ...
تعتبر هذه النتائج مرحلة أولى في التقدم نحو إدراك اللانهاية الفعلية والبرهان على أن ما نكتشفه بالغ الأهمية؛ فهذه النتائج تكوّن تراتبية(18) للكيانات اللانهائية. ومع ذلك لم تكن النتائج الأولى هذه مقبولة لدى الجميع. وقد تميز الرياضياتي الشهير <L. كرونكر> بحدة انتقاداته لنتائج كنتور وعرقل نشر بحث له في إحدى أشهر مجلات الرياضيات Le Journal de Crelle؛ مما جعل كنتور يمتنع فيما بعد عن نشر أبحاثه في هذه المجلة(19).
مفارقة برنارد رَسِلْ(******)
لتكن E مجموعة العناصر التي لا تنتمي إلى ذاتها:} E = (x ; ÏX x . فإذا كان E Ï E، فمن التعريف يكون لدينا E Ï E؛ كما أنه إذا كان E Ï E، فمن التعريف يكون لدينا E Î E: هذا تناقض! إن مفارقة مجموعة المجموعات التي لا تحتوي ذاتها (مفارقة برنار رسل) صارت اليوم قضية محلولة في نظرية المجموعات. وقد تم ذلك على النحو التالي:
تُعرّف الطرائق التي تسمح بتكوين مجموعات جديدة انطلاقا من مجموعات موجودة (اتحاد المجموعات، مجموعة المجموعات الجزئية لمجموعة، الخ.)، ولا يكفي اعتبار خاصة (مثل x Ï x) لكي نؤكد وجود مجموعة تضم كل الكائنات التي تحقق هذه الخاصية. فالرمز} E = {x ; X Ï x لا يشير بالضرورة إلى كائن تتقبله نظرية المجموعات بشكل يسمح لنا بإجراء الاستدلالات الواردة في المفارقة: إذا أردنا استخدام هذا الكائن فيجب إثبات أنه يمثل مجموعة وذلك باستخدام القواعد التي تحددها النظرية. وهذا غير ممكن من أجل:} E ={x ; X Ï x. وهكذا نجد في نظرية زرمولو / فرنكل (التي نرمز إليها بِZF) العرض السليم للاستدلال السابق، ألا وهو:
إذا كان E Î E. فمن التعريف يكون لدينا E Ï E، وإذا كان E Ï E، فمن التعريف أيضا يكون لدينا E Î E. هذا تناقض؛ ومن ثم لا توجد مجموعة معرّفة بالعلاقة} E = {x ; X Ï x.
وبالمثل، لا توجد مجموعة تضم جميع المجموعات، ولا مجموعة جميع الرئيسيات (الأعداد الرئيسية)، ولا مجموعة جميع الأعداد الترتيبية. لقد نجح هذا الحل المعهود لمفارقات نظرية المجموعات، هذه المفارقات التي ظهرت في مطلع القرن العشرين، فلم تبرز حتى الآن مفارقة جديدة في النظرية ZF.
كَنتور يكتشف نتيجة مدهشة(*******)
كان بحث كَنتور الذي أخّر كرونكر نشره يتضمن نتيجة مدهشة، ومع أنها لا تشكل مفارقة إلا أنها طرحت حينذاك حالة غير مرضية منطقيا. وفي مسعاه المستمر لتصنيف اللانهايات، اكتشف كنتور باستغراب أن قَدّ مجموعة نقاط سطح (مربع، مثلا) يساوي قدّ مجموعة نقاط قطعة مستقيمة. فبأخذ قدود المجموعات اللانهائية في الاعتبار، نجد أن قدّي المستقيم والمستوي (وحتى الفضاءات من n بُعدا) متطابقان. وقد كتب كنتور إلى ديدكند بهذا الخصوص مسرّا: «إني أرى هذا، لكنني لا أصدقه.»
وتبنى كنتور موقف المغامر الذي تقبّل هذه الحقيقة الجديدة من دون الإعلان عن أنها مفارقة وذلك على الرغم من الإرباك الذي نتج منها. وبما أن استدلالات وحسابات كنتور، التي أجراها بعناية فائقة، لم تُظهر أية تناقضات فعلية، فلا بد أن تكون لنا الجرأة الكافية لتقبّل ما أفرزته مداركنا في مجال الاستدلالات، ومواصلة استكشاف هذا السبيل على الرغم من كل ما تحدثه هذه الحقيقة الجديدة للانهاية الفعلية من إرباك.
والواقع أن بعض التعارضات فيما أتى به كنتور في هذا الشأن جعلته يبدو غير مقبول تماما في مطلع القرن العشرين. ولم تمض بضع سنوات حتى أزيلت هذه التعارضات؛ وما بدا للبعض أنه فشل لنظرية اللانهاية الفعلية في الرياضيات اتضح في صيرورة الأمر أنه كان فرصة سانحة لهذه النظرية لتبني نفسها بناء مرصوصا لم تهتز قواعده حتى الآن.
فرضية المتصل(********)
لنعد إلى كنتور الذي طوّر، بوصفه مُنظرا أمينا، حسابا خاصا باللانهاية، فقد وسّع القواعد الحسابية المطبقة على الأعداد الطبيعية في قياس المنتهي(20)، لتطبق على الأعداد التي يستخدمها لقياس اللامنتهي(21). وكان عليه هنا التمييز ين نوعين من الأعداد اللامنتهية، وهما الأعداد الرئيسية (الرئيسيات)(22) والأعداد الترتيبية(23). وتمثل الرئيسيات قدود المجموعات عندما نعتبرها من دون مراعاة ترتيب عناصرها. وقد أدخل كَنتور عام 1893 الرمز oא للإشارة إلى رئيسي مجموعة الأعداد الطبيعية، وكذا الرمز oא2 للإشارة إلى رئيسي(24) المتصل (أي مجموعة الأعداد الحقيقية) الذي لا فرق بينه وبين رئيسي المجموعة P(N) المكونة من المجموعات الجزئية لمجموعة الأعداد الطبيعية N. واستخدم الرمز oא2 2 للدلالة على رئيسي المجموعة P(P(N))، إلخ...
أما النوع الآخر للأعداد اللامنتهية، أي الأعداد الترتيبية، التي تقيس قدّ المجموعات عندما تكون عناصرها مرتبة ترتيبا جيدا (أي ترتيب يجعل لكل مجموعة جزئية من المجموعة المفروضة عنصرا أصغريا). وبعد الأعداد الترتيبية المنتهية، التي نعتبرها تمثل الأعداد الطبيعية، هناك ω ، وهو أول عدد مُوغِل transfini، ثم يأتي +1ω ويليه +2ω ، إلخ. ونحصل عليها جميعا بإضافة الوحدات الواحدة تلو الأخرى إلى ω. وبعيدا عن ذلك نجد ω2 ، ثم +1ω2، ... كما نجد ω1 ، ω2 ، إلخ...
في ذلك الوقت اكتشف كنتور مسألة عويصة لم نتمكن حتى الآن من حلها حلا كاملا: إنها فرضية المتصل.
إن رئيسي مجموعة الأعداد الحقيقية R (المسماة «المتصل») والتي تقاس ب oא2، أكبر تماما من رئيسي الأعداد الطبيعية (المسماة اللامنتهي القابل للعد والتي تُقاس كما أسلفنا، ب oא). لكن، هل هناك رئيسيات أخرى بينهما؟ تقول فرضية المتصل بأنه لا وجود لرئيسيات أخرى بين oא و א2. وبما أن كنتور رمز ب1א لأصغر الرئيسيات الأكبر من 0א ، فإن فرضية المتصل تنص ببساطة على أن oא=0א2. أما فرضية المتصل المعممة، فتنص على المساواة 1 +sא = sא2 من أجل كل S.
يمكن معالجة حالتين، إحداهما: ليس هناك قدود لانهائية بين قدّ N وقدّ R، وهي قضية تكافئ القول بأن «كل مجموعة لانهائية من R يمكن أن نجد لها تقابلا مع N أو مع R.» وهذا النص بسيط ويبدو أنه سليم جدا. أما الحالة الأخرى فتنص على وجود قدود لانهائية بين N وR. وفي هذه الحالة ينبغي معرفة كيفية الحصول على هذه القدود وعلى عددها. ولا يمكن لأحد أن يدّعي أن لديه فكرة واضحة تماما حول الأعداد الحقيقية ما لم تتوافر لديه إجابة دقيقة عن مسألة فرضية المتصل. وقد بذل كنتور جهودا مضنية من أجل التوصل إلى حل هذه المسألة، لكنه لم يفلح في ذلك مع أنه اعتقد عدة مرات بأنه حقق مسعاه.
مفارقة المرجع الذاتي واللانهاية(*********)
نعرف جميعا مفارقة الكذّاب: إذا قال شخص «أنا كاذب». فإذا كان ما يقوله صحيحا، فهو يكذب، وعليه فإن ما يقوله غير صحيح؛ وهذا باطل. وإذا كان ما يقوله غير صحيح، فهو صادق، وعليه فإن ما يقوله صحيح؛ وهذا باطل أيضا. إننا نحل هذه المفارقة بالقول إنه لا يجوز استخدام جمل تكون مرجعا لذاتها. ولعل الأمر ليس بسيطا إلى هذا الحد لأنه تم حديثا اكتشاف أن إدخال اللانهاية يسمح بتفادي استخدام جمل تكون مرجعا لذاتها مع الحفاظ على حالة تكتنفها مفارقة:
هب أن عددا لانهائيا من الأشخاص اصطفوا الواحد وراء الآخر s(0), s(1), ..., s(n),…
ثم يقول كل واحد منهم «هناك على الأقل شخص كاذب ورائي».
فمن هو صادق؟ من هو كاذب؟
حسب الفرض، نلاحظ أن:
• وراء كل صادق كاذب واحد على الأقل؛
• إذا كذب أحدهم، فكل من ورائه صادقون.
إذا رمزنا بِ M للأشخاص الكاذبين وبـ H للأشخاص الصادقين، نستطيع عندئذ صياغة القاعدتين السابقتين على النحو التالي:
• وراء كل واحد من H هناك واحد من M على الأقل،
• وراء كل واحد من M لا نجد سوى أشخاص من H.
إنه من غير الممكن وجود متتالية مكونة من H وM ومحققة هاتين القاعدتين (لأن كل واحد من M يجب أن يكون متبوعا بأشخاص من H لا غير، وهذا مستحيل إذ إن كل واحد من H يجب أن يكون متبوعا بواحد على الأقل من M). إنها مفارقة كمفارقة الكذاب. لكن السبب يرجع هنا إلى وجود عدد غير منته من الأشخاص. نقول عن هذه المفارقات إنها دلالية semantic وهي مازالت قيد البحث من قبل علماء المنطق، ويبدو أنهم لم يتوصلوا بعد إلى حل مقبول بشأنها.
عدم قابلية البت لا تحل المسألة(**********)
وبعد تلك المرحلة، مكنت نظرية المجموعات بصياغتها الجديدة المحكمة، من إثبات نتيجتين بالغتي الأهمية تتعلقان بفرضية المتصل. لقد برهن الرياضياتي النمساوي <K. گوديل>(25) عام 1938 على أنه لو كانت نظرية المجموعات المعهودة متسقة (أي لا تؤدي إلى تناقضات) فإن النظرية نفسها لا تؤدي إلى تناقضات إذا ما اكتملت بالمسلّمة القائلة بصحة فرضية المتصل. وهكذا فإن التسليم بفرضية المتصل لا يهدد بإسقاط النظرية المعهودة للمجموعات. وذهب <P. كوهين>، عام 1963، إلى أبعد من ذلك حيث أثبت أنه إذا كانت نظرية المجموعات متسقة، فإن إكمالها بالمسلمة القائلة بخطأ فرضية المتصل لا يؤدي إلى أي تناقض.
إن هاتين النتيجتين مجتمعتين تؤكدان على أن من يُسلِّم بنظرية المجموعات المعهودة يستطيع إضافة المسلّمة القائلة بصحة أو خطأ فرضية المتصل من دون أن يتناقض ذلك مع هذه النظرية؛ فهي تترك الحرية للرياضياتيين في اعتبار فرضية المتصل قضية صحيحة أو خاطئة.
إن اعتبار فرضية المتصل غير قابلة للبت indecidable ليس مفارقة: ذلك أن النظرية لا تناقض نفسها، فهي لا تقول شيئا في هذا الصدد. وعلى كل حال فإن عدم البت هذا غير مُرضٍ من الناحية المنطقية وجد مقلق.
لتوضيح ذلك ندخل في اعتبارنا عالم الأعداد الطبيعية N: إنه ليس كيفيا، فلسنا نحن الذين قررنا أن هذا العدد أو ذاك هو عدد زوجي أو فردي أو أولي أو مركب، إلخ. ومن ثم يحق لنا التساؤل: لماذا إذا يجب أن يكون عالم الأعداد الحقيقية R كيفيا يسمح لنا تبعا لأذواقنا كي نقرر وجود (أو عدم وجود) أجزاء لانهائية من R لا يمكن أن نجد لها تقابلا مع N أو R؟
وكما فكّر كنتور نفسه، وكذا گوديل، فإن فرضية المتصل يجب أن تكون صحيحة أو خاطئة، ولا بد لنظرية المجموعات أن تسمح لنا بمعرفة ذلك، اللهم إلا إذا كانت هذه النظرية وهما؛ وهذا يعني أن الفهم الذي تزودنا به بخصوص اللانهاية الفعلية لا يعدو أن يكون سرابا. إن الوضع الذي فرضته أعمال گوديل وكوهين حول فرضية المتصل، غير مرضٍ منطقيا؛ إلا أن هذا الوضع يمس نظرية اللانهاية الفعلية كلها المقترحة من قبل كنتور؛ ومن ثم مازالت فكرة وضع نظرية للانهاية الفعلية تطرح نفسها.
مسلمة تُعرِّف عددا رئيسيا عظيما(***********)
نقول عن تطبيق F للمجموعة A في المجموعة B إنه غامر subjective إذا كان لكل عنصر
β من المجموعة B يوجد عنصر
α من المجموعة A بحيث F(
α) =
β.
إذا وجد تطبيق غامر للمجموعة A في المجموعة B، نقول إن A أكبر من B؛ وإذا لم يوجد تطبيق غامر من B في A نقول إن A أكبر تماما من B (كما في الشكل أعلاه).
لقد برهن كنتور على أن المجموعة P(A) المؤلفة من المجموعات الجزئية للمجموعة A هي دائما أكبر تماما من المجموعة A؛ وينتج من ذلك وجود عدد غير منته من المجموعات المتزايدة الكبر: مجموعة الأعداد الطبيعية N ثم P(N) ثم P(P(N)) ، ... وأنه لا توجد مجموعة تحوي جميع المجموعات.
لنقدم مثالا لمسلمة خاصة بالأعداد الرئيسية العظيمة: توجد مجموعة غير قابلة للعد(26) A بحيث إذا كانت A أكبر تماما من B، فإن A أيضا أكبر تماما من المجموعة P(B) (مجموعة المجموعات الجزئية للمجموعة B) وأكبر تماما من المجموعة P(P(B)) (مجموعة المجموعات الجزئية للمجموعة (P(B))... إلخ، وبصفة أعم فإن A أكبر من أي مجموعة يتم تعريفها انطلاقا من المجموعة B. إن العدد الرئيسي للمجموعة A هو رئيسي عظيم. ومع ذلك فغالبية هذه المسلّمات تعبر عن حالات غير قابلة للبت حسب گوديل: لا يمكننا من خلال المسلمات المعهودة لنظرية المجموعات إثبات صحتها أو خطئها. لذا يجب التسليم بها كما هي من دون أمل في التمكن من البرهان عليها اعتمادا على مسلمات نظرية المجموعات. ومع ذلك فهي تمثل حالات مفيدة.
سبل أخرى للتعمق في الموضوع(************)
إننا ندرك أن عدم البت في فرضية المتصل لا تسوّي قضية اللانهاية بل تزيدها تعقيدا: إذا كانت نظرية المجموعات توفر حقا إمكانية إدراك اللانهاية الفعلية ولا تمثل لعبة فكرية عفوية بين رموز رياضياتية من دون مقابل في العالم الحقيقي، فإنه يمكننا أن نتقدم أكثر.
هناك سبيل أول يمكننا اتباعه، وهو إعادة النظر في نظرية المجموعات المعهودة. نشير عادة إلى هذه النظرية بZF (تكريما للرياضياتيين <E.زرمولو> و<A. فرنكل> اللذين أدخلا في مطلع القرن العشرين هذه النظرية). إنها نظرية تبدو غير مرضية لعدة أسباب، لا سيما أنها تولّد حالات منافية لحدسنا بخصوص وجود كائنات رياضياتية لا يمكننا إنشاؤها (انظر الإطار في الصفحة 26). وقد ظهر العديد من النظريات الأخرى ـ مثل نظرية الأنماط والنظرية الإنشائية للمجموعات ونظرية المجموعات مع مجموعة شاملة(27)، إلخ ـ لكنها لم تحظ بعناية الرياضياتيين الذين ظلوا ميالين إلى بساطة نظرية زرمولو-فرنكل؛ ويبدو أنهم لم يجدوا أن الوضع الذي أحدثته فرضية المتصل جدّ حرج. والواقع أن هذه النظريات المتعاقبة تجبرنا على إعادة تقييم كل العمل الرياضياتي الذي تم إنجازه في الوقت الذي لم تظهر فيه أية تناقضات حقيقية. وكل ما يدفع البعض إلى التخلي عن نظرية زرمولو-فرنكل هو مجرد عدم رضا فلسفي.
ويتمثل السبيل الثاني في تقبل نظرية زرمولو-فرنكل، أي اعتبار أنها لا تنص إلا على قضايا مقبولة بالنسبة إلى المجموعات، لكنها غير كاملة. وفي هذه الحالة، قد تكون هناك حاجة إلى مسلمات أخرى يتعين على علماء المنطق والرياضيات أن يعملوا على إيجادها لإضافتها إلى المسلّمات المعروفة. وعند العثور على تلك المسلّمات (أو على بعضها) سيكون بالإمكان البرهان على فرضية المتصل أو نفيها.
والملاحظ أن السبيل الثاني ليس عبثا، والتأكيد على عدم التمام الحالي لنظرية المجموعات ليس سوى الأخذ مأخذ الجد النظريات العامة المتعلقة بعدم التمام التي برهن عليها گوديل عام 1931 والتي يمثل فيها عدم البت في فرضية المتصل مجرد ظاهرة في نظرية المجموعات. وهكذا فإن هذا السبيل سيؤدي إلى برنامج بحث عن مسلّمات جديدة من أجل إضافتها إلى مسلمات نظرية المجموعات، وهو برنامج دافع عنه گوديل نفسه.
الرئيسيات العظيمة(*************)
تشكل الأعمال التي تنجز في مجال المنطق الرياضياتي حول ما يسمى الأعداد الرئيسيات (أو الرئيسية) العظيمة حقل بحث يحتمل أن يتمخض عنه حل لغز فرضية المتصل (هل يمكن، في جميع الأحوال، إيجاد تقابل بين جزء لانهائي من R وبين R أو N؟)
تنص مسلّمات الرئيسيات العظيمة على قضايا تتعلق بالمجموعات الكبيرة كبرا منقطع النظير. إنها مسلمات تعريفها دقيق، فهي تنطلق من مبادئ نظيرة للمبدأ الذي ينص على أن N، P(N)، P(P(N))،... ليست لانهايات فعلية شرعية فحسب، بل إنه يوجد ما هو أكبر منها أيضا، بعضها يحوي N…,(N))، P(N)، P(P في آن واحد.
إن حال مسلمات الرئيسيات العظيمة بالنسبة إلى نظرية زرمولو-فرنكل كحال فرضية المتصل: يمكننا أن نختار ضمها إلى نظرية المجموعات (أو ضم نفيها) من دون أن نخشى إدخال تناقضات في النظرية (في واقع الأمر، إن إضافتها قد تُحدث، من الناحية النظرية، تناقضا، لكن هذا لم يُثبت عمليا). ومع ذلك، وخلافا لحالة فرضية المتصل، من الطبيعي اعتبار تلك المسلمات صحيحة. ذلك أن تبني نفيها يعني أننا نحد من قدّ المجموعات الممكنة، وهذا أمر غير طبيعي. فضلا عن ذلك، فإن نفيها يؤدي إلى تناقض مع «مبدأ انفتاح وتسامح»(28) الذي ينص على تقبل جميع الكائنات التي لا تُحدث عدم تساوق(29). ويقال في هذا الصدد إن مسلمات الرئيسيات العظيمة صحيحة قبليا a priori. وهناك سبب آخر يدعونا إلى قبول مسلمات الرئيسيات العظيمة: تتميز هذه المسلمات بخاصية أدهشت الرياضياتيين، فهي مصنفة بشكل خطي متناسب بعضها لبعض كما لو كانت تشير فعلا إلى تراتبية للانهايات (تلي تلك التي سلط عليها كنتور الضوء، وتكملها). فلو كانت هذه المسلمات مجرد لعبة شكلية لا موجب لها لعلماء المنطق، لما فهمنا كيف جاء ترتيبها على هذا النحو بعضها بالنسبة إلى بعضها الآخر. وبهذا الشأن يرى عالما المنطق <K. كاناموري> و<M. ماجيدور> أن «هذا المظهر التراتبي لنظرية الرئيسيات العظيمة يبعث على الاستغراب، لكنه يشكل في الوقت ذاته مبررا قويا يؤيد تبني مسلمات هذه الرئيسيات، لا سيما أنها توفر الامتدادات الطبيعية لنظرية زرمولو-فرنكل.»
إن إمكانية وجود روابط بين مسلّمات الرئيسيات العظيمة وفرضية المتصل إمكانية حقيقية؛ وقد تم التوصل في هذا الموضوع إلى نتائج جزئية: هناك مجموعات جزئية لانهائية من R لم نكن قادرين، وفق نظرية زرمولو-فرنكل، على إثبات وجود تقابل بينها وبين N أو R، لكن يمكن الآن القيام بذلك بفضل مسلّمات الرئيسيات العظيمة.
وهكذا يبدو أن النظرية التي وضعها كنتور قادرة على الصمود؛ والأكثر من ذلك، أنها قادرة على المضي قدما بإضافة مسلّمات طبيعية جديدة. فاللانهاية الفعلية لا هي مفارقة ولا هي غير مقبولة منطقيا (كما كانت حال فرضية المتصل التي أُثيرت حولها شكوك كثيرة خلال فترة جراء عدم إمكانية البت فيها)، بل على العكس من ذلك فهي متساوقة ومُرجحة. وكما في الفيزياء، كان لا بد من مراجعة مفهومنا للزمن والفضاء في ضوء مستجدات نظرية النسبية. (التي لم تكن قط مفارقة على الرغم مما تبدو عليه أول الأمر)؛ وكذلك الشأن في الرياضيات، إذ يحتم علينا مفهوم اللانهاية الفعلية إعادة بناء فكرتنا عن الأشياء والأغراض وإعادة النظر في مفهومنا للواقع الرياضياتي. ولا يمكن لمفارقة أن تعترض سبيل أولئك الذين يتقبلون هذا الإصلاح العميق للمفاهيم. بل يمكن أيضا التفكير بأن الحالات غير المرضية منطقيا التي مازال يُعتقد أنها تواجهنا، ستتبدد كلما ازداد عقلنا تقبلا لعالم المفاهيم الجديد الذي ترشحه رياضيات اللانهاية الفعلية التي ما فتئ الرياضياتيون يدققونها ويستكملونها.
المؤلف
Jean-Paul Delahaye
أستاذ المعلوماتية النظرية في جامعة ليل (فرنسا).
مراجع للاستزادة
A. KANAMORI, The Higher Infinite, Springer-Verlag,1994.
J. W. DAUBEN, Georg Cantor: His Mathematics and Philosophy of the Infinite, Harvard University Press, 1979.
J.-L. ICRIVINE, Theorie des ensembles, Cassini, Paris, 1998.
Bernard BOLZANO, Les paradoxes de 1’infini, introduction, traduction de 1’allemand et notes par Hourya Sinaceur, Seui1,1993.
Jean-Paul DELAHAYE, Jeux mathematiques et mathematiques des jeux, chapitre 7 : Des jeux infinis aux grands ensembles, Behn/Pour la science, 1998.
Infini des mathematieiens, infini des philosophes, ouvrage collectif sous la direction de F. Monnoyeur, Belin,1992.
(*) L’infini est-il paradoxal en mathématiques?
مترجمة عن المجلة: Pour la Science وهي الطبعة الفرنسية لمجلة Scientific American.
(**) Le Paradoxe de L’Hotel de Hilbert
(***) L’impensable infini actuel
(****) L’Hypothése du continu et la notation des Aleph
(*****) La solution actuelle du paradoxe de la réflexivité
(******) Paradoxe de Russell
(*******) Cantor découvre un résultat étonnant
(********) L’hypothése du continu
(*********) Paradoxe de L’Autoréférence et de L’infini
(**********) L’indécidabilité ne résout rien
(***********) Un Axiome Définissant un Grand Cardinal
(************) Voies pour aller plus loin
(*************) Les grands cardinaux
(1) Continuum hypothesis = L’hypothèse du continu
(2) L’infini actuel: اللانهاية الفعلية.
(3) ج: لانهائي infinite = infini.
(4) Les Paradoxes de la Réflexivité
(6) infinite sets
(7) lصinfini actuel
(8) قدّ size = taille ويقال حجم.
(9) potential infinity
(10) correspondence تقابل، ويقال «علاقة تقابلية» أو «مقابلة».
(11) poper subset: مجموعة جزئية من المجموعة المفروضة فيما عدا المجموعة ذاتها والمجموعة الخالية Ø ؟. (التحرير)
(12) infinite sets
(13) (Leibniz, opera amnia studio Ludov. Dutens, tome II,partie X)
(14) infinitesimal ويقال: لانهائي في الصغر، أو متناهٍ في الصغر.
(15) size = taille
(16) أو كاردينال
(17) algebra of bijections
(18) ج: قدّ size
(19) diagonal reasoning = raisonnement diagonal
(20) theorem
(21) hierarchy
(22) أدى الحال بكنتور، جراء عدم تفهم زملائه الألمان لنظريته وأفكاره الجديدة، إلى اختلال عقله؛ وفي مستشفى للأمراض العقلية قضى نحبه قبل أن يرى ثمرة جهده. ومن المعروف أن كرونكر هو الذي وقف بشدة في وجه كنتور وقاد الحملة ضده.
أو فرضية التلاحم.
(23) finite
(24) infinite
(25) الرئيسيات (ج: رئيسي cardinal).
(26) ordinal numbers (التحرير)
(27) أي العدد الرئيسي the cardinal
(28) [انظر: «گوديل وحدود المنطق»، مجلة العلوم، العدد 10(2001)، ص 40].
(29) nondénombrable
(30) universal set
(31) un principe d’ouverture et de tolérance
(32) incoherence
مواقع النشر (المفضلة)