کورت گودل

در درس‌گفتارها، «کورت گودل» در مسیرهای مشخصی دنبال می‌شود: ریب در قرآن، شهود واقعیت و نقد برهان‌های فلسفی.

در مجموعه «تفسیر سوره حج»، جلسه «زبان، اثبات، فرمالیسم و امکان سخن گفتن از دین»، بخش «ریب در قرآن، شهود واقعیت و نقد برهان‌های فلسفی»، موضوع «کورت گودل» در زمینهٔ قرآن، ریب و دیدنِ شهودیِ واقعیت، اثبات، انس، جنین و خیر قرار می‌گیرد. در بخش، «قرآن، ریب و دیدنِ شهودیِ واقعیت» محور بحث است. در مخابرات، فرستنده می‌خواهد پیامی را برای گیرنده بفرستد. در نظریهٔ ادبی هم نویسنده، شاعر یا ادیب متنی می‌نویسد تا چیزی از هستی را بیان و به مخاطب منتقل کند. حرکت درونی بخش از فرمال، زبان، شهود، بیان و اثبات عبور می‌کند و این نشانه‌ها را به قرآن، ریب و دیدنِ شهودیِ واقعیت، اثبات، انس، جنین و خیر پیوند می‌زند. به این ترتیب، مسیر بحث از عنوان جلسه به مسئلهٔ خاص همین بخش می‌رسد و جایگاه «کورت گودل» را در همان زنجیره روشن می‌کند. نمونه‌ها و نام‌های همراه بحث، ویتگنشتاین، گودل، هود، شریف و طور هستند و نشان می‌دهند بخش از سطح نام‌بردن عبور می‌کند. بنابراین سهم «کورت گودل» در این بخش از دل همین استدلال و نمونه‌ها فهمیده می‌شود، نه از معنایی بیرون از گفتار. [۱]

در جمع‌بندی، «کورت گودل» در امتداد ریب در قرآن، شهود واقعیت و نقد برهان‌های فلسفی معنا می‌گیرد. مسیر شواهد در تفسیر سوره حج نشان می‌دهد که بحث از نام‌بردن ساده فراتر می‌رود و به شبکهٔ مسئله‌هایی می‌رسد که خود درس‌گفتارها ساخته‌اند.

در جلسهٔ چهل‌وششم از سلسلهٔ «دفاع عقلانی از دین»، مدرس برای توضیح محدودیت‌های ذاتی یک نظام فکری، به سراغ نمونه‌ای از ریاضیات مدرن می‌رود. او پس از اشاره به اینکه بسیاری از افراد بدون مبانی روشن، صرفاً بر اساس آنچه در جوامع پیشرفته می‌بینند عمل می‌کنند، کورت گودل را به بحث می‌آورد. هدف از این ارجاع، نشان‌دادن شکافی است میان شهود عمومی و واقعیت‌های منطقی: «گودل ثابت کرد که یک سری گزاره‌ها تصمیم‌ناپذیر هستند؛ یعنی نمی‌توان در یک سیستم اصول موضوعی گفت که این گزاره درست است یا غلط» (دفاع عقلانی از دین، جلسهٔ ۴۶ — هدف احکام و نیاز به بینه برای تغییر در فرم احکام) [۱۰]. این نقل نشان می‌دهد که سخنران از گودل نه به‌عنوان یک فیلسوف، بلکه به‌مثابهٔ کاشف یک مرز منطقی استفاده می‌کند؛ مرزی که در آن، قدرت یک سیستم برای تصمیم‌گیری دربارهٔ همهٔ گزاره‌ها به پایان می‌رسد.

تأکید مدرس بر واژهٔ «تصمیم‌ناپذیر» و نه صرفاً «اثبات‌ناپذیر»، هستهٔ اصلی برداشت او از قضیهٔ گودل را شکل می‌دهد. او توضیح می‌دهد که مسئله فقط دشواری در یافتن اثبات نیست، بلکه اساساً در چارچوب یک سیستم اصول موضوعی، نمی‌توان دربارهٔ درستی یا نادرستی برخی گزاره‌ها تصمیم گرفت. این تمایز برای او چنان مهم است که آن را در برابر شهود معمولی ریاضیدان‌ها قرار می‌دهد: «به طور طبیعی آدم‌ها فکر می‌کنند هر چیزی یا درست است یا غلط، پس اگر درست باشد باید بتوان آن را اثبات کرد و اگر غلط باشد باید بتوان آن را رد کرد، ولی این‌گونه نیست» (دفاع عقلانی از دین، جلسهٔ ۴۶ — هدف احکام و نیاز به بینه برای تغییر در فرم احکام) [۱۱]. مفسر با این تقابل، گودل را به نمادی برای فروپاشی یک انتظار شهودی تبدیل می‌کند؛ انتظاری که گمان می‌کند هر پرسش خوش‌فرمول‌بندی‌شده‌ای در نهایت پاسخی قطعی دارد.

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

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

با این حال، باید توجه داشت که ارجاع به گودل در این جلسه، فاقد هرگونه ورود فنی به جزئیات قضیه است. سخنران نام «گودل» و مفهوم «تصمیم‌ناپذیری» را به کار می‌گیرد، اما اثبات، مفروضات، یا پیامدهای منطقی قضیه را شرح نمی‌دهد. این استفادهٔ حداقلی، گودل را به یک «نشانه» تبدیل می‌کند؛ نشانه‌ای که بار مفهومی آن از پیش برای مخاطب آشنا فرض شده است. در واقع، سخنران بر شهرت عمومی قضیهٔ ناتمامیت گودل تکیه می‌کند و آن را چونان میان‌بری برای رساندن این پیام به کار می‌برد که «چیز بدی وجود ندارد، قابل تحقق نیست. همه انسان‌ها». این شیوهٔ ارجاع، گودل را از بافت ریاضیاتی‌اش جدا می‌کند و به یک ابزار بلاغی در خدمت بحث کلامی بدل می‌سازد. [۱۲]

گودل در بحث فیزیک و فلسفه به محدودیت نظام‌های صوری و عقل ریاضی مربوط می‌شود. سخنران از مرزهای علم و فلسفه سخن می‌گوید و گودل نمونه‌ای است که نشان می‌دهد حتی در منطق و ریاضیات نیز تمامیت ساده در دسترس نیست.

اهمیت گودل در این گفتار، شکستن اعتماد خام به دستگاه‌های بسته عقلانی است. اگر نظام‌های صوری محدودیت دارند، جهان‌بینی‌ای که همه حقیقت را در فرمول و فیزیک خلاصه می‌کند نیز نیازمند فروتنی است [۱۵] [۱۶] [۱۷]

در تحلیل کلان صفحهٔ «کورت گودل»، با پدیده‌ای جذاب روبه‌رو هستیم: مدرس از یک قضیهٔ عمیق در منطق ریاضی استفاده می‌کند، بی‌آنکه حتی یک بار وارد جزئیات فنی آن شود. این غیابِ عامدانه، خودْ یک استراتژی بلاغی و معرفت‌شناختی است. گودل در این گفتارها نه یک ریاضی‌دان، که یک «نشانه» است؛ نشانه‌ای از مرزهای شناخت بشری. سخنران با تکیه بر شهرت عمومی قضایای ناتمامیت، آن را چونان میان‌بری برای رساندن این پیام به کار می‌برد که «چیز بدی وجود ندارد، قابل تحقق نیست. همه انسان‌ها» [۱۰]. این شیوه، گودل را از بافت ریاضیاتی‌اش جدا کرده و به ابزاری بلاغی در خدمت بحث‌های کلامی، فلسفی و حتی فقهی بدل می‌سازد. اما این استفادهٔ استعاری، یک تنش مرکزی ایجاد می‌کند: آیا می‌توان یک قضیهٔ ریاضی را، بدون از دست دادن دقتش، به حوزه‌های کاملاً متفاوتی چون تجربهٔ دینی یا نقد فقه تسری داد؟

نخستین لایهٔ کاربرد گودل، حمله به پیش‌فرض برتری زبان فرمال است. او تصریح می‌کند که «قضیهٔ گودل به ما می‌گوید حتی ریاضیات را نمی‌شود کامل فرمال کرد؛ حتی حساب را نمی‌شود» [۱]. این جمله، هستهٔ سخت محدودیت را نشان می‌دهد. اگر ساده‌ترین حوزهٔ شناخت بشری از چنگ فرمال‌سازی کامل می‌گریزد، تکیه بر فرمالیسم به‌عنوان معیار نهایی دقت برای حوزه‌های پیچیده‌تری چون دین، از اساس سست می‌شود. مفسر این شکست را نه یک نقص فنی، که نشانه‌ای از شکافی عمیق‌تر می‌بیند: میان شهود انسانی و ظرفیت زبان‌های صوری. او با صراحت نتیجه می‌گیرد: «شما حتی حساب را نمی‌توانید به‌طور کامل در یک دستگاه اصل موضوعی فرمال کنید. یعنی شهود ریاضی‌تان را نمی‌توانید به‌طور کامل فرمال کنید» [۲]. اینجا، مفسر از سطح گزاره‌های صوری فراتر رفته و به منبع زندهٔ شناخت حمله می‌برد. اگر شهود ریاضی در قالب‌های فرمال نگنجد، چرا باید از تجربهٔ دینی انتظار تن دادن به این قالب‌های تنگ را داشت؟ این استدلال، فرمالیسم را از یک روش به یک محدودیت معرفت‌شناختی تبدیل می‌کند.

این نقد، در لایه‌ای دیگر، به یک دوگانهٔ عملی در فرایند مدل‌سازی علمی می‌انجامد. مدرس می‌پذیرد که زبان فرمال در اثبات‌های درون‌مدلی بی‌نظیر است، اما همین دقت موضعی می‌تواند به قیمت نادقیقی فاحش در تطبیق مدل با واقعیت تمام شود. تحلیل او چنین است: «در اثبات‌های فرمال داخل مدل، دقت بالاست؛ ولی انطباق این مدل با جهان خارج خیلی دقیق نیست. حالا می‌شود سؤال کرد: آیا نمی‌توانیم مدل خودمان را با زبانی بنویسیم که مجموعهٔ فرایند، یعنی اثبات‌هایی که در آن ارائه می‌شود به‌اضافهٔ چک کردن اینکه مدل fit هست یا نیست، بهینه شود؟ » [۶]. این ایدهٔ «بهینه‌سازی» زبان، مستقیماً به نقد مفهوم رایج دقت گره می‌خورد. او این پیش‌فرض را که فرمال بودن مساوی با دقیق‌ترین نوع صحبت کردن است، یک «تصور غلط» می‌نامد و بار اثبات را بر دوش مدافعان فرمالیسم می‌اندازد [۷]. این یک حملهٔ تمام‌عیار به بنیان فلسفهٔ تحلیلی است که دقت را با صورت‌گرایی منطقی یکی می‌گرفت.

اما کاربرد گودل در این گفتارها به نقد فرمالیسم محدود نمی‌ماند. در بحث «فیزیک و فلسفه»، گودل در قامت پیش‌گامی ظاهر می‌شود که کارش مرزهای توانایی‌های شناختی و ابزاری انسان را دوباره ترسیم کرده است. سخنران با صراحت، او و تورینگ را «پیش‌گامان ریاضیات غیر محاسباتی» معرفی می‌کند [۱۷]. این عنوان‌گذاری، قضایای ناتمامیت را از یک دستاورد ریاضی به کشف یک ویژگی هستی‌شناختی از خودِ «قانون» در طبیعت ارتقا می‌دهد. این کشف، این ایده را به چالش می‌کشد که جهان را می‌توان به‌طور کامل در یک چارچوب الگوریتمی محصور کرد. مدرس با اشاره به کار راجر پنروز، نشان می‌دهد که اگر ذهن انسان پدیده‌های «غیرمحاسباتی» دارد، در حالی که تمام ابزارهای ریاضی انسان محاسباتی هستند، یک ناسازگاری بنیادین رخ می‌نماید [۱۶]. راه‌حل پیشنهادی، که بر شالودهٔ کار گودل بنا شده، این است که ریاضیات مورد نیاز برای «نظریهٔ همه‌چیز» باید عناصر غیرمحاسباتی را در خود جای دهد. با این حال، سخنران با احتیاطی واقع‌بینانه اذعان می‌کند که نخستین نمونه‌های مسائل غیرمحاسباتی «خیلی مسئله‌های ساده و بی‌مزه‌ای هستند و خیلی کاربردی نیستند»، اما بلافاصله به ملموس‌تر شدن تدریجی این مسائل اشاره می‌کند [۱۷]. این حرکت از انتزاع محض به مسائل هندسی ملموس، نشان می‌دهد که میراث گودل به‌آرامی از قلمرو منطق نمادین به دامنهٔ فیزیک نفوذ کرده است.

در نقطه‌ای دیگر، سخنران از گودل برای تبیین یک ایدهٔ کاملاً متفاوت استفاده می‌کند: ضرورت بازخورد برای زنده ماندن ایده‌های نو. او در بحث از جنبه‌های مضر فقه فعلی، از سخنرانی‌اش دربارهٔ «نتایج فلسفی قضیۀ گودل» یاد می‌کند و واکنش دیرهنگام یک دانشجو را به تمثیلی برای ضرورت گفت‌وگو تبدیل می‌کند: «اگر او نمی‌آمد نمی‌گفت الان مجبور بودم مدام جاهای دیگر به آن اشاره کنم. به هر حال این را هم یکی بگوید خیالم راحت شود» [۱۸]. این حکایت، یک لایهٔ پنهان دارد: ایده‌های نو اگر بازخورد نگیرند، در خلأ تکرار می‌شوند. به همین قیاس، دعوت او به بازاندیشی در فقه از طریق رجوع به فلسفهٔ احکام و فقه یهودی نیز یک «ایدهٔ نو» است که برای ثمربخشی، نیازمند شنیده شدن و نقد است. این ارجاع، گودل را به نمادی از «ایدهٔ نو» تبدیل می‌کند که سرنوشتش به پویایی فضای فکری گره خورده است.

در نهایت، یک احتیاط ساختاری در سراسر این گفتارها دیده می‌شود: سخنران هرگز از گودل برای اثبات یک ادعای ایجابی دربارهٔ خدا، روح یا حقیقت دین استفاده نمی‌کند. کاربرد گودل همواره سلبی و محدودکننده است؛ برای فروکاستن از ادعاهای توتالیتر عقلانیت فرمال، نه برای اثبات چیزی فراتر از آن. این احتیاط، تحلیل را از هیجان‌زدگی شتابزده دور نگه می‌دارد. گودل در این صفحه، مرزبان فروتنی معرفت‌شناختی است، نه پیامبر یک حقیقت رمزآلود. او نشان می‌دهد که حتی در دقیق‌ترین نظام‌ها، تصمیم‌ناپذیری وجود دارد [۱۰]، و این محدودیت، فضایی برای اشکال دیگر فهم باز می‌کند، بی‌آنکه خودْ محتوای آن فهم‌ها را تضمین کند.