انجمن منطق ایران برگزار میکند
مروری بر برخی اثبات های جدید
برای قضیه ناتمامیت گودل
دکتر پیام سراجی
دانشگاه تبریز
در این سخنرانی برهانهایی که در دهه ۷۰ و ۸۰ میلادی توسط جرج بولوس و گرگوری شایتین برای قضیه ناتمامیت گودل ارائه شدند معرفی شده و از نظر امکان ساختاری شدن (یعنی به دست آوردن گزاره تصمیم ناپذیر به شیوه ای الگوریتمی) و همچنین شرط بهینه سازگاری که برای اثبات آنها نیاز است، مورد بررسی قرار می گیرند. در ادامه به برخی اثباتهای دیگر (ارائه شده توسط کریپکی و موستوفسکی) و همچنین نتایجی در مورد تعمیم قضیه گودل برای نظریههایی که شمارشپذیر بازگشتی نباشند، می پردازیم.
مکان: تهران،دانشگاه تربیت مدرس، دانشکده علوم انسانی، سالن شهدای گمنام
زمان: چهارشنبه،۲۹ شهریور ۱۳۹۶،ساعت ۴بعدازظهر
برای آگاهی از برنامه های انجمن منطق ایران به وب سایت زیر مراجعه فرمایید:
www.irlogic.org
دیدگاهتان را بنویسید