انجمن نجوم دانشگاه علم و صنعت

🟡 آشنایی کلی با گودل، قضایای تمامیت و ناتمامیت

🔵 سیستم‌های فرمال، تاریخچه کارکرد و ویژگی های آنها

🟡 تعریف رسمی قضیهٔ گودل و روند اثبات آن

🔵 مفهوم خودارجاعی و پارادوکس‌ها

🟡 دامنه اثر قضیهٔ گودل در علم و فلسفه

🔵 گودل و الگوریتم ها

🟡 ماشین تورینگ و قضیه توقف، محاسبه پذیری، پیچیدگی

🔵 سایر ناتمامیت ها

🟡 معرفی منابع فارسی و غیرفارسی برای مطالعه و تامل بیشتر

🔵 تعمیم های روا و ناروا از قضایای گودل