مروری بر برخی اثبات های جدید برای قضیه ناتمامیت گودل/دکتر پیام سراجی

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

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

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

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

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

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

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

زمانچهارشنبه،۲۹ شهریور ۱۳۹۶،ساعت ۴بعدازظهر

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

www.irlogic.org


منتشر شده

در

توسط

برچسب‌ها:

دیدگاه‌ها

2 پاسخ به “مروری بر برخی اثبات های جدید برای قضیه ناتمامیت گودل/دکتر پیام سراجی”

  1. بک لینک نیم‌رخ

    اقا خیلی وبسایتتون عالیه

    1. سید احمد میرصانعی نیم‌رخ

      سلام
      نظر لطف شماست …
      امیدوارم مطالب وبلاگ قابل استفاده براتون باشه

دیدگاهتان را بنویسید

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *