আর্যভট্ট
আর্যভট্ট (দেবনগরী: आर्यभट) (৪৭৬ – ৫৫০) প্রাচীন ভারতের সবচেয়ে বিখ্যাত গণিতবিদদের মধ্যে একজন। ভারতের প্রথম কৃত্রিম উপগ্রহের নাম তার নামে "আর্যভট্ট" রাখা হয়।
কুর্ট গ্যোডেল
গ্যোডেল তাঁর দুটি অসম্পূর্ণতা উপপাদ্যের জন্য বিখ্যাত, যেগুলো তিনি মাত্র ২৫ বছর বয়সে, ইউনিভার্সিটি অফ ভিয়েনা থেকে ডক্টরেট পাওয়ার মাত্র এক বছরের মধ্যে, ১৯৩১ সালে প্রকাশ করেন। এই দুইটি উপপাদ্যের মধ্যে যেটি বেশি বিখ্যাত, সেটি বলে যে স্বাভাবিক সংখ্যাগুলির পাটীগণিত (অর্থাৎ পেয়ানো পাটীগণিত) ব্যাখ্যা করতে পারে, এরকম শক্তিশালী যেকোন স্বসংগত (self-consistent) পুনরাবৃত্তিমূলক স্বতঃসিদ্ধ ব্যবস্থার জন্য স্বাভাবিক সংখ্যা বিষয়ে এমন সব সত্য প্রস্তাবনা (true propositions) আছে, যে প্রস্তাবনাগুলি ঐ স্বতঃসিদ্ধগুলি থেকে উপনীত হওয়া সম্ভব নয়। এই উপপাদ্যটি প্রমাণ করার জন্য গ্যোডেল গ্যোডেল সংখ্যায়ন নামের একটি কৌশল বের করেন।