کورت گودل که بود؟
کورت گودل (Kurt Godel) در ۲۸ آوریل ۱۹۰۶ در شهر برنو در بخش مرکزی کشور چکسلواکی سابق به دنیا آمد. او دومین فرزند از دو فرزند خانواده ای مهاجر و آلمانی بود که در صنایع نساجی شهر کار می کردند.
کورت جوان در تمامی دوران تحصیل دبستان و دبیرستان خود حتی یک بار هم نمره ای غیر از عالی نگرفت، اما با این حال هنوز نشانه ای ویژه از نبوغ خارق العاده خود را بروز نداده بود. او کودکی بسیار پرسش گر بود، به طوری که دیگران او را آقای چرا می نامیدند. کورت در عین حال شخصیتی درون گرا داشت.
گودل در سال ۱۹۲۴، پس از فارغ التحصیلی از مدرسه فنی برنو، سرزمین مادری اش را به منظور ثبت نام در دانشگاه وین - یعنی همان جایی که برادرش چهار سال پیش برای ادامه تحصیل در رشته پزشکی رفته بود - ترک کرد. هرچند اقتصاد وین در آن دوران رو به وخامت داشت، اما دانشگاه وین، همچنان شهرت و اعتبار قبلی خود را حفظ کرده بود. وین در آن دوران - یعنی مابین دو جنگ جهانی - با وجود محدودیت های مادی، مرکزی برای شکوفایی خلاقیت ها در عرصه علم، هنر و فلسفه بود.
گودل پس از ثبت نام در دانشگاه، قصد تحصیل در رشته فیزیک را داشت، اما پس از زمان کوتاهی و تحت تاثیر برنامه های سخنرانی فیلیپ فورت وانگلر و هانس هان به ریاضیات روی آورد. چیزی نگذشت که استعداد خارق العاده او توجه دیگران را جلب کرد؛ به طوری که تنها دو سال پس از ورود به دانشگاه از او دعوت شد که در جلسات مناظره گروهی که توسط هان و فیلسوفی به نام موریتزشلیک از دو سال قبل پایه گذاری شده بود، شرکت کند. این گروه که بعدها به حلقه وین شهرت یافت، تحت تاثیر نوشته های ارنست ماخ بود. ماخ، منطق گرای مشهوری بود که معتقد بود همه چیز را می توان به کمک منطق و مشاهده تجربی صرف توضیح داد، بدون آنکه نیازی به متوسل شدن به متافیزیک باشد.
حضور در حلقه وین، سبب آشنایی گودل با متفکرانی نظیر رادلف کارناپ - که در زمینه فلسفه علم کار می کرد - و همین طور کارل منگر ریاضیدان شد و زمینه را برای آشنایی او با مبحث ریاضی و فلسفه مهیا کرد. اعضای حلقه وین بویژه مجذوب نوشته های لودویگ ویتگنشتاین در مورد حد نهایی آن چیزی که زبان می تواند در مورد زبان بگوید بود. احتمالا همین مسئله انگیزه ای برای گودل بوده تا مشابه آن را در ریاضیات جست وجو کند (آیا درستی تمامی عبارات درست ریاضی، بر مبنای اصول ریاضیات قابل اثبات است؟).
برخی از اعضای حلقه وین نظیر کارناپ، هان و فیزیکدانی به نام هانس تیرینگ در تحقیقات فراروان شناسی نیز فعال بودند و گودل نیز به این موضوع بسیار علاقه مند بود (سال ها بعد، گودل به یکی از دوستان صمیمی اش به نام اسکارمورگنسترن گفت که آیندگان نسبت به این مسئله قضاوت خواهند کرد که چگونه دانشمندان قرن بیستم که ذرات بنیادین جهان را کشف کرده بودند، حتی نتوانستند احتمال وجود قابلیت های بنیادین فراروان شناختی در انسان را مطرح کنند).
به هر حال نهایتا گودل وارد دیدگاه پوزیتیویستی حلقه وین که اندیشه های ماخ را گسترش می داد، نشد. در واقع دیدگاه گودل، دیدگاهی افلاطونی بود؛ او معتقد بود علاوه بر دنیای مادی، دنیای معانی نیز وجود دارد که انسان با کمک الهام می تواند به آن راه یابد. بنابراین برای او برخی عبارات، ارزش حقیقی دارند، حتی اگر قابل اثبات نبوده یا به شکل تجربی، قابلیت پذیرفته شدن یا رد شدن را نداشته باشند. همین نگرش، کمکی بود برای ارائه دیدگاه های ارزشمند ریاضی گودل.
اگرچه گودل مباحثه گری دقیق و فوق العاده بود، اما بندرت در جلسات حلقه وین شرکت می کرد، مگر آنکه بحث بر سر ریاضیات می بود. درواقع می توان گفت پس از سال ۱۹۲۸ او دیگر در جلسات گروه شرکت نکرد، اما به جای آن به عضو فعالی در جلسات ریاضی که توسط منگر تشکیل شده بود، بدل شد. محتوای این جلسات در نشریه ای که به طور سالانه منتشر می شد به چاپ می رسید. گودل در سردبیری این نشریه همکاری داشت و بعدها خود، ده ها مقاله در آن به چاپ رساند.
در همین دوران بود که گودل ناگهان به چهره ای شناخته شده در عرصه منطق ریاضی بدل شد. این شهرت بویژه حاصل انتشار دو مقاله بود؛ یکی از این دو، تز دکترای او بود که مسئله بازی را که در سال ۱۹۲۸ توسط دیوید هیلبرت و ویلهلم آکرمن مطرح شده بود، حل کرد. این مسئله را به زبان ساده می توان چنین بیان کرد: آیا می توان درستی تمام عبارت هایی را که در به کارگیری تمام تفسیرهای نمادهای منطقی درست هستند، اثبات کرد؟
به نظر می رسید که جواب باید مثبت باشد و گودل نیز همین را نشان داد. تز دکترای او نشان داد که اصول منطق که تا آن زمان گسترش داده شده بود، توانایی برآورده کردن هدف نهایی منطق یعنی اثبات درستی همه آنچه درست است، بر مبنای مجموعه اصول مزبور را دارد، اما این اثبات، هنوز یک استثنا داشت و آن، در مورد اعداد طبیعی (یعنی پایه ای ترین مفاهیم دنیای ریاضیات) بود. این اثبات نشان نمی داد که آیا می توان درستی هر گزاره درست در مورد اعداد طبیعی را نیز براساس اصول پذیرفته شده نظریه اعداد ثابت کرد یا خیر؟
اصول مزبور (اصول نظریه اعداد) پیش از آن در سال ۱۸۸۹ توسط گیوسپه په آنو، ریاضیدان ایتالیایی تدوین شده بود. اصل استقرای ریاضی یکی از اصول مزبور است. این اصل بیان می کند که هر ویژگی که برای عدد صفر درست بوده و همین طور در صورت درست بودن برای عدد طبیعی n، برای n+۱ نیز درست باشد، باید برای تمامی اعداد طبیعی درست باشد. این اصل که گاهی از آن به اصل دومینو نیز یاد می شود زیرا همانند بازی دومینو، اگر اولی بیفتد مابقی نیز تا آخر می افتند در نگاه اول، بدیهی به نظر می رسید، اما ریاضیدانان دریافتند که این اصل دارای ابهام است، چراکه فقط به خود اعداد دلالت نداشته، بلکه به ویژگی های آنها نیز دلالت دارد، بنابراین، چنین عبارت اصطلاحا مرتبه دومی بیش از حد مبهم به نظر می رسید که به عنوان مبنایی برای نظریه اعداد طبیعی به کار رود.
بدین ترتیب، نسبت به اصل استقرا تجدیدنظر شد و این اصل در ردیف اصول بی شمار دیگری قرار گرفت که به جای دلالت بر ویژگی های عمومی اعداد، به فرمول های خاصی دلالت دارند. متاسفانه همان طور که منطق دانی نروژی به نام تورالف اسکولم چند سال قبل از ارائه قضیه گودل نشان داده بود، این رده از اصول، منحصر به اعداد طبیعی نبوده بلکه در ساختارهای ریاضی دیگری نیز ارضا می شوند.
تز دکترای گودل حاکی از آن بود که می توان تمامی عبارات را براساس اصول اولیه اثبات کرد، اما یک هشدار هم در آن وجود داشت و آن این بود که چنانچه عبارتی در حوزه اعداد طبیعی درست باشد، اما در حوزه سیستم دیگری از ریاضیات -که همان اصول سیستم اعداد طبیعی را ارضا می کند- نادرست باشد، آنگاه درستی آن عبارت، قابل اثبات نخواهد بود. در آغاز به نظر نمی رسید که این استثنا، مسئله ای اساسی باشد، چراکه ریاضیدانان می پنداشتند که چنین هویت هایی که براساس اصول اعداد طبیعی رفتار کرده، اما اساسا متفاوت از آنها هستند، اصلا وجود ندارند، اما در همین زمان بود که دومین قضیه گودل، ضربه تمام کننده را وارد کرد.
در سال ۱۹۳۱، گودل در مقاله دیگری نشان داد که عبارات درستی در حوزه اعداد طبیعی وجود دارد که درستی آنها قابل اثبات نیست (به عبارت دیگر، او نشان داد که هویت هایی در ریاضیات وجود دارند که اگرچه از اصول نظریه اعداد طبیعی تبعیت می کنند، اما رفتاری متفاوت از این اعداد دارند). در آن زمان، برخی از ریاضیدانان که از زیر سئوال رفتن بنیادهای ریاضیات غمگین شده بودند، پنداشتند اگر تمامی عبارات درست را به عنوان اصول اولیه فرض کنیم، می توان از ضربه این گیوتین، جاخالی داد، اما باز هم گودل نشان داد که تا جایی که ما از قوانین مکانیکی صرف ریاضیات استفاده می کنیم، هیچ تفاوتی نخواهد کرد که کدام گزاره ها را به عنوان اصل بپذیریم، چراکه اگر آنها در مورد اعداد طبیعی درست باشند، درستی عبارات درست دیگری در مورد اعداد مزبور، همچنان غیرقابل اثبات باقی خواهد ماند.
پس از اتمام سال تحصیلی، یعنی در تابستان ۱۹۳۹ گودل برای دیدن همسرش به وین بازگشت، در حالی که خبر نداشت که اجازه تدریس او در دانشگاه های اتریش لغو شده و وی از سوی ارتش نازی به خدمت فراخوانده شده است. بدین ترتیب، گودل در وضعیت ناامیدکننده ای قرار گرفت، اما این وضعیت دوام چندانی نداشت و به طور معجزه آسایی تغییر کرد؛ با کمک های مرکز مطالعات پیشرفته پرینستون، امکان اخذ ویزا و خروج از کشور برای او و همسرش فراهم شد و بدین ترتیب، آن دو در ژانویه سال ۱۹۴۰، سفری طولانی را از مسیر راه آهن سیبری آغاز کردند. سپس از یوکوهاما به مقصد سان فرانسیسکو سوار کشتی شده و از آنجا نیز به کمک راه آهن، مسیر غرب تا شرق آمریکا را طی کرده و نهایتا حدود سه ماه بعد از شروع سفر، یعنی اوایل ماه مارس به پرینستون رسیدند.
درگذشت اینشتین در سال ۱۹۵۵ تا حد زیادی او را با خود تنها گذاشت. وی حتی در مراسم اهدای مدال ملی علوم آمریکا که به او تقدیم شده بود نیز شرکت نکرد.
فرموله کردن استدلال هستی شناختی او در مورد وجود خداوند، از کارهای دیگری بود که توجه بسیاری را به خود جلب کرد. هرچند گودل در ۱۴ژانویه ۱۹۷۸ چشم از این جهان فروبست، اما نتیجه دستاوردهای او در تغییر بنیادهای تفکر انسان، هنوز دوران تولد خود را می گذراند.
آلن تورینگ- ریاضیدان برجسته انگلیسی و پیشگام نظریه هوش مصنوعی، با به کارگیری قضیه ناکامل بودن گودل در نظریه محاسبات نشان داد که یک کامپیوتر یا روبات هیچ گاه نخواهد توانست تمام کارهایی را که انسان قادر به انجام آن است، انجام دهد (و این در حالی بود که برخی، انسان را صرفا یک ماشین بسیار پیچیده می دانستند). جالب تر از آن، دریافت اخیر استفن هاوکینگ- مشهورترین فیزیکدان زمان ما - از دستاورد فکری گودل است.
هاوکینگ در سخنرانی خود با عنوان گودل و پایان فیزیک که چندی پیش در دانشگاه کمبریج ایراد شد، نشان داد که بر مبنای قضیه ناکامل بودن گودل، احتمالا ذات جهان و قوانین بنیادین آن برای همیشه از دسترس اندیشه بشری پنهان خواهد ماند. هاوکینگ بر اساس دستاورد گودل، به ناشناختنی بودن (و نه صرفا ناشناخته بودن) ماهیت بنیادین هستی اشاره می کند. این در حالی ست که خود او و تقریبا تمامی فیزیکدان های بزرگ دیگر، پیش از آن امید داشتند با به کارگیری الگوهای ریاضی صرف، به ماهیت بنیادین هستی و قوانین آن دست یابند.
ارسال نظر