المعاصر · حقلٌ من المنطق
أبحاث الطليعة
الرياضياتُ العكسية، وتعدينُ البراهين، ونظريةُ النمط الهوموتوبي، والتعقيدُ الوصفي: حيث يُكتَب الحقلُ الآن.
- المشكلة
- أيَّ البديهيّات تحتاج إليها مبرهنةٌ بعينها بالضبط، وأيمكن جعلُ الأسس نفسِها حاسوبية؟
- نقطةُ التحوّل
- بديهيةُ الأحادية: البِنى المتكافئةُ متساوية، فتغدو نظريةُ النمط الهوموتوبي أساسًا حاسوبيًّا.
- سؤالٌ مفتوح
- أتعيد الأسسُ الأحادية والرياضياتُ العكسية وتعدينُ البراهين تشكيلَ معنى «الأسس» ذاته؟
المتون
- Homotopy Type Theory 2013
- Subsystems of Second Order Arithmetic
- Applied Proof Theory
لدراسته
- Descriptive Complexity