ভৌত বিশ্বতত্ত্ব
১৯১৫ সালে বিজ্ঞানী আলবার্ট আইনস্টাইন তার সাধারণ আপেক্ষিকতা তত্ত্ব উপস্থাপনের পর থেকেই মূলত ভৌত বিশ্বতত্ত্ব একটি পর্যবেক্ষণযোগ্য এবং সুনির্দিষ্ট নীতিমালাবিশিষ্ট বিজ্ঞান হিসেবে সুপ্রতিষ্ঠিত হয়। সেই সময় পদার্থবিদরা সম্পূর্ণ স্থির একটি মহাবিশ্বের ধারণা পোষণ করতেন যার কোন শুরু বা শেষ নেই। আইনস্টাইন তার তত্ত্ব একটি বিশ্বতাত্ত্বিক ধ্রুবক যোগ করে দিয়েছিলেন যেন তা স্থির মহাবিশ্ব তত্ত্বের সাথে মিলে যায়। কিন্তু সেই তথাকথিত "আইনস্টাইন মহাবিশ্ব" স্বভাবিক কারণেই ছিল অস্থিতিশীল। সাধারণ আপেক্ষিক তত্ত্ব মানলে মহাবিশ্বকে হয় প্রসারিত হতে হবো নয়তো সংকুচিত হতে হবে। সাধারণ আপেক্ষিকতা তত্ত্বের এই সমাধানটি প্রথম দেন বিজ্ঞানী আলেকজান্ডার ফ্রিডম্যান যার সমীকরণ ফ্রিডম্যান-Lemaître-রবার্টসন-ওয়াকার মহাবিশ্বের ব্যাখ্যা প্রদান করে এবং এই মহাবিশ্ব প্রসারিত বা সংকুচিত হতে পারে।
কুর্ট গ্যোডেল
গ্যোডেল তাঁর দুটি অসম্পূর্ণতা উপপাদ্যের জন্য বিখ্যাত, যেগুলো তিনি মাত্র ২৫ বছর বয়সে, ইউনিভার্সিটি অফ ভিয়েনা থেকে ডক্টরেট পাওয়ার মাত্র এক বছরের মধ্যে, ১৯৩১ সালে প্রকাশ করেন। এই দুইটি উপপাদ্যের মধ্যে যেটি বেশি বিখ্যাত, সেটি বলে যে স্বাভাবিক সংখ্যাগুলির পাটীগণিত (অর্থাৎ পেয়ানো পাটীগণিত) ব্যাখ্যা করতে পারে, এরকম শক্তিশালী যেকোন স্বসংগত (self-consistent) পুনরাবৃত্তিমূলক স্বতঃসিদ্ধ ব্যবস্থার জন্য স্বাভাবিক সংখ্যা বিষয়ে এমন সব সত্য প্রস্তাবনা (true propositions) আছে, যে প্রস্তাবনাগুলি ঐ স্বতঃসিদ্ধগুলি থেকে উপনীত হওয়া সম্ভব নয়। এই উপপাদ্যটি প্রমাণ করার জন্য গ্যোডেল গ্যোডেল সংখ্যায়ন নামের একটি কৌশল বের করেন।