معضلة اليقين الرياضي: لماذا أثارت البديهية الأخيرة في علم المنطق جدلاً لم ينتهِ بعد؟

كيف يقرر علماء الرياضيات أن شيئاً ما حقيقي؟ الإجابة المختصرة هي: البرهان. لكن إذا تعمقنا قليلاً، سنكتشف أن كل برهان رياضي يعتمد في جوهره على براهين سابقة، وهذه البراهين بدورها تستند إلى نتائج أقدم، وهكذا في سلسلة لا تنتهي من المنطق المتراكم. هذا البناء الشاهق من الحقائق (Truths) لا بد أن يستند إلى أرضية صلبة، وهنا نصل إلى نقطة النهاية، أو بالأحرى البداية؛ وهي حقائق نعتبرها صحيحة بالفطرة دون الحاجة لبرهان، ونسميها البديهيات (Axioms). لكن، ماذا يحدث عندما يكتشف العلماء أن إحدى هذه القواعد الأساسية التي يقوم عليها صرح الرياضيات كله، هي محل شك أو تؤدي إلى نتائج تصادم العقل؟

إن عالم الرياضيات ليس مجرد أرقام وحسابات، بل هو بناء منطقي يسعى للوصول إلى اليقين المطلق. في أوائل القرن العشرين، حاول العلماء وضع دستور نهائي للرياضيات، مجموعة من القواعد التي لا يمكن التشكيك فيها. ومن هنا ظهرت نظرية المجموعات (Set Theory) كقاعدة أساسية لكل شيء. ومع ذلك، برزت قضية واحدة أثارت من الانقسام ما لم تثيره أي مسألة أخرى، وهي ما يُعرف باسم “بديهية الاختيار” (Axiom of Choice). هذه البديهية تبدو بسيطة لدرجة مضحكة في البداية، لكنها تفتح أبواباً نحو عوالم غريبة تتحدى المنطق البشري المعتاد.

جذور الحقيقة الرياضية والبحث عن الأساس

في الرياضيات، البديهية هي نقطة الانطلاق التي لا نناقشها. تخيل أنك تبني منزلاً؛ البديهيات هي الأرض التي تضع عليها الأساسات. لقرون، اعتقد الرياضيون أن هذه الأرض صلبة تماماً وغير قابلة للاهتزاز. ولكن مع تعقد المسائل الرياضية، خاصة تلك التي تتعامل مع مفهوم اللانهاية (Infinity)، بدأت الشقوق تظهر. كان الهدف هو بناء نظام يسمى “ZFC”، وهو اختصار لأسماء العلماء زيرميلو وفرينكل بالإضافة إلى بديهية الاختيار.

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

بديهية الاختيار: عندما يصبح الاختيار مستحيلاً

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

لكن الأزمة تظهر عندما نتحدث عن مجموعات غير منتهية من المجموعات غير المنتهية. هنا، لا توجد قاعدة محددة تخبرك “كيف” تختار. شبهها العالم برتراند راسل بمثال شهير: إذا كان لديك عدد لا نهائي من أزواج الأحذية، يمكنك اختيار الحذاء الأيسر من كل زوج (لأن هناك قاعدة تميزه). لكن إذا كان لديك عدد لا نهائي من أزواج الجوارب (حيث لا يوجد فرق بين الفردة اليمنى واليسرى)، فكيف ستختار واحدة من كل زوج دون قاعدة واضحة؟ بديهية الاختيار تقول لك: “يمكنك فعل ذلك ببساطة، لا تسأل كيف”. وهذا ما اعتبره البعض نوعاً من السحر وليس العلم.

مفارقات تهز العقل: كرة واحدة تصبح كرتين

لماذا عارض العلماء هذه البديهية بشراسة؟ السبب هو النتائج الغريبة التي تترتب عليها. أشهر هذه النتائج هي ما يعرف باسم مفارقة باناخ-تارسكي (Banach-Tarski paradox). بفضل بديهية الاختيار، أثبت العالمان أنه من الممكن نظرياً تقسيم كرة صلبة إلى عدد محدود من القطع، ثم إعادة تجميع هذه القطع لتكوين كرتين صلبتين، كل واحدة منهما مطابقة تماماً للكرة الأصلية في الحجم والشكل!

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

هل الرياضيات مخترعة أم مكتشفة؟

هذا الجدل يعيدنا إلى السؤال الفلسفي الأزلي: هل الرياضيات كائن موجود في الطبيعة ونحن نكتشفه، أم أنها لغة اخترعها البشر لتنظيم أفكارهم؟ الذين عارضوا بديهية الاختيار، وهم البنائيون (Constructivists)، رأوا أن الرياضيات يجب أن تعتمد على خطوات محددة للبناء. إذا لم تستطيع إخباري كيف تختار العنصر، فلا يحق لك الادعاء بوجوده.

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

سياق الأهمية: لماذا يهمنا هذا اليوم؟

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

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

في نهاية المطاف، تظل بديهية الاختيار تذكيراً بأن العقل البشري يمتلك القدرة على تجاوز حدود المادة والمنطق اليومي ليحلق في فضاءات من الاحتمالات اللانهائية. فهل يمكننا حقاً الوثوق بمنطق يقبل بأن الكرة الواحدة قد تصبح كرتين، لمجرد أننا قررنا أن “الاختيار” ممكن؟