📌
#پوستر_فارسی

رویداد روز جهانی منطق 2024

✳️ سخنرانان:

ماتیاس باز (دانشگاه صنعتی وین)
Andrews Skolemization May Shorten Resolution Proofs Non-Elementarily

لطف‌الله نبوی (دانشگاه تربیت مدرس)
      منطق علم سنجی؛ رهیافتی از گودل و تارسکی

اسدالله فلاحی (مؤسسه‌ی پژوهشی حکمت و فلسفه ایران)
      نسبت قضایای خارجیه و شخصیه: تاریخ یک اشتباه

سعید صالحی (دانشگاه تبریز)
     درباره‌ی احتمال توقف و اصل آزمون ‌و خطایِ شایتین


نحوه‌ی برگزاری: حضوری - مجازی

زمان: یک‌شنبه 24 دی‌ماه 1402 - 11 الی 12 (مجازی) و  14 الی 18 (حضوری-مجازی) (به وقت تهران)

مکان: خیابان نیاوران، میدان نیاوران، ضلع جنوبی میدان، پژوهشگاه دانش‌های بنیادی (IPM)، پژوهشکده‌ی ریاضیات، سالن شماره ۱

🔗 https://www.zoom.us/join
Meeting ID: 833 7335 5900
Passcode: 362880

🌐 https://worldlogicday.com/events/2024/ial

📧 mailroom@ialogic.ir

ialogic.ir