(اطلاعیه دوم) فراخوان مقاله

انجمن منطق ایران ششمین همایش سالانه خود را با همکاری پژوهشگاه دانش‌های بینادی در 10 و 11 بهمن ماه 1397 در دانشگاه شهید بهشتی برگزار می کند. ... بیشتر بخوانید ...

نویسنده : انجمن منطق - 1396/06/29

در این سخنرانی برهان‌هایی که در دهه 70 و 80 میلادی توسط جرج بولوس و گرگوری شایتین برای قضیه ناتمامیت گودل ارائه شدند معرفی شده است

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

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

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

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

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

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

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

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

 

نظرات کاربران
   
   
   

© Company 2013