تصمیمپذیری و اعداد طبیعی
سخنران: محسن خانی (دانشگاه صنعتی اصفهان)
دوشنبه 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