انجمن منطق ایران برگزار می­کند

مروری بر برخی اثبات های جدید

برای قضیه ناتمامیت گودل

دکتر پیام سراجی

دانشگاه تبریز

 

در این سخنرانی برهان‌هایی که در دهه 70 و 80 میلادی توسط جرج بولوس و گرگوری شایتین برای قضیه ناتمامیت گودل ارائه شدند معرفی شده و از نظر امکان ساختاری شدن (یعنی به دست آوردن گزاره تصمیم ناپذیر  به شیوه ای الگوریتمی) و همچنین شرط بهینه سازگاری که برای اثبات آنها نیاز است، مورد بررسی قرار می گیرند. در ادامه به برخی اثباتهای دیگر (ارائه شده توسط کریپکی و موستوفسکی) و همچنین نتایجی در مورد تعمیم قضیه گودل برای نظریه‌هایی که شمارش‌پذیر بازگشتی نباشند، می پردازیم.

 

مکان:  تهران،دانشگاه تربیت مدرس، دانشکده علوم انسانی، سالن شهدای گمنام

زمان: چهارشنبه،29 شهریور 1396،ساعت 4بعدازظهر

برای آگاهی از برنامه های انجمن منطق ایران به وب سایت زیر مراجعه فرمایید:

www.irlogic.org