قضایای ناتمامیت گودل: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز ←جایگزینی با [[وپ:اشتباه|اشتباهیاب]]: اثباتپذیرند⟸اثباتپذیرند، تاپذیر⟸ناپذیر، ، ناپذر⟸ناپذیر، ، ، انکار پذری⟸انکارپذیری، |
Yamaha5Bot (بحث | مشارکتها) تمیزکاری با ویرایشگر خودکار فارسی |
||
خط ۸:
:''بنابراین اگرK نظریهای ω ـ سازگار باشد G یک جمله تصمیم ناپذیر از K است. (Mendelson. p. 206)''
در این جا، «نظریه» به معنای تعدادی قواعد استنتاج، تعدادی علائم و مجموعهای نامتناهی از [[گزاره|گزارهها]] است، که تعدادی متناهی از این گزارهها بدون اثبات پذیرفته میشوند(که [[اصل موضوع|اصول موضوع]] خوانده میشوند)، و برخی دیگر از گزارهها از اصول موضوع به دست میآیند؛ به این گزارهها که با کمک قواعد استنتاج از اصول موضوع به دست میآیند [[قضیه]] میگوییم. «[[اثبات پذیر]] بودن در نظریه» یعنی «اشتقاقپذیر بودن از اصول موضوع نظریه به کمک قواعد استنتاج نظریه». یک نظریه «[[سازگار]]» است، در صورتی که هیچگاه یک [[تناقض]] را اثبات نکند. بنا بر قضیه ناتمامیت اول گودل، هیچ نظریه اصل موضوعی که حداقل قضایای اساسی حساب را بتواند اثبات کند وجود ندارد که همه قضایا را اثبات یا رد کند. به عبارتی در هر نظام اصل موضوعی ریاضی جملاتی تصمیم ناپذیر وجود دارند. طبق [[منطق کلاسیک]] و [[منطق ارسطو|منطق ارسطویی]] هر گزارهای یا صادق است
میتوان نشان داد که اگر G را به K بیفزاییم و مجموعهٔ جدیدی تولید کنیم، باز هم میتوانیم یک گزارهٔ جدید گودل برای مجموعهٔ فعلی ارایه کنیم که در نظریه جدید نه اثبات پذیر باشد و نه انکارپذیری و جامع بودن آن را نقض کنیم.
خط ۳۷:
{{پانویس}}
{{دانش محاسبهپذیر}}
[[رده:آثار کورت گودل]]
[[رده:قضیههای ریاضی]]
|