این جلسه ابهامزدایی از نتایجِ دقیقِ قضیهٔ گودل را از میراثِ دقتِ اقلیدسی و عطشِ صوریسازی تا سه لایۀ برنامۀ هیلبرت میکشاند، حدِ تمامیت و سازگاری را روشن میکند، شهودگرایی را در برابرِ بازیِ نماد مینشاند، استدلالهایِ شتابزدۀ ذهنوماشین را از نتیجۀ واقعی جدا میکند، و نشان میدهد شعارِ دقتِ مطلق خودْ حد دارد و امنسازیِ نهایی از راه صورت ممکن نیست.
اعترافها و افقِ خوانش
بحث با چند اعترافِ روشی آغاز میشود تا قراردادِ فهم روشن شود. نخست اینکه قضیۀ گودل نه فقط ستونِ منطقِ ریاضی که از بزرگترین رویدادهایِ علمیِ قرنِ بیستم شمرده میشود؛ اگر اغراق باشد، اغراق در کمشمردن آسانتر از زیادشمردن است. دوم اینکه پیوندهایی میانِ این قضیه و صورتبندیهایِ فیزیکِ نوین — از جمله تنشهایِ تعبیر در مکانیکِ کوانتومی — قابلِ اشارهاند، بیآنکه یکی به دیگری فروکاهد یا جایِ برهان بنشیند. سوم، و از نظرِ مسیرِ فکری تعیینکننده، اعتراف به سابقۀ فرمالیسم است: «خب من اول یک با اعترافات شروع بکنم چند تا نکته قبلاً» و اکنون همان موضع رها شده و انگیزۀ طرحِ مباحثه تا اندازهای همین توبه است. اگر هنوز کسی در افقِ فرمالیستیِ مطلق آسوده باشد، خودِ قضیه میتواند آن آسودگی را به هم بزند.
این اعترافها حاشیۀ شخصی نیستند؛ افقاند. خواننده باید بداند بحث ستایشِ محضِ یک قضیه یا نمایشِ نبوغ نیست؛ روایتِ جابهجاییِ یک امید است: امیدی که میخواست ریاضیات را یکبار برای همیشه در قالبِ نماد و قاعده امن کند و از ترسِ پارادوکس برهاند. وزنِ تاریخیِ قضیه وقتی حس میشود که آن امید جدی گرفته شود. کسی که هیچگاه جذابیتِ برنامهٔ صوری را نچشیده، سنگینیِ شکستش را هم نمیفهمد و به همین دلیل ممکن است گمان کند قضیه فقط یک بندِ فنی در کتابِ منطق است.
ساختارِ بحث از همین قرارداد پیروی میکند: تاریخِ کوتاهِ میل به دقت؛ بیانِ نیمهدقیقِ آنچه از قضیه برمیآید و آنچه برنمیآید؛ نتایج در فلسفۀ ریاضی با تکیه بر آنچه خودِ گودل برجسته کرده؛ و سرانجام کاربردها و سوءبرداشتها در فلسفۀ ذهن و پروژههایِ هوش مصنوعی. بدونِ تاریخ، قضیه شعبده میماند؛ بدونِ دقتِ بیان، از آن هر نتیجهای میتراشند؛ بدونِ فلسفۀ ذهن، بحث در انتزاعِ منطقی میخشکد؛ و بدونِ نقدِ سوءبرداشت، هیجان جایِ استدلال را میگیرد.
باریککردنِ ادعا اینجا کوچکشمردن نیست. قضیۀ گودل بارها برای اثباتِ چیزهایی به کار رفته که منطقاً از آن بیرون نمیآید. بخشِ بزرگی از کار دقیقاً جدا کردنِ نتیجههایِ واقعی از نتیجههایِ تبلیغاتی است. تنها با این باریکسازی است که میتوان هم حدِ واقعی را دید و هم از اسطورهسازی پرهیز کرد.
میراثِ اقلیدس و عطشِ صوریسازی
ریشه از الگویِ دقت در یونان آغاز میشود. «سؤال بن بعضی از چیزایی که ما پیشفرض داریم زیر سال ببریم اینو قبول داریم کنیم» بلکه از آنرو که قرنها معیارِ دقت شد: آغاز از بدیهیات و پیشرفتن با برهان تا بنایی که گویی نمیتوان تکانش داد. این الگو از هندسه فراتر رفت و در فلسفه سرمشق شد؛ کوشیدند اخلاق و مابعدالطبیعه را نیز به هیئتِ زنجیرهای از اصول و نتایج درآورند. جذابیتِ کار در این بود که گمان میرفت اگر از جاهایِ بسیار محکم شروع کنی و فقط با قواعدِ مجاز پیش بروی، شک جایی برای ماندن ندارد.
سدهها بعد، کشفِ هندسههایِ نااقلیدسی همان اطمینانِ پنهان را ترکاند. نه اینکه برهانهایِ اقلیدس یکشبه باطل شوند، بلکه این ادعا که هندسه همین است و جز این نمیشود فرو ریخت. شکافی در تصورِ کاخِ کامل پدید آمد. همزمان منطقِ نمادین، اصلموضوعیکردنِ حساب، و نظریۀ مجموعهها با کانتور همه در جهتِ بالا بردنِ سطحِ دقت بودند. «بشید یا برنامههای جدید داشته باشید یا اینکه» رسید که با اصلموضوعیکردنهایِ قدیم فقط شباهتِ لفظی داشت: حالا باید مفهومهایِ تعریفنشده، رابطهها و قواعدِ استنتاج چنان صریح شوند که استنتاج تقریباً ماشینی شود و میانۀ برهان به شهودِ خام متوسل نشود.
صوریسازیِ واقعی یعنی تخلیۀ معنا از میانِ نمادها در هنگامِ استنتاج؛ باید «از واژگانی داره استفاده میکند واژگان رو به واژگان» بازیِ نماد دید. همۀ آنچه ممکن است ابهام بیاورد باید پیشاپیش در اصول و تعاریف تخلیه شود. این کار دشوار و گاه شلوغ است، اما وعدهاش بزرگ بود: دستگاهی که اگر اصول و منطق را بپذیری، درستیِ استنتاجهایش دیگر محلِ چونوچرا نیست. برای کسی که ریاضیات را با ترس از پارادوکس میزیست، این وعده شبیه رهایی بود. پارادوکسهایِ نظریۀ مجموعهها و بحرانهایِ مبانی همان عطش را تندتر کردند: اگر بتوان سازگاری را با روشهایِ موردِ اعتماد ثابت کرد، تشویشِ دائمیِ فردایِ متناقض آرام میگیرد.
زیباییِ این ایده توضیح میدهد چرا فرمالیسم برای بسیاری جذاب بود. نه از سرِ خشکیِ طبع، از سرِ آرزویِ امنیتِ معرفتی. امید این بود که با نماد و قاعده بتوان یکبار برای همیشه ریاضیات را از شبحِ تناقض رهاند و همزمان دستِ ریاضیدان را در بازی با صورتها باز گذاشت، بیآنکه هر لحظه به شهودِ لغزان رجوع کند. هر چه این امید درخشانتر تصویر شود، سنگینیِ اصابتِ بعدی روشنتر میشود.
برنامۀ هیلبرت و سه نقطهای که فرو میریزد
برنامۀ هیلبرت چند لایۀ تو در تو داشت. نخست اینکه «بعد یک دفعه میبینیم که نه میشود سرمون روشن خورد به» و در قالبِ نظامی درآید که «ثابت کنه در واقع سازگاری رو برای اینکه همیشه داشت». دوم اینکه «حساب رو به اندازه یعنی همین گزارههای حسابی که ما» سازگاریِ آن نظامِ بزرگ ثابت شود؛ یعنی با ابزاری که کمتر محلِ تردید است، امنیتِ کل تضمین گردد. سوم، بهعنوانِ آرمانِ مکمل، نشان داده شود روشهایِ نامتناهی هیچ نتیجهای در حساب نمیدهند که با روشهایِ متناهی و اصولِ خودِ حساب دسترسپذیر نباشد. این سه لایه با هم برنامهای آرامشبخش میساختند: صوری کن، امن کن، و نشان بده نامتناهی چیزی زیاده و خطرناک به نتایجِ متناهی نمیافزاید.
قضیۀ گودل، اگر برنامه را همینگونه بفهمیم، به هر سه نقطه اصابت میکند. نخست، حتی حساب را نمیتوان در یک نظامِ صوریِ بهاندازۀ کافی قوی و سازگار چنان بست که همۀ حقایقِ حسابیاش را اثبات کند. دوم، هیچ نظامی بهاندازۀ کافی قوی نمیتواند سازگاریِ خودش را از درون ثابت کند؛ چه رسد به آنکه با ابزارِ متناهیِ محدود، سازگاریِ کلِ ریاضیاتِ نامتناهی تضمین شود. سوم، دقیقاً گزارههایی هستند که با روشهایِ متناهیِ صرف به آنها نمیرسیم در حالی که در افقِ ریاضیاتِ گستردهتر اثباتپذیرند. بنابراین اگر آن سه نقطه را قلبِ برنامه بدانیم، «این سؤال یک اکنون به شدت بود دلیل اینکه ح وقتی» میماند از آن آرزویِ کامل.
تصویرِ اصابت به مرکز مهم است: «خیلی ایده فوقالعاده به نظر من جذابیه من فقط شخصاً». نمیتوان با جدا کردنِ یک بندِ فرعی برنامه را نجات داد و لذتِ امنسازیِ نهایی را نگه داشت. آنچه میخواست همه را راحت کند — خلاصی از پارادوکس با تضمینِ نهایی — دیگر به آن شکل قابلِ انجام نیست. ممکن است بازسازیهایِ تازهای از منطقگرایی یا برنامههایِ ضعیفشده پیشنهاد شود؛ اما همان کاری که هیلبرت میخواست، یعنی امنسازیِ کامل از راه صوریسازیِ جامع، از دست رفته است. حتی اگر کسی بگوید منظورِ تاریخیِ هیلبرت چیزِ دیگری بوده، آن برنامهای که واقعاً آرامش میبخشید دیگر برقرار نیست.
اینجا باید میانِ ردِ برنامه و بیارزششدنِ روشِ صوری فرق گذاشت. ریاضیاتِ امروز همچنان با نظامهایِ صوری، اثباتهایِ ماشینیپذیر و دقتِ نمادین پیش میرود. آنچه مرده توهمِ تمامیت و خودتضمینی است، نه سودِ موضعیِ صورت. کسی که بگوید چون گودل آمده دیگر صورت بیفایده است همانقدر خطا کرده که کسی که بگوید صورت همچنان میتواند همهچیز را ببندد. صورت ابزارِ کار است؛ دیگر سپرِ نهایی نیست.
آنچه برمیآید و آنچه برنمیآید
بیانِ نیمهدقیق برای جلوگیری از سوءتفاهم ضروری است. در هر نظامِ صوریِ بهاندازۀ کافی غنی برای بیانِ حساب، اگر نظام سازگار باشد، گزارههایی هست که درستاند اما در خودِ نظام اثبات نمیشوند؛ و سازگاریِ نظام نیز از درونِ همان نظام اثباتپذیر نیست. این حد با بزرگکردنِ نظام بهسادگی از بین نمیرود: نظامِ بزرگتر باز هم گزارۀ اثباتناپذیرِ خود را دارد. خیالِ آنکه ماشینی کافی بسازیم که همهچیز را تمام کند دقیقاً با همین حد برخورد میکند.
از این بیان چند نتیجۀ منفیِ روشن میآید. یکی ردِ این ادعا که حساب را میتوان یکسره به منطقِ مرتبۀ اولِ محض فروکاست و بست؛ «نماد رو از بین پاک کنه ببینه مثلاً عدد رو اولین بار» به معنایِ تمامیتِ موردِ آرزو. دیگر اینکه قراردادگراییِ افراطی که گزارۀ ریاضی را فقط قراردادِ زبانی ببیند، از دیدِ گودل با نتایجِ خودش ناسازگار میشود. قضیه برای ابطالِ مستقیمِ همۀ مکاتب نیامده؛ اما دشمنانِ اعلامشدۀ فکریاش را نشانه میگیرد و از جمله افقهایی را که حقیقتِ ریاضی را به توافقِ صرفِ زبانی فرو میکاهند تضعیف میکند.
آنچه برنمیآید به همان اندازه مهم است. از قضیه نمیتوان یکخط نتیجه گرفت که ذهن مطلقاً ماشین نیست به معنایِ متافیزیکیِ تمام. نمیتوان نتیجه گرفت ریاضیات بیمعناست یا اثبات هیچارزشی ندارد. نمیتوان هر برنامهیِ ضعیفشدۀ منطقگرایی را پیشاپیش محال دانست؛ میتوان فقط گفت آن آرزویِ کامل دیگر در دسترس نیست. دقتِ منفی — دانستنِ آنکه چه چیز را نباید نتیجه گرفت — بخشِ جداییناپذیرِ فلسفۀ این قضیه است و کمتر از خودِ قضیه هیجانانگیز، اما برای جلوگیری از خرافه ضروری است.
نمونۀ کلاسیکِ سوءبرداشت، استدلالهایی است که میگویند انسان درستیِ گزارۀ گودلی را میبیند و ماشین نمیبیند، پس انسان از هر ماشینی برتر است. اشکال این است که ما درستیِ آن گزاره را مطلق و بیشرط نمیبینیم؛ آن را به شرطِ سازگاریِ نظام میفهمیم. «پس فردا یک نفر مییشد ایک اول نیست در ایک بعدم یک نفر» و این شرط را ماشین و انسان هر دو باید به دوش بکشند. فراموشیِ همین شرط منشأِ بسیاری از ادعاهایِ شتابزده دربارۀ ذهن است و تأکیدِ پایانیِ بحث نیز دقیقاً رویِ همین است: آنچه نتیجه میگیریم «وضعیتی داریم که اینو مینویسیم اول یک چیزی و انگار در» به صورتِ مشروط است نه مطلق.
شهودگرایی در برابرِ بازیِ نمادها
«جالب یک چیز دیگر که دقیقا رد میشود گدال ما». فرمالیسم برای گریز از تناقض میکوشد معنا را از نماد خالی کند و بازی را با قواعد پیش ببرد. شهودگرایی میگوید ریشۀ خطر همانجاست: «و نمیشود حفظ کرد اگر برنامه میزات این دیگر به طور» و وقتی آن را به نمادِ بیمهار ترجمه میکنیم، نماد بازیِ خودش را آغاز میکند. «داده ولی اکنون کسایی هستن که برنامههای هی گرد در» و به جاهایی میرسند که شهود هرگز اجازه نمیداد. تناقضِ مجموعهها مثالِ نمونه است: عضویت و مجموعه در شهودِ محدود مشکلی ندارد؛ وقتی قاعده آزاد بماند، مجموعۀ همۀ مجموعههایی که عضو خود نیستند ساخته میشود و فاجعه میآید.
از این منظر زبانِ نمادین فقط ابزارِ ثبت نیست؛ میتواند شهود را فاسد کند. عادت به بازیِ نمادها کمکم چیزی را در درون دیده مینمایاند که در واقع بازتابِ قاعده است نه شهودِ اولیه. «آرزوی میشود نمیشود با برنامه بگیر بدین آرزوی ۱۷» و انسان را بدعادت کند تا همان نادرست را در درون نیز ببیند. برنامهٔ شهودگرایانه در روایتِ تندش شبیه سلوک است: پاککردنِ لایههایِ زبانی و بازگشت به فهمِ اولیۀ عدد و ساخت، و فقط پذیرفتنِ آنچه واقعاً ساخته میشود. شباهتِ این سلوک به افقهایِ عرفانی از نظرِ این خوانش عیب نیست؛ نشان میدهد مسئله بر سرِ نسبتِ حقیقت و زبان است.
نسبتِ شهودگرایی با قضیۀ گودل مستقیمِ تأیید یا رد نیست. چون فرمالیسم از قضیه سخت ضربه خورده، بهطورِ نسبی فضا برایِ شهودگرایی بازتر میشود؛ اما این به معنایِ اثباتِ تمامِ اجرایِ ریاضیِ شهودگرایانه نیست. حتی ممکن است برخی تزهایِ اجرایی با روحِ نتایجِ گودلی در تنش باشند. آنچه مهم است تفکیکِ ایده از اجرا است: ایدۀ تقدمِ شهود بر بازیِ بیمهارِ نماد با شکستِ وعدۀ فرمالیستی همافق است؛ جزئیاتِ اینکه کدام برهانها مجازند بحثِ جداگانهای میطلبد.
در همین افق، عبارتِ قدیمی که «من میبینم که این چیست و معنیش چیست استفاده نکنید» فقط شعار نیست؛ توصیفِ مکانیسمی است که شهودگرایی جدی میگیرد. زبان وقتی خادمِ فهم باشد ابزار است؛ وقتی ارباب شود میتواند گزارههایِ بیریشه تولید کند. قضیۀ گودل از زاویۀ دیگر نشان میدهد حتی در دقیقترین بازیها نیز تمامیت و خودبسندگی به دست نمیآید؛ شهودگرایی همین را از زاویۀ فسادِ شهود بهدستِ نماد میگفت.
ذهن، ماشین، و حدِ ادعا دربارۀ هوش
پرسشِ فلسفۀ ذهن این است که آیا ذهن ماشین است به معنایِ نظامِ صوریِ محاسبهپذیر، و آیا میتوان ماشینی ساخت که ریاضیات را در حدِ انسان تولید کند. استدلالِ خام منسوب به لوکاس چنین خلاصه میشود: برای هر ماشینِ حسابدان، گزارۀ گودلیای هست که انسان درستیاش را میبیند و ماشین اثباتش نمیکند؛ پس انسان ماشین نیست. چنانکه گفته شد این استدلال شرطِ سازگاری را فراموش میکند و از اینرو درستیِ مطلقِ گزارۀ گودلی را بهخطا به انسان نسبت میدهد.
نسخۀ محتاطتر — با وام از پنروز و مفهومِ ماشینِ درستکارِ شناختهشده — چیزِ دیگری میگوید. ما نمیتوانیم همزمان ماشینی داشته باشیم که بدانیم کاملاً درست و سازگار کار میکند و همان ماشین همۀ حقایقِ حسابیای را که ما میپذیریم تولید کند. اگر بدانیم سازگار است، گزارۀ گودلیاش را میپذیریم در حالی که خودِ ماشین آن را از درون نتیجهگیری نمیکند. این حد پروژهای مهندسی را که بخواهد روزی دستگاهی قابلِ شناسایی و قابلِ اعتمادِ کامل رویِ میز بگذارد و بگوید این معادلِ کاملِ فهمِ حسابیِ بشر است، از درون متناقض میکند. تناقض در ادعایِ توأمانِ شفافیتِ کامل و تمامیتِ حسابی است، نه در اصلِ ساختنِ ابزارِ هوشمند.
اما خودِ گودل راه را بر وجودِ ماشینِ همارزِ شهودِ ریاضی نمیبندد. میگوید «بالاتری در واقع برسیم در ریاضیات شما اگر میخواید»؛ حتی شاید بهصورتِ تجربی با آن روبهرو شویم. آنچه رد میشود نه وجود که ادعایِ اثباتشدۀ همارزی و اعتمادِ تمامعیار است. ممکن است چنین ماشینی باشد و خوب هم کار کند، اما نتوانیم ثابت کنیم که همیشه فقط قضایایِ درست را میدهد و سازگار است. «نهایتاً همه چیزهای رو در واقع میخواید رو دقیقاً» در کار نیست؛ ردِ ادعایِ معرفتی است نه ردِ امکانِ وجود. وجود غیر از گواهیِ معرفتی است.
نتیجه برای هوش مصنوعی دو لایه دارد. اگر پروژه یعنی ساختنِ دستگاهی که همهیِ قدرتِ ریاضیِ بشر را با ضمانتِ کاملِ سازگاری و شفافیت تحویل دهد، با این حد نمیخواند. اگر پروژه یعنی ساختنِ نظامهایِ بسیار توانا که در عمل مسئله حل میکنند بیآنکه ادعایِ تمامیتِ فلسفی داشته باشند، راه باز است. خلطِ این دو منشأِ هم هیجانِ بیجا و هم یأسِ بیجا است. قضیه نه مرگِ ماشین که مرگِ توهمِ ماشینِ خودتضمین است. احتمالِ آنکه ذهن در لایهای ماشینگونه باشد منطقاً بسته نشده؛ آنچه بسته شده پروژهای است که بخواهد همزمان بشناسد، تضمین کند و تمام کند.
جریانِ صوری، هزینۀ دقت، و خدشهپذیریِ برهانِ فلسفی
فراتر از نتیجههایِ منطقیِ خشک، قضیه درونِ یک جریانِ تاریخیِ بزرگتر مینشیند: جریانی که میتوان نامش را میلِ فراگیر به صوریسازی در قرنِ بیستم گذاشت — از مبانیِ ریاضی تا «گرفت وجود داره من وزیر گزار دقیقاً بیان میکنم و سعی» و آرزویِ شفافیتِ کامل. وقتی چنین جریانی به مانع میخورد، واکنشِ سطحی این است که فقط یک قطعه را عوض کنیم و همان امید را نگه داریم. واکنشِ عمیقتر ریشهیابی است: چرا اصلاً اینهمه به صوریسازی دل بستیم؟
پاسخِ اولیه روشن است. میخواستیم ابهام نماند؛ متنی بنویسیم که خوانندهاش همان را بفهمد که نویسنده اراده کرده، و با قواعدِ منطق نتایجی بگیریم که درستیشان وابسته به سلیقه نباشد. این خواسته در ریاضیات و بیرون از آن مشترک است. اما «خب من اول یک با اعترافات شروع بکنم چند تا نکته قبلاً» اگر بهصورتِ شعارِ مطلق درآید. دقتِ صوری هزینه دارد: زبانِ صوری بخشی از غنا و انعطاف را میگیرد. کسانی که معانیِ متراکم در ذهن دارند گاه به زبانهایِ دشوار و غیرصوری پناه میبرند؛ نه لزوماً از سرِ رمزبازی، از سرِ ناتوانیِ قالبِ خشک در حملِ آن معنا. اصرار بر اینکه فقط صورتِ کامل حقیقت است، خود نوعی نابینایی به لایههایِ فهم است.
استعارۀ طیف مفید است: در دو سرِ افراط — بیدقتیِ محض و صوریسازیِ مطلق — بازدهی پایین است و جایی در میان بیشینه میشود. از نقطهای به بعد افزودنِ دقتِ صوری نه تنها سود نمیدهد که فهم را میکاهد. این مشاهده با خودِ قضیه همصدا است: حدی درونی برای تمامیتِ صوری هست. پس دقیقتر شدنِ بیپایان نه قانونِ پیشرفت که خیالِ خطی است. شعاری که میگوید هرچه صوریتر بهتر، خودش را نقض میکند چون از جایی به بعد بازدهی منفی میشود.
سرانجام ادعایی کلیتر دربارۀ فلسفهورزی: چیزی به نامِ اثباتِ فلسفیِ کاملاً دقیق و نفوذناپذیر وجود ندارد. هر استدلالِ فلسفی از واژگان و رمزگذاریِ مفاهیم عبور میکند؛ غیر از میانۀ صوریِ کار، دو سرِ انتخابِ واژه و بازترجمۀ معنا همیشه جایِ خدشه دارد. میتوان پرسید آیا این واژه همان است که میپنداری، و آیا این رمزگذاری مشروع است. این خدشهپذیری به معنایِ نسبیانگاریِ مطلق نیست؛ به معنایِ فروتنیِ روشی است. حتی بهترین براهینِ فلسفی را میتوان از لبه زیر سؤال برد، و همین است که فلسفه را از ریاضیاتِ صوری جدا نگه میدارد.
قضیۀ گودل در این افق نه فقط حدِ حساب که یادآوریِ حدِ آرزویِ امنسازیِ کامل است. یا باید از راهی جز صوریسازیِ تام رفت — مثلاً افقهایِ شهودگرایانه یا برنامههایِ تازه — یا باید با ریاضیاتی ساخت که سازگاریاش را دیگر نمیتوان از درون مثلِ یک سپرِ نهایی به رخ کشید. ریاضیدانان عملاً با گزینۀ دوم زندگی میکنند: پیش میروند بیآنکه تضمینِ مطلقِ سازگاری در جیب داشته باشند. فلسفه باید این زندگیِ بدونِ تضمینِ نهایی را جدی بگیرد، نه آنکه هر بار با یک نظامِ بزرگتر همان توهم را بازسازی کند. قلبِ برنامۀ هیلبرت، اگر تضمینِ نیافتنِ تناقض باشد، دیگر با ابزارِ صوریِ تام به دست نمیآید؛ و پذیرشِ این جمله، آغازِ پختگی است نه پایانِ سختگیریِ علمی.
تکرارِ این مرزبندی از آن روست که سدهٔ ما دوباره همان وسوسه را با زبانی تازه زنده کرده است: امنیتِ کامل از راهِ صوریسازی، حالا در قالبِ الگوریتم و داده. گودل یادآوری میکند که غنایِ بیان و تمامیتِ اثبات با هم بهسادگی جمع نمیشوند. هرچه زبانِ توصیفِ جهان تواناتر شود، امیدِ بستنِ همهٔ درها با یک نظامِ واحد کمتر میشود نه بیشتر.
این یادآوری ضدِ علم نیست؛ ضدِ اسطورهٔ علمِ بیکران است. اسطوره وقتی بشکند، جا برایِ کارِ واقعی باز میشود: برهانهایِ موضعی، نظامهایِ باز، و فلسفهٔ فروتن. همانطور که ریاضیدان پس از گودل دست از کار نکشید، فیلسوف و مهندس هم نباید دست بکشند؛ فقط باید سقف را ببینند.
همین فروتنیِ روشی پیامدِ عملی دارد. بحثهایِ فلسفیِ پیرامونِ گودل غالباً در دایرهای بسته میانِ کسانی میچرخد که پیشفرضهایِ منطقیِ مشترکی دارند و کمتر کسی از بیرونِ آن دایره پیشفرضها را زیر سؤال میبرد. این همگراییِ ضمنی میتواند هم دقت بیافریند و هم کورسویی از نقدِ ریشهای را خاموش کند. اگر هدف فهمِ حد باشد نه برندهشدن در جدل، باید هم به خودِ قضیه وفادار ماند و هم به یاد داشت که حتی بیانِ دقیقِ فلسفیِ آن حد، باز هم از واژگان و رمزگذاری عبور میکند و از اینرو همیشه لبهٔ خدشه دارد.
→ متنِ کاملِ این جلسه