قضایای ناتمامیت گودل

رای دهی: 5 / 5

فعال سازی ستارهفعال سازی ستارهفعال سازی ستارهفعال سازی ستارهفعال سازی ستاره
 

پس از مدتی دريافتم که اين موضوع توسط رياضيدانی به نام «کورت گودل» به اثبات رسيده است. اين قضيه به «قضيه ناتماميت گودل» مشهور است. گودل در زمان اثبات اين قضيه يک جوان 25 ساله بود. او نشان داد که «تقريباً در تمام نظريه‌های رياضی گزاره‌های درستی يافت می‌شوند که اين گزاره‌ها تصميم ناپذيرند».

گزاره‌ای تصميم ناپذير ناميده می‌شود که آن نظريه نه بتواند آن را اثبات و نه آن را رد کند. شرايطی که برای نظريه‌ها وجود دارد آن است که سازگار باشند و به نحوی اعداد طبيعی را قبول داشته باشند. سازگاری به آن معنی است که به تناقض نرسند. قطعاً هر نظريه متناقض هر چيزی را می‌تواند ثابت کند، بنابراين شرط «سازگاری» اهميت خاصی دارد.

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

اجازه دهيد بيانی ديگر از قضيه دوم گودل ارائه دهيم: «اگر نظريه‌ای بتواند سازگاری (درستی) خود را ثابت کند، آن نظريه ناسازگار (نادرست) است.»

درک کامل قضيه ناتماميت و قضيه دوم گودل می‌تواند بنيان فکری بسياری از نظريه‌های فلسفی را فرو بريزد. حداقل اين رويداد در مورد مکتب فلسفی Positivism اتفاق افتاده است. لذا اين قضيه در فلسفه مورد توجه است. (کمی بیاندیشید و با ثبت نظر، ما را نیز در جریان تفکرات خود قرار دهید)

در اين گفتار دائم از «نظريه» سخن گفتيم اما نگفتيم که نظريه چيست؟ در ادامه مفهوم نظریه را با مثالهایی بیان خواهیم کرد.

نظر خود را اضافه کنید.

ارسال نظر به عنوان مهمان

0
نظر شما به دست مدیر خواهد رسید
  • هیچ نظری یافت نشد

جدیدترین محصولات

حل تمرین های کتاب ریاضی هشتم خیلی سبز  فصل هفتم حل تمرین های کتاب ریاضی هشتم خیلی سبز فصل هفتم بازدید (189)
حل تمرین های کتاب ریاضی هشتم خیلی سبز ف...
جزوه ترکیبیات و کاربردهای آن دانشگاه صنعتی شریف دکتر جعفری پاییز ۱۳۹۶ جزوه ترکیبیات و کاربردهای آن دانشگاه صنعتی شریف دکتر جعفری پاییز ۱۳۹۶ بازدید (123)
جزوه ترکیبیات و کاربردهای آن دانشگاه صنع...
پاسخ سوالات سی و پنجمین دوره المپیاد ریاضی ایران ۱۳۹۶۰۱۳۱ پاسخ سوالات سی و پنجمین دوره المپیاد ریاضی ایران ۱۳۹۶۰۱۳۱ بازدید (431)
پاسخ سوالات سی و پنجمین دوره المپیاد ریا...
حل تمرین های فصل ششم کتاب کار ریاضی هشتم خیلی سبز حل تمرین های فصل ششم کتاب کار ریاضی هشتم خیلی سبز بازدید (722)
حل تمرین های فصل ششم کتاب کار ریاضی هشتم...
جزوه سیستم‌های دینامیکی استاد رزوان دانشگاه صنعتی شریف پاییز ۹۷ جزوه سیستم‌های دینامیکی استاد رزوان دانشگاه صنعتی شریف پاییز ۹۷ بازدید (469)
جزوه سیستم‌های دینامیکی استاد رزوان دانش...

فایل های تصادفی

کتاب حلقه توابع پیوسته دکتر استاجی کتاب حلقه توابع پیوسته دکتر استاجی... بازدید (4503)
کتاب حلقه توابع پیوسته دکتر استاجی عضو ه...
آمار و احتمال 1 رشته آمار پیام نور آمار و احتمال 1 رشته آمار پیام نور... بازدید (10033)
کتاب آمار و احتمال 1 پیام نور رشته آمار،...
کلید پاسخنامه ریاضی1 پیام نور رشته ریاضی نیم سال دوم 90-89 کد یک کلید پاسخنامه ریاضی1 پیام نور رشته ریاضی... بازدید (10509)
کلید پاسخنامه ریاضی1 پیام نور رشته ریاضی...
کلید آزمون ریاضی 1 رشته زمین شناسی پیام نور نیم سال دوم 90-91 کلید آزمون ریاضی 1 رشته زمین شناسی پیام ... بازدید (9126)
نام درس : ریاضی 1 ، دانشگاه : پیام نور، ...
پاسخنامه آزمون میانترم معادلات دیفرانسیل دانشگاه شاهرود 13950206 پاسخنامه آزمون میانترم معادلات دیفرانسیل... بازدید (8885)
پاسخ آزمون میانترم معادلات دیفرانسیل دان...

پربازدیدترین محصولات

حل المسائل کتاب نظریه مجموعه ها و کاربردهای آن (مبانی ریاضی) لین و لین حل المسائل کتاب نظریه مجموعه ها و کاربردهای آن (مبانی ریاضی) لین و لین بازدید (27654)
پاسخ سوالات و تمرینات کتاب نظریه مجموعه ...
مثلث نوشته دکتر میرزاوزیری مثلث نوشته دکتر میرزاوزیری بازدید (21530)
کتاب مثلث دکتر میرزاوزیری ، رمز فایل www...
اشتباه سوزنبان دکتر میرزاوزیری اشتباه سوزنبان دکتر میرزاوزیری بازدید (20524)
نویسنده : دکتر مجید میرزاوزیری ؛ چاپ او...
حافظه استاد، نوشته دکتر میرزاوزیری حافظه استاد، نوشته دکتر میرزاوزیری بازدید (18812)
حافظه استاد، نوشته دکتر میرزاوزیری چاپ...
آشنایی با نظریه گراف، دوگلاس بی وست آشنایی با نظریه گراف، دوگلاس بی وست بازدید (18391)
دانلود کامل کتاب آشنایی با نظریه گراف دو...
  • تهران و کرج
  • 09190-24816-0
  • این ایمیل آدرس توسط سیستم ضد اسپم محافظت شده است. شما میباید جاوا اسکریپت خود را فعال نمایید

آمار سایت

ارسال پیام برای ما

  Mail is not sent.   Your email has been sent.
بالا