ناتمامیت گودل؛ وقتی نابغه‌ای ۲۴ ساله کاخ بی‌نقص ریاضی را برای همیشه فروریخت
ریاضی‌دانان می‌خواستند ماشینی بسازند که تمام حقایق جهان را اثبات کند، اما یک جوان بیست‌وچندساله با معادله‌ای عجیب، این رؤیا را همیشه نابود کرد.
ریاضی‌دانان می‌خواستند ماشینی بسازند که تمام حقایق جهان را اثبات کند، اما یک جوان بیست‌وچندساله با معادله‌ای عجیب، این رؤیا را همیشه نابود کرد.
در بنیادی‌ترین سطح ریاضیات، حفره‌ای تاریک وجود دارد که به ما می‌گوید هرگز نمی‌توانیم همه‌چیز را با قطعیت بدانیم. شاید همین حالا که این متن را می‌خوانید؛ گزاره‌هایی وجود داشته باشند که کاملاً درست‌اند، اما هیچ انسان، هیچ ابرکامپیوتری یا ریاضی‌دانی نمی‌تواند اثباتشان کند.
اعداد اول را در نظر بگیرید، بلوک‌های سازنده‌ی ریاضیات که فقط بر یک و خودشان بخش‌پذیرند و گاهی بافاصله بسیار کمی از هم ظاهر می‌شوند؛ مثل ۱۱ و ۱۳، یا ۱۷ و ۱۹. به این زوج‌ها اعداد اول دوقلو می‌گویند. هرچه در محور اعداد به سمت بی‌نهایت پیش می‌رویم، اعداد اول کمیاب‌تر می‌شوند و اعداد اول دوقلو از آن هم نادرتر.
حدس مشهوری می‌گوید بی‌نهایت عدد اول دوقلو وجود دارد و هرچقدر هم اعداد بزرگ‌تر شوند، زوج‌ها هرگز تمام نمی‌شوند. تا این لحظه کسی نتوانسته حدس را ثابت یا رد کند و شاید هرگز نتوانیم پاسخی برایش پیدا کنیم، شاید هم فردا هوش مصنوعی اثباتی برایش ارائه دهد و دوباره دنیای ریاضیات را به هم بریزد!
چکیده متنی: در آغاز قرن بیستم، دیوید هیلبرت امیدوار بود تمام ریاضیات را بتوان بر مجموعه‌ای محدود از اصول و قواعدی بی‌نقص بنا کرد؛ دستگاهی که هر مسئله‌ای را سرانجام حل کند. اما کورت گودل، نابغه‌ی جوان اتریشی، با تبدیل گزاره‌ها به عدد و ساختن جمله‌ای که درباره‌ی اثبات‌ناپذیری خودش سخن می‌گفت، نشان داد این رؤیا دست‌نیافتنی است. قضیه‌های ناتمامیت او ثابت کردند هر سیستم صوری سازگار و به‌اندازه‌ی کافی قدرتمند، حقیقت‌هایی دارد که نمی‌تواند آن‌ها را اثبات کند؛ سیستم حتی نمی‌تواند با تکیه بر قواعد خودش سازگاری‌اش را هم تضمین کند. این کشف مرز میان حقیقت و اثبات را برای همیشه تغییر داد.
ریاضیات را همیشه دقیق‌ترین زبان جهان می‌دانند، پس چرا خودش نمی‌تواند همه‌ی حقایق را ثابت کند و تکلیف این حفره چه می‌شود؟
بیایید داستانِ یکی از سرگیجه‌آورترین بحران‌های فکری تاریخ علم را مرور کنیم؛ بحرانی که با رؤیای بی‌نقص‌کردن ریاضیات شروع شد؛ به کشف دیواری غیرقابل‌عبور رسید، ریاضی‌دانان زیادی را به زانو درآورد و مسیرش از ماشین تورینگ هم گذشت.
سال ۱۸۷۴، گئورگ کانتور ریاضی‌دان آلمانی مقاله‌ای منتشر کرد که یکی از سرآغازهای نظریه‌ی مجموعه‌ها شد و درشکل‌گیری پایههای ریاضیات مدرن تاثیر زیادی داشت. در این چارچوب می‌توانستید هر چیزی را درون مجموعه‌ها دسته‌بندی کنید.
کانتور نشان داد حتی بی‌نهایت‌ها هم هم‌اندازه نیستند، اما راسل با یک معمای ساده کل این بنا را لرزاند
مجموعه‌ی تهی هیچ عضوی ندارد و در رویکرد ساده‌انگارانه‌ی اولیه حتی تصور مجموعه‌ای شامل همه‌چیز نیز ممکن به نظر می‌رسید، تصوری که بعداً دردسر آفرید.
دو مجموعه‌ی اعداد طبیعی و اعداد حقیقی را در نظر بگیرید. اعداد حقیقی علاوه بر اعداد صحیح، کسرها و اعداد کنگ را هم دربرمی‌گیرند. کانتور با استدلالی که امروز ب رهان قطری کانتور شناخته می‌شود، ثابت کرد تعداد اعداد حقیقیِ بین صفر و ۱، از تمام اعداد طبیعی که تا بی‌نهایت امتداد دارند؛ بیشتر است. بی‌نهایتِ اعداد طبیعی را شمارا و بی‌نهایتِ اعداد حقیقی را ناشمارا می‌نامند.
کار کانتور ضربه‌ای به ریاضیات سنتی زد و باعث شد جامعه‌ی ریاضی به دو مکتب فکری تقسیم شود.
جبهه اول یا شهودگرایان، ریاضیات را مخلوق ذهن انسان می‌دانستند و زیر بار بی‌نهایت‌های عجیب‌وغریب کانتور نمی‌رفتند. آنری پوانکاره زمانی گفته بود: «نسل‌های آینده، نظریه مجموعه‌ها را بیماری‌ای تلقی خواهند کرد که بشر سرانجام از آن بهبود یافته است.»
جبهه‌ی دوم یا فرمالیست‌ها باور داشتند می‌توان ریاضیات را به کمک نظریه مجموعه‌ها بر پایههای منطقیِ کاملاً امن و شکست‌ناپذیری بنا کرد. دیوید هیلبرت ریاضی‌دان افسانه‌ای آلمانی یکی از مشهورترین چهره‌های این مکتب بود که تقریباً در تمام شاخه‌های ریاضیات ردپایی از خود به جا گذاشت و سال ۱۹۱۵ هم‌زمان با اینشتین روی صورت‌بندی ریاضی نسبیت عام کار کرد.
هیلبرت باور داشت که یک سیستم اثبات ریاضیِ صوری و سخت‌گیرانه‌تر بر پایه‌ی نظریه مجموعه‌ها می‌تواند تمام بحران‌هایی را که طی یک قرن گذشته در ریاضیات سر باز کرده بودند، برای همیشه حل کند.
پارادوکس خودارجاعی ثابت کرد که پایه‌ای‌ترین تعاریف منطق چقدر شکننده و آسیب‌پذیرند
بیشتر ریاضی‌دانان هم با هیلبرت هم‌عقیده بودند، اما سال ۱۹۰۱، فیلسوف و ریاضی‌دان جوان بریتانیایی، برتراند راسل، دست روی نقطه‌ضعفی در نظریه مجموعه‌های کانتور دست گذاشت؛ حفره‌ای که پای مفهوم «خودارجاعی» را به میدان باز کرد.
طبق تعریف اولیه یک مجموعه می‌توانست شامل مجموعه‌های دیگر و حتی شامل خودش باشد. حتی می‌توان مجموعه‌ی تمام مجموعه‌ها را در نظر گرفت که آن مجموعه هم شامل خودش خواهد بود. راسل می‌پرسید اگر R مجموعه‌ی «تمام مجموعه‌هایی که عضو خودشان نیستند» باشد، آیا R عضو خودش هست یا خیر؟
اگر R عضو خودش نباشد، طبق تعریفی که برایش گذاشتیم (مجموعه‌ی چیزهایی که عضو خودشان نیستند)، پس باید عضو خودش باشد.
اما اگر عضو خودش باشد، باز هم طبق تعریف خودش (که فقط شامل مجموعه‌هایی است که عضو خودشان نیستند)، نباید عضو خودش باشد!
بیایید پارادوکس خودارجاعی را در قالب مثالی ساده شرح دهیم. فرض کنید در شهری قانونی وجود دارد که می‌گوید «یک آرایشگر فقط و فقط ریشِ کسانی را می‌تراشد که خودشان ریش خود را نمی‌تراشند». حالا آرایشگر ریش خودش را می‌تراشد یا نه؟ اگر بتراشد، قانون خودش را نقض می‌کند و اگر نتراشد، باز هم طبق قانون باید ریش خودش را بتراشد.
راسل همین معما را به زبان ریاضی و در قالب نظریه مجموعه‌ها مطرح کرد؛ پارادوکسی که نشان می‌داد که تعاریف پایه‌ای منطق چقدر شکننده‌اند. ریاضی‌دانان حس می‌کردند زیر پایشان خالی شده، انگار کل ساختمان پرشکوه ریاضیات روی یک حفره بنا شده بود.
ارنست زرملو و دیگر ریاضی‌دانانِ مکتب هیلبرت، با محدودکردن و دقیق‌تر کردن مفهوم مجموعه مشکل را حل کردند. در چهارچوب جدید، دیگر اجتماع تمام مجموعه‌ها یا اجتماع تمام مجموعه‌هایی که عضو خودشان نیستند اصلاً مجموعه محسوب نمی‌شدند.
هیلبرت می‌خواست با ساختن یک «سیستم صوری اثبات» بنیان‌های ریاضیات را برای همیشه بیمه کند. ایده‌ی دستگاه اثبات به یونان باستان برمی‌گشت، اما اصلاً سیستم صوری چیست؟ بازی شطرنج را در نظر بگیرید.
هیلبرت می‌خواست بنیان‌های ریاضیات را برای همیشه بیمه کند
شطرنج مجموعه‌ای از مهره‌ها، یک چیدمان اولیه و قوانینی دقیق برای حرکت‌دادن هر مهره دارد. برای بازی‌کردن، نیازی نیست بدانید اسب در دنیای واقعی چیست یا چرا به این شکل حرکت می‌کند؛ شما فقط نمادها (مهره‌ها) و قواعد حرکتشان را در نظر می‌گیرید. تمام وضعیت‌های ممکن در بازی، صرفاً از اعمال مکانیکی همین قوانین به دست می‌آیند.
در یک سیستم صوریِ بی‌نقص، اثبات‌کردن یک قضیه مثل فرآیند مکانیکی طبق مجموعه‌ای از قواعد مشخص و گام‌به‌گام پیش می‌رود. نیازی به شهود، معنا یا نبوغ نیست؛ فقط باید نمادها را طبق قوانین جابه‌جا کنید. هیلبرت می‌خواست در چنین سیستمی سازگار بودن، کامل‌بودن و تصمیم‌پذیری ریاضیات را ثابت کند.
هدف نهایی، ساختن ماشین حقیقتی بود که تکلیف درستی یا نادرستی هر گزاره‌ای را برای همیشه روشن کند
هیلبرت می‌گفت هیچ مسئله‌ی ریاضی ذاتاً حل‌ناشدنی نیست و عقل انسان سرانجام می‌تواند پاسخش را پیدا کند و حتی خوش‌بینی‌اش را به علوم طبیعی هم تعمیم می‌داد. به نظر می‌رسید ریاضیات دارد به کمال مطلق می‌رسد، سیستمی که مانند ماشین تولید حقیقت عمل می‌کند و هیچ رخنه‌ای در آن وجود ندارد.
همه منتظر بودند تا آخرین محموله از سیمان منطق ریخته شود و حفره‌ی دنیای ریاضیات را برای همیشه ببندد. اما هیچ‌کس انتظار نداشت که یک جوان بیست و چند ساله اتریشی کل این رؤیا را برای همیشه ویران کند.
سپتامبر ۱۹۳۰، شهر کونیگسبرگ میزبان کنفرانسی بود که بزرگ‌ترین ریاضی‌دانان و فیلسوفان علم را گرد هم می‌آورد. امید و هیجان در فضا موج می‌زد و دیوید هیلبرت همان روزها سخنرانی مشهورش، «شناخت طبیعت و منطق» را ایراد کرد و قاطعانه به گروهی تاخت که معتقد بودند بعضی مسائل برای همیشه خارج از دسترس شناخت انسان باقی می‌مانند.
هیلبرت سخنرانی‌اش را در تقابل با دیدگاه «ما نخواهیم دانست»؛ با این جمله به پایان رساند:«ما باید بدانیم؛ ما خواهیم دانست»، جمله‌ای که بعدها روی سنگ قبر او حکاکی شد.
درست یک روز قبل از این سخنرانی، در نشستی کوچک‌تر کورت گودل منطق‌دان ۲۴ ساله نتیجه‌ای را اعلام کرده بود که مستقیماً به رؤیای هیلبرت درباره‌ی سیستم کامل ریاضی ضربه می‌زد؛ او می‌گفت ساختن دستگاهی صوری که هم سازگار باشد و هم تمام حقیقت‌های حساب را تعیین تکلیف کند، ممکن نیست.
گودل اشاره کرد که در یک سیستم صوری مشخص می‌توان گزاره‌ای ساخت که درستی‌اش کاملاً بدیهی باشد، اما در چارچوب قوانین همان سیستم ریاضی اثباتی برایش پیدا نشود. در آن جلسه تقریباً هیچ‌کس به حرف‌های این جوان توجه نکرد، به جز جان فون نویمان، شاگرد سابق هیلبرت که گودل را کناری کشید تا سؤالات بیشتری بپرسد.
گودل نشان داد هیچ دستگاه صوری سازگار و الگوریتمی که حساب را بیان کند، نمی‌تواند هم‌زمان کامل باشد
چند ماه بعد در سال ۱۹۳۱ ، گودل مقاله‌ی اثبات تاریخی‌اش را منتشر کرد و این بار، تمام دنیا از جمله خودِ هیلبرت در بهت فرو رفتند. گودل به‌روشنی نشان می‌داد که نمی‌توان دستگاهی صوری، سازگار، کامل و دارای اصول و قواعد مکانیکی ساخت که حساب مقدماتی را نیز در خود جای دهد.
پیام گودل مانند پتکی تک‌جمله‌ای بر سر جامعه علمی فرود آمد، حقیقت و اثبات‌پذیری در سیستم اصلاً معادل هم نیستند. هیلبرت اشتباه می‌کرد. قضیه‌ای ناتمامیت اول به زبان ساده می‌گفت:
در قضیه ناتمامیت اول، نکته‌ی بسیار ظریفی وجود دارد که معمولاً نادیده گرفته می‌شود. گودل نگفت گزاره‌ای وجود دارد که مطلقاً قابل‌اثبات نیست. او می‌گفت که آن گزاره در چارچوب همان سیستم صوری خاص قابل‌اثبات نیست.
شاید بگویید: «خب، اگر یک حقیقت درست باشد اما اثبات نمی‌شود، ما آن را به‌عنوان قانونی جدید (اصل موضوعه) به سیستم اضافه می‌کنیم تا مشکل حل شود.» گودل نشان داد که بله، شما با این کار سیستم جدید و بزرگ‌تری می‌سازید که آن خلأ خاص را پر می‌کند، اما سیستم بزرگ‌تر نیز گزاره‌های تصمیم‌ناپذیر تازه‌ای خواهد داشت که با قواعد خودش اثبات یا رد نمی‌شوند.
قضیه‌ی ناتمامیت فاصله‌ی بنیادین میان حقیقت و اثبات‌پذیری در یک دستگاه صوری را آشکار کرد
مثل‌اینکه بخواهید از نردبانی بی‌انتها بالا بروید؛ هر پله جدیدی که می‌سازید تا به حقیقتی برسید، پله‌های ناپیدای دیگری را در ارتفاعی بالاتر ایجاد می‌کند که دستتان به آن‌ها نمی‌رسد. حقیقت همیشه یک‌قدم جلوتر از اثبات حرکت می‌کند.
اما گودل چگونه توانست مفهومی انتزاعی و عجیب را با زبان سخت ریاضیات اثبات کند؟ حالا باید به ماشین خودارجاعی گودل و یکی از درخشان‌ترین ترفندهای تاریخ منطق رجوع کنیم.