نظرية الأنواع

نظرية البرهان: من أزمة الأسس إلى تكافؤ كاري-هوارد وتحليل البراهين بنيوياً

تُعد الرياضيات، في جوهرها، صرحاً من الحقائق المترابطة التي يتم تأسيسها عبر البراهين المنطقية الدقيقة. لقرون طويلة، كان البرهان هو…