مسار · رحلةٌ مُرشَدة
أزمةُ الأُسُس
كيف بُني حُلمُ أساسٍ كاملٍ يقينيٍّ للرياضيات، ثم انكسر، ثم أُعيد بناؤه، من فردوس كانتور إلى حُكم كوهين.
- 01
فردوسُ كانتور
أسسُ نظريةٍ عامةٍ للمجموعات 1883يبني كانتور نظريةَ المجموعات واللامتناهي: رياضياتٍ صارمةً للانهائيِّ بالفعل. قال هلبرت: «لن يُخرجنا أحدٌ من الفردوس الذي خلقه كانتور».
- 02
الأفعى: مفارقةُ رسل
1872–1970ثم تأتي الأفعى: مجموعةُ كلِّ المجموعات التي لا تحوي نفسَها يجب أن تحوي نفسَها ولا يمكن. ينهار المنطقُ الساذج للمجموعات، فيلزم إعادةُ بناء الأساس.
- 03
برنامجُ هلبرت
1862–1943يردُّ هلبرت بخطّة: صَورِنوا الرياضياتِ كلَّها، ثم برهِنوا (بوسائلَ منتهيةٍ لا خلافَ عليها) أنَّ النسقَ الصوريَّ لا يتناقض أبدًا.
- 04
ضربةُ غودل
عدمُ الاكتمال الثانيشابٌّ في الخامسة والعشرين يحطّمه. كلُّ نسقٍ يكفي للحساب يترك حقائقَ لا يبرهنها، ولا يبرهن اتساقَ نفسِه. فالبرنامجُ، كما صِيغ، مستحيل.
- 05
ترميمُ غنتسن
اتساقُ الحسابلكنْ لم يَضِع كلُّ شيء. يبرهن غنتسن اتساقَ الحساب، باستقراءٍ متعالٍ حتى ε₀. فيبقى البرنامجُ في صورةٍ دقيقةٍ موزونة: تُقاس القوّة.
- 06
حُكمُ كوهين
استقلالُ فرضية المتّصلالمنعطفُ الأخير: بعضُ الأسئلة لا جوابَ لها البتّة. يُظهِر تفريعُ كوهين أنَّ فرضيةَ المتّصل مستقلةٌ عن ZFC: لا تُبرهَن ولا تُدحَض. فلليقين أُفُق.