حصل البروفيسور أندريه إندرزيجزاك، رئيس قسم المنطق ومنهجية العلوم في كلية الفلسفة والتاريخ بجامعة لودز (UŁ)، على المنحة المتقدمة المرموقة من مجلس البحوث الأوروبية (ERC) عن مشروعه البحثي في مبلغ يزيد عن 1.6 مليون يورو.

أكد مركز الترويج بجامعة لودز أن هذه هي المنحة الأولى من هذا النوع في التاريخ لعالم في جامعة لودز وأول منحة مجلس البحوث الأوروبية لجامعات لودز. إنها أيضًا المرة الأولى التي يفوز فيها عالم بولندي بمنحة مجلس البحوث الأوروبية المتقدمة في مجال العلوم الاجتماعية والإنسانية، حيث تم منحها حتى الآن لممثلي العلوم الفيزيائية والهندسية.

مشروع من قبل الأستاذ إندرزيجزاك – “الوصول إلى المصطلحات: نظرية الإثبات ممتدة لأوصاف محددة ومصطلحات أخرى” – مكرس لنظرية الإثبات وبرامج الخصم التلقائي للنظريات الرسمية باستخدام تعبيرات تسمية معقدة (مثل العبارة: “فيلم فايدا الأخير”) كمعلومات ناقلات. الهدف من المشروع هو تكييف أدوات المنطق الرسمي مع بنية اللغات الطبيعية، حيث تلعب تعابير الأسماء المعقدة دورًا مهمًا للغاية.