کارشناسی ارشد
ریاضی‌محض‌
دانشگاه تهران

قضیه ناتمامیت گودل ثابت کرد که در هر سیستم سازگار منطقی گزاره هایی وجود داره که نه قابل اثبات هستند و نه قابل رد!

یعنی کلا درستی یا نادرستیشون درحیطه ی منطق نیستن ، با این وجود چرا برای درستی هر چیزی میگیم دلیل منطقی بیار؟ درحالی که منطق پاسخگوی همه گزاره ها نیست و سوال دوم هم اینکه پس به نظرتون تکلیف این گزاره ها چه میشود؟

قضیه ناتمامیت گودل ثابت کرد که در هر سیستم سازگار منطقی گزاره هایی وجود داره که نه قابل اثبات هستند و نه قابل رد!

یعنی کلا درستی یا نادرستیشون درحیطه ی منطق نیستن ، با این وجود چرا برای درستی هر چیزی میگیم دلیل منطقی بیار؟ درحالی که منطق پاسخگوی همه گزاره ها نیست و سوال دوم هم اینکه پس به نظرتون تکلیف این گزاره ها چه میشود؟