المسارات · رحلاتٌ مُرشَدة
اسلُكِ الحقلَ حكايةً
لا خريطةً بل طريقًا. كلُّ مسارٍ رحلةٌ مُرشَدةٌ عبر الكتب والعقول والمبرهنات: تاريخُ المنطق، يُروى كما جرى.
- 01
أزمةُ الأُسُس
كيف بُني حُلمُ أساسٍ كاملٍ يقينيٍّ للرياضيات، ثم انكسر، ثم أُعيد بناؤه، من فردوس كانتور إلى حُكم كوهين.
6 محطّات - 02
البرهانُ يصير حَوسبة
الاكتشافُ البطيءُ أنَّ البرهانَ والبرنامجَ شيءٌ واحد، من قواعد غنتسن إلى مساعدات البرهان اليوم.
5 محطّات - 03
حكايةُ اللانهائي
ألفان وخمسُمئةِ عامٍ من رفضِ اللانهائيِّ بالفعل، ثم احتضانِه، ثم ترويضِه، واكتشافِ أنَّ حجمَه فوق متناولنا.
5 محطّات