در سال ۱۹۳۱، کورت گودل با رویارویی منطق با خودش، زوجی از قضایا را ثابت کرد که چشمانداز دانش و حقیقت را دگرگون ساختند. این «قضایای ناتمامیت» ثابت کردند که هیچ سیستم صوری ریاضیات — هیچ مجموعه محدودی از قوانین یا اصول موضوعه که انتظار میرود همه چیز از آنها نشأت بگیرد — هرگز نمیتواند کامل باشد. همیشه گزارههای ریاضی صحیحی وجود خواهند داشت که به طور منطقی از آن اصول موضوعه پیروی نمیکنند.
من اوایل همهگیری کووید را صرف یادگیری این کردم که این منطقدان و ریاضیدان ۲۵ ساله اتریشی چگونه چنین کاری را انجام داد، و سپس خلاصهای از اثبات او را در کمتر از ۲۰۰۰ کلمه نوشتم. (همسرم، وقتی این دوره را به او یادآوری کردم: «اوه آره، اون موقعی که نزدیک بود دیوانه بشی؟» کمی اغراق.)
اما حتی پس از درک گامهای اثبات گودل، مطمئن نبودم که چه نتیجهای از قضایای او بگیرم، که معمولاً به عنوان رد امکان یک «نظریه همهچیز» ریاضی درک میشوند. این فقط من نیستم. در کتاب کلاسیک سال ۱۹۵۸ اثبات گودل (که به شدت برای توضیح خود به آن تکیه کردم)، فیلسوف ارنست ناگل و ریاضیدان جیمز آر. نیومن نوشتند که معنای قضایای گودل «هنوز کاملاً درک نشده است.»
شاید نه، اما شش دهه از آن زمان گذشته است. امروز با این ایدهها در کجا قرار داریم؟ اخیراً از منطقدانان، ریاضیدانان، فیلسوفان، و یک فیزیکدان خواستم تا در مورد معنای ناتمامیت بحث کنند. آنها حرفهای زیادی در مورد پیامدهای دستاورد فکری عجیب گودل و چگونگی تغییر مسیر جستجوی بیپایان بشر برای حقیقت داشتند.
پانو راتیکاینن، فیلسوف دانشگاه تامپر و نویسنده مدخل دائرةالمعارف فلسفه استنفورد درباره قضایای ناتمامیت گودل
از زمان یونانیان باستان، روش اصل موضوعی به طور گستردهای به عنوان راه ایدهآل سازماندهی دانش علمی در نظر گرفته شده است. هدف داشتن تعداد کمی از گزارههای اساسی «بدیهی» — اصول موضوعه، مبانی یا قوانین — است که تمام حقایق رشته مورد نظر را بتوان به طور منطقی از آنها استخراج کرد.
قضایای ناتمامیت گودل با دقت ریاضی نشان میدهند که این ایدهآل لزوماً برای بخشهای بزرگی از ریاضیات شکست میخورد. تمام حقیقت ریاضی مربوط به حتی اعداد صحیح مثبت (۱، ۲، ۳ ...) آنقدر گیجکننده پیچیده است که از هیچ مجموعه محدودی از اصول موضوعه پیروی نمیکند.
این بدان معناست که برخی از مسائل ریاضی حتی در اصل با روشهای ریاضی فعلی ما قابل حل نیستند. پیشرفت ممکن است به نوآوری مفهومی خلاقانه نیاز داشته باشد. در نتیجه، حقایق ریاضی یک کل یکپارچه از حقایق به طور یکسان غیرقابل تردید را تشکیل نمیدهند؛ در عوض، وضعیت آنها به عنوان دانش به تدریج از حقایق بیچون و چرا به فرضیههای به طور فزایندهای نامطمئن تغییر میکند.
راتیکاینن نکته خوبی را مطرح میکند که قضایای گودل، مرز بین جایی که حقیقت عینی به پایان میرسد و ریاضیات ابداعی آغاز میشود را مبهم میکنند. یک راه تاریخی که مردم برای غلبه بر محدودیتهای قضایای گودل تلاش کردهاند، پیشنهاد اصول موضوعه اضافی فراتر از اصول پذیرفته شده معمول بوده است. فرض کنید میخواهید گزارهای را با اصول موضوعه سنتی ثابت کنید، اما متوجه میشوید که نمیتوانید — که آن گزاره غیرقابل تصمیمگیری است. اگر اصل موضوعه جدیدی به مجموعه اولیه خود اضافه کنید، ممکن است بتوانید آن گزاره را درست ثابت کنید. اما اضافه کردن یک اصل موضوعه متفاوت، ممکن است به شما اجازه دهد آن را غلط ثابت کنید. بنابراین، درست یا غلط بودن آن به انتخابی که انجام دادهاید بستگی دارد. ناگهان، «حقیقت» بیشتر وابسته به ترجیحات یا فرضیات فرد میشود.
ربکا گلدستاین، فیلسوف و نویسنده کتاب ناتمامیت: اثبات و تناقض کورت گودل
شهود همیشه نقش مهمی در ریاضیات ایفا کرده است. به هر حال، ما نمیتوانیم همه چیز را ثابت کنیم؛ برای شروع اثباتهایمان باید برخی حقایق (یعنی اصول موضوعه) را بدون اثبات بپذیریم. اما طی قرنها آموختهایم که گاهی شهودها غیرقابل اعتماد از آب در میآیند – آنقدر غیرقابل اعتماد که تناقضات واقعی ایجاد میکنند – به این معنی که مجبور به تأیید تناقضات آشکار میشویم.
در اوایل قرن بیستم، برتراند راسل و آلفرد نورث وایتهد در حال کار بر روی اصول ریاضیات بودند که تلاش میکردند حساب را به منطق تقلیل دهند. [این دیدگاه که ریاضیات چیزی جز منطق نیست، «منطقگرایی» نامیده میشود.] این کار منجر به کشف چیزی شد که بعدها «پارادوکس راسل» نام گرفت. این پارادوکس مربوط به مجموعه تمام مجموعههایی است که اعضای خودشان نیستند. این تناقض زمانی آشکار میشود که میپرسید: آیا این مجموعه عضو خودش است؟ تناقض این است: اگر باشد، پس نیست. و اگر نباشد، پس هست. (جورج کانتور، بنیانگذار نظریه مجموعهها، قبلاً در دهه ۱۸۹۰ به این تناقض پی برده بود.)
پاسخ ریاضیدانان — و با قاطعیت بیشتری دیوید هیلبرت، ریاضیدان برجسته آن زمان — این بود که با صوریسازی ریاضیات به یک مجموعه الگوریتمی و بازگشتی از قوانین ثابت و کامل، اساساً ریاضیات را به یک بازی مکانیکی دستکاری نمادها تبدیل کنند. این هدف صوریسازی، «برنامه هیلبرت» نام گرفت.
آنچه گودل ثابت کرد این بود که برنامه هیلبرت غیرقابل تحقق است. اولین قضیه ناتمامیت او بیان میکند که در هر سیستم صوری ریاضیات که به اندازه کافی غنی باشد تا حساب را بیان کند، گزارههایی وجود خواهند داشت که هم درست هستند و هم غیرقابل اثبات. بنابراین، اگرچه سیستمهای صوری متشکل از قوانین مکانیکی دستکاری نمادها با موفقیت همه شهودها را حذف میکنند، اما در درک تمام آنچه ما از نظر ریاضی درست میدانیم — دانشی که با شهود مربوط به ساختارهای نامحدود که آنها را اعداد مینامیم غنی شده است — نیز شکست میخورند.
اینکه شهودهای ما در مورد اعداد ممکن است فراتر از آن چیزی باشد که میتوانیم اثبات کنیم، واقعاً جذاب است.
شخصاً، شهود من در مورد گزاره ریاضی که سالها پس از اثبات گودل، ناتمامیت را واقعی کرد، سکوت کرده است. این گزاره «فرضیه پیوستار» نامیده میشود و ادعا میکند که مجموعه تمام اعداد حقیقی (پیوستار)، دومین مجموعه نامتناهی کوچکتر پس از مجموعه اعداد طبیعی (۱، ۲، ۳ ...) است. ثابت شد که این فرضیه با استفاده از اصول موضوعه استاندارد ریاضیات، غیرقابل تصمیمگیری است. اصول موضوعه اضافی را میتوان طوری مهندسی کرد که آن را درست یا غلط تلقی کنند، اما منطقدانان در مورد انتخاب راه مناسب اختلاف نظر دارند.
یک فیزیکدان که با او صحبت کردم هشدار میدهد که عدم تصمیمگیری فرضیه پیوستار برای رشته او پیامدهایی دارد: فیزیکدانان ممکن است نیاز داشته باشند کلاً از پیوستار دوری کنند.
کلاوس کیفر، فیزیکدان در دانشگاه کلن، نویسنده مقالهای در سال ۲۰۲۴ درباره اهمیت ناتمامیت گودلی برای فیزیک بنیادی
اثبات کورت گودل پیامدهای گسترده و غیرمنتظرهای برای ریاضیات دارد. با توجه به اینکه قوانین فیزیکی با زبان ریاضی فرموله میشوند، آیا برای فیزیک نیز مرتبط است؟ من فکر میکنم بله.
از مهمترین گزارههای غیرقابل تصمیمگیری، فرضیه پیوستار (CH) است که در سال ۱۹۶۳ توسط پل کوهن (Paul Cohen) به معنای گودلی غیرقابل تصمیمگیری اثبات شد. نام «پیوستار» از فرض تطابق نقاط روی یک خط با اعداد حقیقی میآید. اما چند عدد حقیقی وجود دارد؟ بینهایت غیرقابل شمارشی از آنها وجود دارد، اما آیا میتوان این غیرقابل شمارش بودن را مشخص کرد؟ فرضیه پیوستار بیان میکند که اعداد حقیقی دومین مجموعه نامتناهی کوچکتر پس از مجموعه نامتناهی اعداد طبیعی هستند، که قابل شمارش میباشند.
اکنون در نظر بگیرید که برهمکنشهای بنیادی شناخته شده در فیزیک بر روی یک پیوستار فضا-زمان تعریف میشوند. تعداد بیشمار نقاط مرتبط با این پیوستار مسئول مشکلات مختلفی در فیزیک است. به عنوان مثال، در نظریه نسبیت عام اینشتین، نظریه مدرن ما در مورد گرانش، این امر منجر به تکینگیهایی میشود که توصیف ریاضی منشأ جهان و داخل سیاهچالهها را ممنوع میکند. در مدل استاندارد فیزیک ذرات، که با یک نظریه میدان کوانتومی توصیف میشود، محاسبات مستقیم نتایج بینهایتی برای انرژیها و سایر کمیتهای فیزیکی به دست میدهند، که باید با یک روش ریاضی پیچیده و غیرشهودی حذف شوند.
این وضعیت در تلاش برای یک نظریه نهایی یکپارچه از همه برهمکنشها جدیتر میشود. یک نظریه یکپارچه باید با یک زبان ریاضی منسجم و کامل مشخص شود. اما اگر یک نظریه یکپارچه بخواهد فضا-زمان را به عنوان یک پیوستار توصیف کند، فرضیه پیوستار ممکن است نظریه را ناتمام سازد. فیزیکدانان قبلاً نشان دادهاند که فرضیه پیوستار به سؤالات غیرقابل تصمیمگیری در نظریه میدان کوانتومی منجر میشود، مانند اینکه آیا سیستمهای اتمی خاصی «شکاف انرژی» دارند که به آنها امکان میدهد در حالتهای پایدار زمینهای قرار بگیرند. این عدم تصمیمگیری ناشی از این واقعیت است که محاسبه فرض میکند اتمها در یک پیوستار فضا-زمان ساکن هستند. ممکن است استدلال شود که یک نظریه بنیادیتر (با اصول موضوعه کاملتر) میتواند این سؤال را حل کند، اما نظریه نهایی نباید گزارههای غیرقابل تصمیمگیری داشته باشد. بنابراین نباید شامل یک پیوستار باشد.
به نظر من، این وضعیت عدم تصمیمگیری تنها در صورتی قابل اجتناب است که ساختار فضا و زمان گسسته باشد — یعنی، فقط با بینهایت قابل شمارشی از نقاط مشخص شود. نشانههایی برای گسستگی در برخی رویکردهای گرانش کوانتومی، به عنوان مثال نظریه ریسمان یا گرانش کوانتومی حلقه، وجود دارد، اما وضعیت هنوز کاملاً روشن نیست.
لازم به ذکر است که علاوه بر این مشکلات با فرضیه پیوستار، فیزیکدانان انرژی بالا دلایل زیادی دارند تا فکر کنند فضا-زمان پیوسته، برای واقعیت بنیادی نیست، بلکه تنها یک توهم در فواصل طولانی است که از بخشهای دیگر پدیدار میشود.
یوکو وانانن، ریاضیدان و منطقدان در دانشگاههای هلسینکی و آمستردام
ناتمامیت یک واقعیت ناخوشایند اما اجتنابناپذیر در زندگی ریاضیات است، مانند اعداد گنگ و اعداد متعالی در نظریه اعداد، یا اصل عدم قطعیت هایزنبرگ در فیزیک.
نوعی «سد گودلی» وجود دارد که زبان صوری نمیتواند از آن عبور کند: هرچه قدرت بیان یک منطق قویتر باشد (یعنی هرچه بیشتر بتوانید در آن منطق بگویید)، اثربخشی آن ضعیفتر است (یعنی توانایی ما برای اثبات درستی یا نادرستی گزارهها در آن منطق)، و هرچه اثربخشی قویتر باشد، قدرت بیان ضعیفتر است.
به عنوان مثال، یکی از سادهترین سیستمهای منطقی، منطق گزارهای است که به شما امکان میدهد گزارهها را با عملیاتی مانند «و»، «یا» و «نفی» ترکیب کنید. این سیستم بسیار مؤثر است، اما قدرت بیان آن ضعیف است. در سوی دیگر طیف، منطق مرتبه دوم وجود دارد که به شما امکان میدهد در مورد اشیاء، ویژگیها، مجموعهها و روابط گزارهسازی کنید. این سیستم قدرت بیان فوقالعادهای دارد و اثربخشی بسیار ضعیفی. گویی «حاصل ضرب» اثربخشی و قدرت بیان ثابت است، درست مانند اصل عدم قطعیت هایزنبرگ، که میگوید محدودیتی برای دقتی وجود دارد که با آن میتوان جفتهای «مکمل» خاصی از خواص فیزیکی، مانند موقعیت و تکانه، را به طور همزمان دانست؛ به عبارت دیگر، هرچه یک خاصیت با دقت بیشتری اندازهگیری شود، خاصیت دیگر با دقت کمتری قابل شناخت است. در منطق، در یک شباهت قابل توجه، اثربخشی و بیانگری چنین خواص «مکمل»ی هستند. این محتوای واقعی قضایای ناتمامیت گودل است.
ما در ریاضیات بدون هیچ گونه اطمینانی از سازگاری یا کامل بودن به جلو میتازیم. این فقط ذات چیزهاست.
تکاندهنده است که ریاضیات، که اساس علوم دقیق است، فاقد پایهای است که بتوان ثابت کرد سازگار و کامل است. هیلبرت را میتوان بخشید که فکر میکرد این نمیتواند درست باشد. با این حال، همانطور که ریشه دوم عدد دو گنگ است، این نیز واقعیت دارد. ریاضیات یک توده گیجکننده از ناتمامیت دارد که میتوان آن را از جایی به جای دیگر هل داد، اما هرگز ناپدید نخواهد شد.
عجیب اینکه، خود گودل کمی خوشبینتر بود. در اینجا، راشل الویر توضیح میدهد که گودل رویای یک سیستم منطقی صوری را داشت که بتواند فرضیه پیوستار و تمام سوالات دیگر مربوط به مجموعهها، یعنی بلوکهای سازنده ریاضیات مدرن را حل کند. قضایای ناتمامیت او به ما میگویند که هر سیستم این چنینی، تا زمانی که شامل لیستی محدود از اصول موضوعه باشد، منجر به گزارههای جدیدی خواهد شد که در آن سیستم غیرقابل تصمیمگیری هستند. اما او در مورد امکان یک توالی نامتناهی از سیستمهای اصل موضوعی که هر کدام از قبلی بزرگتر باشند و بتوانند هر سوالی را حل کنند، کنجکاو بود.
راشل الویر، منطقدان و مدرس دانشگاه واترلو
همه ما با این ایده کلی مواجه شدهایم که گودل، برنامه هیلبرت برای فرمولبندی کامل ریاضیات را از بین برد. این یک تفسیر رایج است، بنابراین وقتی برای اولین بار کارهای اصلی گودل را خواندم، شوکه شدم. در مقاله ۱۹۳۱ خود، که در آن قضایای ناتمامیت برای اولین بار اثبات میشوند، گودل صراحتاً خلاف آن را بیان میکند: «باید صراحتاً توجه داشت که گزاره XI (و نتایج متناظر برای M و A) هیچ تناقضی با دیدگاه فرمالیستی هیلبرت ندارند.» در یک پاورقی، او تکرار میکند که قضایای غیرقابل تصمیمگیری مقاله ۱۹۳۱ فقط نسبت به یک سیستم غیرقابل تصمیمگیری هستند. گزارههای غیرقابل تصمیمگیری هر چارچوب منطقی مفروض را میتوان از نظر ریاضی در یک چارچوب منطقی بزرگتر، درست یا غلط اثبات کرد.
گودل با این ادعا که ریاضیات میتواند هر گزاره خوشساختی را اثبات یا رد کند، مشکلی نداشت. بلکه گودل به روشهای محدودکننده هیلبرت ایراد میگرفت. چرا باید باور کنیم که یک مجموعه متناهی از اصول موضوعه وجود دارد که از آن هر حقیقتی در تعداد محدودی از مراحل منطقی تبعیت خواهد کرد؟ گودل معتقد بود که میتوان تعریف چارچوب ریاضی صوری را بازتعریف کرد، یا اجازه چارچوبهای جایگزین را داد. او اغلب در مورد یک توالی نامتناهی از سیستمهای منطقی قابل قبول صحبت میکرد که هر یک از قبلی قدرتمندتر بودند. هر سؤال ریاضی خوشساختی ممکن است در یکی از آنها قابل پاسخگویی باشد.
اغلب مردم طوری صحبت میکنند که گویی فرضیه پیوستار (CH) "سلاح دودزا"یی است که نشان میدهد گاهی اوقات سؤالات ریاضی پاسخی ندارند. اما به نظر من، این وضعیت شواهد بسیار کمی ارائه میدهد که مسائل ریاضی «کاملاً غیرقابل تصمیمگیری» وجود دارند، نسبت به هر چارچوب مجاز. این صرفاً یک نمونه از گزارهای است که در حال حاضر تصمیمگیری نشده است، و به خودی خود دلیلی برای شک به اینکه در آینده با استفاده از تکنیکهای جدید قابل حل نباشد، ارائه نمیدهد. بحثهای گسترده و جاری در این زمینه در اعماق ریاضیات و فلسفه وجود دارد.
مهمترین نکتهای که میخواهم بیان کنم این است که نتایج ریاضی، به خودی خود، نمیتوانند این سؤال را حل کنند. بسیار واضح نیست که سؤالات ریاضی بدون راهحل وجود دارند. برای من، قضایای گودل نشان نمیدهند که ریاضیات محدود است، بلکه نشان میدهند که ریاضیات بسیار گستردهتر و قدرتمندتر از دیدگاه متناهیگرایانه هیلبرت است.
الویر همچنین توضیح داد که راههای مختلفی برای تحقق رویای قدیمی حقیقت ریاضی ممکن است وجود داشته باشد. یک رویکرد میتواند افزودن یک اصل موضوعه جدید به اصول پذیرفتهشده معمول باشد که فرضیه پیوستار را حل کند و به هیچ تناقض دیگری منجر نشود. رویکرد دیگر کشف یک طرح برای بینهایت اصل موضوعه است که فرضیه پیوستار و سایر مسائل را حل کند. یا میتوانیم به یک سیستم منطقی متفاوت از سیستم استاندارد روی بیاوریم و در آن منطق جایگزین، فرضیه پیوستار را حل کنیم. الویر به من گفت: «سیستم منطقی مورد علاقه شخصی من L-omega-1-omega نام دارد»، برای هر کسی که میخواهد آن را بیشتر بررسی کند. یا شاید پاسخ «چیزی کاملاً جدید» باشد، او گفت – «یک حرکت واقعاً بدیع از نبوغ خلاقانه... ما همیشه با تکنیکهای ریاضی رادیکالاً جدیدی برای حل مسائل روبرو میشویم. چرا انتظار داشته باشیم که همین کار را برای فرضیه پیوستار انجام ندهیم؟»
البته، اثبات درست یا غلط بودن فرضیه پیوستار، تمام عدم تصمیمگیری را از بین نمیبرد.
میخواهم اجازه دهم همکار (و همسر) وانانن حرف آخر را بزند.
ژولیت کندی، فیلسوف ریاضیات و منطقدان ریاضی در دانشگاه هلسینکی، ویراستار کتاب تفسیر گودل: مقالات انتقادی
به راحتی میتوان حس شگفتی را نسبت به این واقعیت از دست داد که چنین مجموعه اصول موضوعی آشکار — اصول موضوعه پئانو برای حساب (مجموعهای از قوانین در مورد اعداد طبیعی ۰، ۱، ۲، ۳ ... که ارتباط نزدیکی با سیستمی دارند که گودل در اثبات خود استفاده کرد، مانند این قانون: «هر عدد جانشینی دارد») — اساساً ناتمام و غیرقابل تصمیمگیری است، به این معنی که تمام بسطهای سازگار قابل اصلبندی، ناتمام و غیرقابل تصمیمگیری هستند. این شگفتی را حفظ کنید! قضایای ناتمامیت به ما میآموزند که وقتی نوبت به تلاش ما برای تسلط بر نظم مفهومی میرسد، چه در ریاضیات و چه، در واقع، در هر حوزه دیگری، همیشه شکست خواهیم خورد — و در این مورد بیشتر از هر مورد دیگری، باید از این شکست خوشحال باشیم، زیرا شکست به وضوح پیامد جالبتر و عمیقتری بود.
