Peanos axioms

💡 Debates about Peano's axioms show how foundational choices echo through proofs you meet years later.

بحث‌ها در مورد اصول پئانو نشان می‌دهد که چگونه انتخاب‌های بنیادی در اثبات‌هایی که سال‌ها بعد با آنها مواجه می‌شوید، طنین‌انداز می‌شوند.

💡 A worksheet on Peano's axioms turned abstract philosophy into manipulatives and little victories.

یک برگه تمرین در مورد اصول پئانو، فلسفه انتزاعی را به فریبکاری و پیروزی‌های کوچک تبدیل کرد.

💡 Peano’s axioms can be expressed in the notation of symbolic logic, from which all basic arithmetical operations, such as multiplication, can be derived.

اصول پئانو را می‌توان در قالب نمادگذاری منطق نمادین بیان کرد، که از آن می‌توان تمام عملیات حسابی پایه، مانند ضرب، را استخراج کرد.

💡 Using Peano's axioms, we built natural numbers like careful carpenters, one assumption at a time.

با استفاده از اصول پئانو، ما اعداد طبیعی را مانند نجاران دقیق، با یک فرض در هر زمان، ساختیم.

💡 To turn Peano’s axioms into music, Marthinsen assigned each logical symbol to a musical note to create short musical phrases, which he calls gödelings.

مارتینسن برای تبدیل اصول پئانو به موسیقی، هر نماد منطقی را به یک نت موسیقی اختصاص داد تا عبارات موسیقی کوتاهی بسازد که او آنها را گودلینگ می‌نامد.