تاريخ وفلسفة الرياضيات

تحليل من منظور تاريخي وفلسفي لِما يعنيه البرهان اليوم: إنجازات التوثيق الرسمي، دور مكتبات mathlib، وتأثير تقنيات الذكاء الاصطناعي في إثبات النظريات.

مراجعة لخطوات رئيسية في تطوّر الرياضيات من إقليدس مروراً بالتحليل المجرد ونظرية المجموعات وصولاً إلى نظرية الفئات وتأثيرها الفلسفي والعملي.