برهان غودول: أسرار العقل الرياضي- إرنست ناغل، جيمس ر. نيومان
هل تستطيع الرياضيات أن تثبت جميع حقائقها؟ وهل يمكن لنظام منطقي أن يبرهن، انطلاقًا من مسلّماته وقواعده وحدها، أنه متسق وخالٍ من التناقض؟ وأين تنتهي قدرة العقل الرياضي على البرهنة، وأين تبدأ حدود الأنظمة التي ابتكرها؟
في هذا الكتاب، يأخذنا إرنست ناغل وجيمس ر. نيومان إلى واحدة من أعظم المغامرات الفكرية في تاريخ الرياضيات الحديثة: مبرهنات كورت غودل لعدم الاكتمال، التي غيّرت تصورنا لأسس الرياضيات، وكشفت عن حدود عميقة في قدرة الأنظمة الصورية على إثبات الحقائق الحسابية والتعبير عن اتساقها الخاص.
بأسلوب يجمع بين الدقة الرياضية والوضوح الفلسفي، ينتقل المؤلفان من البديهيات والمنطق الصوري إلى ترقيم غودل، حيث تتحول الرموز والصيغ والبراهين إلى أعداد، ويصبح النظام الرياضي قادرًا على التعبير عن قضايا تتعلق بإمكان إثباتها داخله. ومن خلال هذا البناء المدهش، تتكشف الحجة التي قادت غودل إلى إثبات أن بعض الحقائق الرياضية لا يمكن البرهنة عليها من داخل النظام الذي يتناولها، وأن اتساق نظام صوري مناسب لا يمكن إثباته بموارده البرهانية الخاصة.
إنه كتاب عن الرياضيات، لكنه يفتح أبوابه على أسئلة تتجاوزها: ما الحقيقة؟ ما البرهان؟ هل تتطابق المعرفة مع ما نستطيع إثباته؟ وما الذي تكشفه حدود المنطق عن طبيعة العقل البشري؟
رحلة إلى تخوم العقل الرياضي، حيث يصبح البرهان نفسه موضوعًا للبرهان، وتتحول حدود المعرفة إلى واحدة من أكثر الحقائق إثارة في تاريخ الفكر الإنساني.