● فیثاغورث (Pythagoras)
فیثاغورث یکی از بزرگ ترین فیلسوفان و ریاضی‌دان‌های یونانی بوده است. او در سال های۵۶۹-۵۰۰ پیش از میلاد مسیح زندگی می کرد و نخستین کسی بود که توانست اصول پراکنده‌ای را که ریاضیدانان نخستین عمدتا با استقرا و آزمون و خطا کشف کرده بودند، بر پایه اصول و براهین قیاسی بنا کند. فیاغورث از جمله فیلسوفانی است که موجب پیشرفت زیاد ریاضی شد. او کاشف قضیه فیثاغورث است. قضیه فیثاغورس در هندسه، بخشی از صورت کلی قانون کسینوس‌ها در زمانی است که زاویه بین دو خط ۹۰ درجه است. به عبارت دیگر، در یک مثلث قائم الزاویه همواره مجموع توان‌های دوم دو ضلع برابر با توان دوم ضلع سوم است.البته برخی منابع شک دارند که این قضیه را خود فیثاغورث کشف کرده باشد و آن را یکی از شاگردان او یا به Baudhayana نسبت می دهند که ۳۰۰ سال قبل در هند زندگی می کرده است. اما در نهایت، فیثاغورث را پدر ریاضی جدید می دانند و نام او در تاریخ ثبت شده است.
● اندرو وایلز (Andrew Wiles)
تنها ریاضیدان زنده که در زمانه حال زندگی می کند و نام او در میان برترین ها ثبت شده است، اندرو وایلز است. دلیل شهرت او اثبات «قضیه آخر فرما» است. قضیه آخر فرما یکی از مشهورترین قضیه‌های تاریخ ریاضیات است و می گوید: معادله برای جواب صحیح و غیر صفر ندارد. یعنی اعداد صحیح و غیر صفر و و را نمی‌توان یافت که جواب‌های معادله فوق باشند. اندرو وایلز استاد دانشگاه پرینستون در سال ۱۹۹۳میلادی با استفاده از نظریه اعداد پیشرفته اثباتی برای این قضیه ارائه کرد که دارای مشکلی بود ولی در سپتامبر ۱۹۹۴ اشکال این راه حل توسط خود وایلز و با همکاری یکی از همکارانش به نام «تیلر» برطرف شد.وایلز به مدت ۷ سال گوشه عزلت و تنهایی گزید تا بتواند این قضیه را ثابت کند. البته پس از انتشار آن، این اثبات ایرادی داشت که او دوباره به مدت یک سال دیگر از همه انسان ها دوری گزید و در خلوت خود با همکاری همکارش «تیلر»، این اشکال را برطرف کرد.سر اندرو جان وایلز در ۱۱ آوریل سال ۱۹۵۳ میلادی متولد شده است و ریاضی دانِ محقق در دانشگاه آکسفورد است.
● ایساک نیوتن و ویلهلم لایب‌نیتس (Isaac Newton and Wilhelm Leibniz)
این دو ریاضیدان بزرگ را در یک آیتم قرار داده ایم زیرا هر دو مخترع محاسبات دیفرانسیل و انتگرال هستند که هم‌زمان اما کاملا مستقل از هم این علم را کشف کرده اند. ویلهلم لایب‌نیتس فیلسوف، ریاضیدان و فیزیک‌دان آلمانی بود و در خلال سال های ۱۶۴۶ تا ۱۷۱۶ میلادی زندگی می کرده است. لایب‌نیتس در تاریخ ریاضی و فلسفه مقام بالایی دارد. علامت‌هایی که لایب‌نیتس در محاسبات دیفرانسیل و انتگرال استفاده می‌کرده است، هنوز مورد استفاده قرار می‌گیرند.تفاوت او با نیوتن این است که در مکانیک کلاسیک، او عقیده داشت فضا و مکان نسبی هستند، در حالی که نیوتون بر مطلق بودن زمان و مکان اصرار می‌ورزید. ایساک (آیزاک) نیوتن فیزیک‌دان، ریاضیدان، ستاره شناس، فیلسوف و شهروند انگلستان بود و در خلال سال های ۱۶۴۳ تا ۱۷۲۷ میلادی زندگی می کرده است. او در سال ۱۶۸۷ میلادی « اصول ریاضی فلسفه طبیعی» را نوشت و در آن مفهوم گرانش عمومی را مطرح ساخت. از دیگر کارهای مهم او بنیان‌گذاری حساب دیفرانسیل و انتگرال است. همچنین، نیوتن پس از آزمایش‌های دقیق دریافت که نور سفید ترکیبی از تمام رنگ‌های موجود در رنگین‌کمان است.نیوتن یکتاپرست بوده و باور داشته است جهان در سال ۲۰۶۰ میلادی پس از جنگ نیکی و بدی که در آن نیکی به پیروزی می‌رسد، به پایان می‌رسد.
● لئونارد پیسانو بلگولو(Leonardo Pisa no Blgollo)
لئونارد پیسانو بلگولو مقلب به لئوناردو فیبوناتچی نخستین ریاضیدان بزرگ اروپا در قرن سیزدهم است. او در خلال سال های ۱۱۷۰ تا ۱۲۵۰ میلادی می زیسته است و به ریاضیات اسلامی آشنایی کامل داشته است. او از ریاضی‌دان‌های مسلمان همچون خوارزمی، کرجی و ابوکامل الهام و تاثیر گرفته است.
از جمله مهم‌ترین کارهای این ریاضیدان بزرگ، معرفی سیستم اعداد اعشاری به عنوان جایگزینی بسیار کارآمدتر به جای سیستم اعداد رومی است که استفاده از آن از زمان امپراتوری روم رایج بوده است.لئوناردو به علت بازرگان بودن پدرش به کشورهای بسیاری از جمله مصر و سوریه مسافرت کرد و در طول این سفرها با ریاضیات اسلامی آشنا شد. او به برتری روش‌های محاسبه مسلمانان پی برد و پس از بازگشت به زادگاه خود در سال ۱۲۰۲ حاصل آموخته‌های خود را با نوشتن لیبر آباکی به معنای کتاب حساب منتشر ساخت.
● آلن تورینگ (Alan Turing)
آلن ماتیسون تورینگ ریاضیدان، منطق‌دان و رمزنگار بریتانیایی بود. تورینگ را به عنوان پدر علم محاسبه نوین و هوش مصنوعی می شناسند. تورینگ در سال ۱۹۵۰ میلادی، در مقاله‌ای معیاری برای تعیین میزان هوشمندی رایانه پیشنهاد کرد که پس از آن به آزمایش تورینگ معروف شد. این آزمایش می گوید: «سزاوارترین معیار برای هوشمند دانستن یک ماشین این است که آن ماشین بتواند انسانی را توسط یک پایانه«تله تایپ» به گونه‌ای بفریبد که آن فرد متقاعد گردد با یک انسان روبرو است». تا به حال هیچ برنامه‌ای قادر به موفقیت در این آزمون نگردیده‌است.او با معرفی ماشین تورینگ، یک مدل ریاضی برای تحلیل توانایی‌های ذاتی الگوریتم‌ها بنیان گذاشت. به همین دلیل ماشین تورینگ یکی از عناصر اصلی در نظریه محاسبات و نظریه پیچیدگی است. جالب است بدانید، مهم‌ترین جایزه علمی رایانه به افتخار وی جایزه تورینگ نام گرفته است.
