فراخوان مقاله

انجمن منطق ایران پنجمین سمینار سالانه خود را با همکاری پژوهشگاه دانش‌های بنیادی و دانشگاه صنعتی امیرکبیر در روزهای سه‌شنبه تا پنج‌شنبه 21 تا 23 آذر ماه 1396 در دانشگاه صنعتی امیرکبیر برگزار می‌کند. ... بیشتر بخوانید ...

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

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

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

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

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

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

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

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

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

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

 

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

© Company 2013