هندسه نا اقلیدسی
علومی که از یونان باستان توسط اندیشمندان اسلامی محافظت و تکمیل شد، از قرون یازدهم میلادی به بعد به اروپا منتقل شد، بیشتر شامل ریاضی و فلسفه ی طبیعی بود.فلسفه ی طبیعی توسط کوپرنیک، برونو، کپلر و گالیله به چالش کشیده شد و از آن میان فیزیک نیوتنی بیرون آمد.
چون کلیسا خود را مدافع فلسفه طبیعی یونان می دانست و کنکاش در آن با خطرات زیادی همراه بود، اندیشمندان کنجکاو بیشتر به ریاضیات می پرداختند، زیرا کلیسا نسبت به آن حساسیت نشان نمی داد. بنابراین ریاضیات نسبت به فیزیک از پیشرفت بیشتری برخوردار بود.
یکی از شاخه های مهم ریاضیات هندسه بود که آن هم در هندسه ی اقلیدسی خلاصه می شد.در هندسه ی اقلیدسی یک سری مفاهیم اولیه نظیر خط و نقطه تعریف شده بود و پنچ اصل را به عنوان بدیهیات پذیرفته بودند و سایر قضایا را با استفاده از این اصول استنتاج می کردند.
هندسه اقلیدسى بر پنج اصل موضوعه استوار است و قضایاى هندسه با توجه به این پنج اصل اثبات مى شوند.اصل موضوعه پنجم اقلیدس مى گوید: «به ازاى هر خط و نقطه اى خارج آن خط، یک خط و تنها یک خط به موازات آن خط مفروض مى تواند از آن نقطه عبور کند». اما اصل پنجم چندان بدیهی به نظر نمی رسید.
بنابر اصل پنجم اقلیدس از یک نقطه خارج از یک خط، یک خط و تنها یک خط می توان موازی با خط مفروض رسم کرد.برخی از ریاضیدانان مدعی بودند که این اصل را می توان به عنوان یک قضیه ثابت کرد. در این راه بسیاری از ریاضیدانان تلاش زیادی کردند و نتیجه نگرفتند. خیام ضمن جستجوی راهی برای اثبات "اصل توازی" مبتکر مفهوم عمیقی در هندسه شد.
در تلاش برای اثبات این اصل، خیام گزاره هایی را بیان کرد که کاملا مطابق گزاره هایی بود که چند قرن بعد توسط والیس و ساکری ریاضیدانان اروپایی بیان شد و راه را برای ظهور هندسه های نااقلیدسی در قرن نوزدهم هموار کرد که در قرن نوزدهم دو ریاضیدان بزرگ به نام «لباچفسکى» و «ریمان» دو نظام هندسى را صورت بندى کردند که هندسه را از سیطره اقلیدس خارج مى کرد.
صورت بندى «اقلیدس» از هندسه تا قرن نوزدهم پررونق ترین کالاى فکرى بود و پنداشته مى شد که نظام اقلیدس یگانه نظامى است که امکان پذیر است.این نظام بى چون و چرا توصیفى درست از جهان انگاشته مى شد.هندسه اقلیدسى مدلى براى ساختار نظریه هاى علمى بود و نیوتن و دیگر دانشمندان از آن پیروى مى کردند سرانجام و پس از دو هزار سال اصولی متفاوت با آن بیان کردند و هندسه های نااقلیدسی شکل گرفت. بدین ترتیب علاوه بر فلسفه ی طبیعی ریاضیات نیز از انحصار یونانی خارج و در مسیری جدید قرار گرفت و آزاد اندیشی در ریاضیات آغاز گردید.
اصطلاحات بنیادی ریاضیات
طی قرن های متمادی ریاضیدانان اشیاء و موضوع های مورد مطلعه ی خود از قبیل نقطه و خط و عدد را همچون کمیت هایی در نظر می گرفتند که در نفس خویش وجود دارند. این موجودات همواره همه ی کوشش هایی را که برای تعریف و توصیف شایسته ی آنان انجام می شد را با شکست مواجه می ساختند.
به تدریج این نکته بر ریاضیدانان قرن نوزدهم آشکار گردید که تعیین مفهوم این موجودات نمی تواند در داخل ریاضیات معنایی داشته باشد. حتی اگر اصولاً دارای معنایی باشند. بنابراین، اینکه اعداد، نقطه و خط در واقع چه هستند در علوم ریاضی نه قابل بحث است و نه احتیاجی به این بحث هست.یک وقت برتراند راسل گفته بود که ریاضیات موضوعی است که در آن نه می دانیم از چه سخن می گوییم و نه می دانیم آنچه که می گوییم درست است.
دلیل آن این است که برخی از اصطلاحات اولیه نظیر نقطه، خط و صفحه تعریف نشده اند و ممکن است به جای آنها اصطلاحات دیگری بگذاریم بی آن که در درستی نتایج تاثیری داشته باشد. مثلاً می توانیم به جای آن که بگوییم دو نقطه فقط یک خط را مشخص می کند، می توانیم بگوییم دو آلفا یک بتا را مشخص می کند.
با وجود تغییری که در اصطلاحات دادیم، باز هم اثبات همه ی قضایای ما معتبر خواهد ماند، زیرا که دلیل های درست به شکل نمودار بسته نیستند، بلکه فقط به اصول موضوع که وضع شده اند و قواعد منطق بستگی دارند.بنابراین، ریاضیات تمرینی است کاملاً صوری برای استخراج برخی نتایج از بعضی مقدمات صوری.
ریاضیات احکامی می سازند به صورت هرگاه چنین باشد، آنگاه چنان خواهد شد و اساساً در آن صحبتی از معنی فرض ها یا راست بودن آنها نیست. این دیدگاه (صوری گرایی) با عقیده ی کهن تری که ریاضیات را حقیقت محض می پنداشت و کشف هندسه های نااقلیدسی بنای آن را درهم ریخت، جدایی اساسی دارد.این کشف اثر آزادی بخشی بر ریاضیدانان داشت.
