مقدمه
علومی که از یونان باستان توسط اندیشمندان اسلامی محافظت و تکمیل شد، از قرون یازدهم میلادی به بعد به اروپا منتقل شد، بیشتر شامل ریاضی و فلسفه ی طبیعی بود. فلسفه ی طبیعی توسط کوپرنیک، برونو، کپلر و گالیله به چالش کشیده شد و از آن میان فیزیک نیوتنی بیرون آمد. چون کلیسا خود را مدافع فلسفه طبیعی یونان می دانست و کنکاش در آن با خطرات زیادی همراه بود، اندیشمندان کنجکاو بیشتر به ریاضیات می پرداختند، زیرا کلیسا نسبت به آن حساسیت نشان نمی داد. بنابراین ریاضیات نسبت به فیزیک از پیشرفت بیشتری برخوردار بود. یکی از شاخه های مهم ریاضیات هندسه بود که آن هم در هندسه ی اقلیدسی خلاصه می شد.
در هندسه ی اقلیدسی یکسری مفاهیم اولیه نظیر خط و نقطه تعریف شده بود و پنچ اصل را به عنوان بدیهیات پذیرفته بودند و سایر قضایا را با استفاده از این اصول استنتاج می کردند. اما اصل پنجم چندان بدیهی به نظر نمی رسید. بنابر اصل پنجم اقلیدس از یک نقطه خارج از یک خط، یک خط و تنها یک خط می توان موازی با خط مفروض رسم کرد. برخی از ریاضیدانان مدعی بودند که این اصل را می توان به عنوان یک قضیه ثابت کرد. در این راه بسیاری از ریاضیدانان تلاش زیادی کردند و نتیجه نگرفتند. خیام ضمن جستجوی راهی برای اثبات “اصل توازی” مبتکر مفهوم عمیقی در هندسه شد. در تلاش برای اثبات این اصل، خیام گزاره هایی را بیان کرد که کاملا مطابق گزاره هایی بود که چند قرن بعد توسط والیس و ساکری ریاضیدانان اروپایی بیان شد و راه را برای ظهور هندسه های نااقلیدسی در قرن نوزدهم هموار کرد. سرانجام و پس از دو هزار سال اصولی متفاوت با آن بیان کردند و هندسه های نااقلیدسی شکل گرفت. بدین ترتیب علاوه بر فلسفه ی طبیعی ریاضیات نیز از انحصار یونانی خارج و در مسیری جدید قرار گرفت و آزاد اندیشی در ریاضیات آغاز گردید.
۱-۵ اصطلاحات بنیادی ریاضیات
طی قرنهای متمادی ریاضیدانان اشیاء و موضوع های مورد مطلعه ی خود از قبیل نقطه و خط و عدد را همچون کمیت هایی در نظر می گرفتند که در نفس خویش وجود دارند. این موجودات همواره همه ی کوششهای را که برای تعریف و توصیف شایسته ی آنان انجام می شد را با شکست مواجه می ساختند. بتدریج این نکته بر ریاضیدانان قرن نوزدهم آشکار گردید که تعیین مفهوم این موجودات نمی تواند در داخل ریاضیات معنایی داشته باشد. حتی اگر اصولاً دارای معنایی باشند.
بنابراین، اینکه اعداد، نقطه و خط در واقع چه هستند در علوم ریاضی نه قابل بحث است و نه احتیاجی به این بحث هست. یک وقت براتراند راسل گفته بود که ریاضیات موضوعی است که در آن نه می دانیم از چه سخن می گوییم و نه می دانیم آنچه که می گوییم درست است.
دلیل آن این است که برخی از اصطلاحات اولیه نظیر نقطه، خط و صفحه تعریف نشده اند و ممکن است به جای آنها اصطلاحات دیگری بگذاریم بی آنکه در درستی نتایج تاثیری داشته باشد. مثلاً می توانیم به جای آنکه بگوییم دو نقطه فقط یک خط را مشخص می کند، می توانیم بگوییم دو آلفا یک بتا را مشخص می کند. با وجود تغییری که در اصطلاحات دادیم، باز هم اثبات همه ی قضایای ما معتبر خواهد ماند، زیرا که دلیل های درست به شکل نمودار بسته نیستند، بلکه فقط به اصول موضوع که وضع شده اند و قواعد منطق بستگی دارند.
بنابراین، ریاضیات تمرینی است کاملاً صوری برای استخراج برخی نتایج از بعضی مقدمات صوری. ریاضیات احکامی می سازند به صورت هرگاه چنین باشد، آنگاه چنان خواهد شد و اساساً در آن صحبتی از معنی فرضها یا راست بودن آنها نیست. این دیدگاه (صوریگرایی) با عقیده ی کهن تری که ریاضیات را حقیقت محض می پنداشت و کشف هندسه های نااقلیدسی بنای آن را درهم ریخت، جدایی اساسی دارد. این کشف اثر آزادی بخشی بر ریاضیدانان داشت.
۲-۵ اشکالات وارد بر هندسه اقلیدسی
هندسه ی اقلیدسی بر اساس پنچ اصل موضوع زیر شکل گرفت:
اصل اول - از هر نقطه می توان خط مستقیمی به هر نقطه ی دیگر کشید.
اصل دوم - هر پاره خط مستقیم را می توان روی همان خط به طور نامحدود امتداد داد.
اصل سوم - می توان دایره ای با هر نقطه دلخواه به عنوان مرکز آن و با شعاعی مساوی هر پاره خط رسم کرد.
اصل چهارم - همه ی زوایای قایمه با هم مساوی اند.
اصل پنجم - از یک نقطه خارج یک خط، یک خط و و تنها یک خط می توان موازی با خط مفروض رسم کرد.
اصل پنجم اقلیدس که ایجاز سایر اصول را نداشت، به هیچوجه واجد صفت بدیهی نبود. در واقع این اصل بیشتر به یک قضیه شباهت داشت تا به یک اصل.
بنابراین طبیعی بود که لزوم واقعی آن به عنوان یک اصل مورد سیوال قرار گیرد. زیرا چنین تصور می شد که شاید بتوان آن را به عنوان یک قضیه نه اصل از سایر اصول استخراج کرد، یا حداقل به جای آن می توان معادل قابل قبول تری قرار داد.
در طول تاریخ ریاضیدانان بسیاری از جمله، خواجه نصیرالدین طوسی، جان والیس، لژاندر، فورکوش بویویی و … تلاش کردند اصل پنجم اقلیدس را با استفاده از سایر اصول نتیجه بگیرنر و آن را به عنوان یک قضیه اثبات کنند. اما تمام تلاشها بی نتیجه بود و در اثبات دچار خطا می شدند و به نوعی همین اصل را در اثباط خود به کار می بردند. دلامبر این وضع را افتضاح هندسه نامید.
یانوش بویویی یکی از ریاضیدانان جوانی بود که در این را تلاش می کرد. پدر وی نیز ریاضیدانی بود که سالها در این این مسیر تلاش کرده بود .
و طی نامه ای به پسرش نوشت: تو دیگر نباید برای گام نهادن در راه توازی ها تلاش کنی، من پیچ و خم این راه را از اول تا آخر می شناسم. این شب بی پایان همه روشنایی و شادمانی زندگی مرا به کام نابودی فرو برده است، التماس می کنم دانش موازیها را رها کنی.
ولی یانوش جوان از اخطار پدیر نهرسید، زیرا که اندیشه ی کاملاً تازه ای را در سر می پروراند. او فرض کرد نقیض اصل توازی اقلیدس، حکم بی معنی ای نیست. وی در سال ۱۸۲۳ پدرش را محرمانه در جریان کشف خود قرار داد و در سال ۱۸۳۱ اکتشافات خود را به صورت ضمیمه در کتاب تنتامن پدرش منتشر کرد و نسخه ای از آن را برای گایوس فرستاد. بعد معلوم شد که گایوس خود مستقلاً آن را کشف کرده است.
بعدها مشخص شد که لباچفسکی در سال ۱۸۲۹ کشفیات خود را در باره هندسه نااقلیدسی در بولتن کازان، دو سال قبل از بویی منتشر کرده است. و بدین ترتیب کشف هندسه های نااقلیدسی به نام بویویی و لباچفسکی ثبت گردید.