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