#سخنرانی_آنلاین

✅ گودل، براور و گزاره‌های مطلقاً تصمیم‌ناپذیر
🗣 دکتر محمد اردشیر(دانشگاه صنعتی شریف)

🖋 گودل در مقاله‌ی «بعضی قضایای بنیادی در مبانی ریاضیات و نتایج آن» اظهار می‌کند که گزاره فصلی زیر، نتیجه ی اجتناب ناپذیر قضایای ناتمامیت اوست:
«یا ریاضیات به این معنا کامل‌شدنی نیست، ... یعنی ذهن انسان(حتی در قلمرو ریاضیات محض) به طور نامتناهی از هر ماشین متناهی فراتر است یا مسائل دیوفانتی مطلقاً حل‌نشدنی وجود دارند.»
در این سخنرانی به بعضی نتایج و تفاسیر منطقی-فلسفی گزاره‌ی فصلی گودل می‌پردازیم.

📆 چهارشنبه 17 اردیبهشت 1399؛ ساعت 14
❗️ جهت شرکت در این سخنرانی، در زمان جلسه وارد لینک زیر شده و گزینه‌ی "مهمان" را انتخاب بفرمایید:
📎 https://b2n.ir/philsci-lecture

———————
@philsharif
@math_new