تصمیم‌پذیری و اعداد طبیعی


سخنران: محسن خانی (دانشگاه صنعتی اصفهان)

دوشنبه 4 تیر ۱۴۰۳ / ساعت ۱۷ الی ۱۹

چکیده:

در بخش نخست سخنرانی، به پدیده‌های تصمیم‌پذیری و کامل بودن نظریه‌ها خواهم پرداخت. در بخش دوم، به اجمال، به پدیده‌‌ی ناتمامیت اول گودل خواهم پرداخت. در بخش سوم به بازی‌های رفت ‌و برگشتی در نظریه مدل مقدماتی، و کاربرد آن‌ها در تشخیص تصمیم‌پذیری نظریه‌ها خواهم پرداخت و نهایتاً در بخش چهارم، به دو نتیجه‌ از خودم، زارعی و ولی‌زاده خواهم پرداخت که در لینک‌های زیر قابل مشاهده هستند:

https://arxiv.org/abs/2110.01673

https://link.springer.com/article/10.1007/s00153-022-00846-2

سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی خانه حکمت اصفهان برگزار می‌شود.

پیوند سخنرانی برخط (آنلاین): 🔗 🔗 https://www.skyroom.online/ch/ialogic/ialogic

 

 

فایل pdf همین اطّلاعیّه: