قسم
تاريخ وفلسفة الرياضيات
معنى البرهان اليوم: الصرامة والتوثيق وممارسة الرياضيات في عصر المنطق الآلي
تحليل من منظور تاريخي وفلسفي لِما يعنيه البرهان اليوم: إنجازات التوثيق الرسمي، دور مكتبات mathlib، وتأثير تقنيات الذكاء…
كيف نشأت الرياضيات الحديثة: محطات من إقليدس إلى نظرية الفئات
مراجعة لخطوات رئيسية في تطوّر الرياضيات من إقليدس مروراً بالتحليل المجرد ونظرية المجموعات وصولاً إلى نظرية الفئات وتأثير…
إعلان