ভৌত বিশ্বতত্ত্ব
১৯১৫ সালে বিজ্ঞানী আলবার্ট আইনস্টাইন তার সাধারণ আপেক্ষিকতা তত্ত্ব উপস্থাপনের পর থেকেই মূলত ভৌত বিশ্বতত্ত্ব একটি পর্যবেক্ষণযোগ্য এবং সুনির্দিষ্ট নীতিমালাবিশিষ্ট বিজ্ঞান হিসেবে সুপ্রতিষ্ঠিত হয়। সেই সময় পদার্থবিদরা সম্পূর্ণ স্থির একটি মহাবিশ্বের ধারণা পোষণ করতেন যার কোন শুরু বা শেষ নেই। আইনস্টাইন তার তত্ত্ব একটি বিশ্বতাত্ত্বিক ধ্রুবক যোগ করে দিয়েছিলেন যেন তা স্থির মহাবিশ্ব তত্ত্বের সাথে মিলে যায়। কিন্তু সেই তথাকথিত "আইনস্টাইন মহাবিশ্ব" স্বভাবিক কারণেই ছিল অস্থিতিশীল। সাধারণ আপেক্ষিক তত্ত্ব মানলে মহাবিশ্বকে হয় প্রসারিত হতে হবো নয়তো সংকুচিত হতে হবে। সাধারণ আপেক্ষিকতা তত্ত্বের এই সমাধানটি প্রথম দেন বিজ্ঞানী আলেকজান্ডার ফ্রিডম্যান যার সমীকরণ ফ্রিডম্যান-Lemaître-রবার্টসন-ওয়াকার মহাবিশ্বের ব্যাখ্যা প্রদান করে এবং এই মহাবিশ্ব প্রসারিত বা সংকুচিত হতে পারে।
ইউক্লিডীয় এলগরিদম
ইউক্লিডের এলগরিদম দক্ষতার সাথে বড় বড় সংখ্যার গসাগু নির্ণয় করতে পারে, কারণ এর কখনোই ক্ষুদ্রতর পূর্ণসংখ্যাটিতে থাকা অঙ্কসংখ্যার (১০ ভিত্তিকে) পাঁচ গুণের চেয়ে বেশি ধাপ প্রয়োজন পড়ে না। এ প্রমাণটি ১৮৪৪ সালে গ্যাব্রিয়েল লামি কর্তৃক সম্পন্ন হয়, যা কম্পিউটেশনাল কমপ্লেক্সিটি তত্ত্বের জন্ম দেয়। ইউক্লিডীয় এলগরিদমের দক্ষতা বাড়ানোর বিভিন্ন উপায় ২০ শতকে আবিষ্কৃত হয়েছে।
ইউক্লিডীয় এলগরিদম দুটি স্বাভাবিক সংখ্যা "a" এবং "b" এর গরিষ্ঠ সাধারণ গুণনীয়ক (গসাগু) নির্ণয় করে। গরিষ্ঠ সাধারণ গুণনীয়ক "g" হল সেই বৃহত্তম সংখ্যা যা "a" এবং "b" উভয়কেই নিঃশেষে ভাগ করে (কোন অবশিষ্ট থাকে না)। গসাগুর কিছু প্রতিশব্দের মধ্যে আছে "গরিষ্ঠ সাধারণ উৎপাদক" (গসাউ), "গরিষ্ঠ সাধারণ ভাজক" (গসাভা) ইত্যাদি। গরিষ্ঠ সাধারণ ভাজককে অনেক সময় গসাগু("a", "b") অথবা, আরও সহজভাবে ("a", "b") - এভাবে লেখা হয়, যদিও আরও কিছু গাণিতিক প্রকাশে এ প্রতীকটি ব্যবহৃত হয়। 
যদি গসাগু("a", "b") = 1, তাহলে "a" এবং "b" কে সহমৌলিক সংখ্যা বলা হয়। যেমন, ৬ কিংবা ৩৫ কোনোটিই সহমৌলিক সংখ্যা নয়, কারণ তাদের উভয়েরই মৌলিক উৎপাদক রয়েছে: : ৬ = ২ × ৩ and ৩৫ = ৫ × ৭। তা সত্ত্বেও ৬ এবং ৩৫ সহমৌলিক। ১ ব্যতীত আর কোন স্বাভাবিক সংখ্যা ৬ ও ৩৫ কে বিভাজ্য করে না, কারণ তাদের কোণ সাধারণ উৎপাদক নেই।
ধরি, "g" = গসাগু("a", "b"). যেহেতু "a" এবং "b" উভয়েই "g" এর গুণিতক, তাদের এভাবে লেখা যেতে পারে "a" = "mg" এবং "b" = "ng", এবং এমন কোন বৃহত্তর সংখ্যা "G" > "g" নেই যার জন্যে এটি সত্য হতে পারে। তাই স্বাভাবিক সংখ্যা "m" এবং "n" অবশ্যই সহমৌলিক সংখ্যা, কারণ কোন সাধারণ উৎপাদক "m" এবং "n" কে ভাগ করলে তা "g" এর মান বৃহত্তর করবে. তাই, অন্য যেকোন সংখ্যা "c" যা "a" এবং "b" উভয়কেই ভাগ করে তা অবশ্যই "g"কেও বিভাজ্য করবে। তাই "a" এবং "b" এর গরিষ্ঠ সাধারণ উৎপাদক "g" হল তাদের এমন একটি সাধারণ উৎপাদক যা তাদের অন্য যে কোন সাধারণ উৎপাদক দ্বারা বিভাজ্য। 
ধরি, g = গসাগু(a, b). যেহেতু a এবং b উভয়েই g এর গুণিতক, তাদের এভাবে লেখা যেতে পারে a = mg এবং b = ng, এবং এমন কোন বৃহত্তর সংখ্যা G > g নেই যার জন্যে এটি সত্য হতে পারে। তাই স্বাভাবিক সংখ্যা m এবং n অবশ্যই সহমৌলিক সংখ্যা, কারণ কোন সাধারণ উৎপাদক m এবং n কে ভাগ করলে তা g এর মান বৃহত্তর করবে. তাই, অন্য যেকোন সংখ্যা c যা a এবং b উভয়কেই ভাগ করে তা অবশ্যই gকেও বিভাজ্য করবে। তাই a এবং b এর গরিষ্ঠ সাধারণ উৎপাদক g হল তাদের এমন একটি সাধারণ উৎপাদক যা তাদের অন্য যে কোন সাধারণ উৎপাদক দ্বারা বিভাজ্য।[৪]