set theory

💡 It would be little comfort to Cantor that his work was the foundation of a whole new branch of mathematics: set theory.

برای کانتور چندان مایه‌ی تسلی خاطر نبود که کارش پایه و اساس یک شاخه‌ی کاملاً جدید از ریاضیات باشد: نظریه‌ی مجموعه‌ها.

💡 In the late 1800s, German logician Georg Cantor, founder of modern set theory, discovered that not all infinite sets are equal.

در اواخر دهه ۱۸۰۰، منطق‌دان آلمانی، گئورگ کانتور، بنیانگذار نظریه مجموعه‌های مدرن، کشف کرد که همه مجموعه‌های نامتناهی با هم برابر نیستند.

💡 A solid grasp of set theory turns code reviews into crisp logic.

درک عمیق از نظریه مجموعه‌ها، بررسی کد را به منطقی واضح تبدیل می‌کند.

💡 But the math of set theory, which so often dwells in a world beyond proof, tends to look more like physics or biology, as Aguilera put it.

اما ریاضیات نظریه مجموعه‌ها، که اغلب در دنیایی فراتر از اثبات قرار دارد، همانطور که آگیلرا می‌گوید، بیشتر شبیه فیزیک یا زیست‌شناسی است.

💡 Critics of Zermelo's axiom once feared paradox, though modern set theory handles it cleanly.

منتقدان اصل موضوع زرملو زمانی از پارادوکس می‌ترسیدند، اگرچه نظریه مجموعه‌های مدرن آن را به روشنی بررسی می‌کند.

💡 Databases borrow from set theory every time you join tables.

پایگاه‌های داده هر بار که جداول را به هم متصل می‌کنید، از نظریه مجموعه‌ها وام می‌گیرند.