🐶 «صباح الخير! هيا نثبت نظريات رياضية باستخدام LEAN ههه!» 🧮
.
رأيت جاستن صن يتحدث عن Lean و#JustinSunPrize،
واليوم سيحكي لكم أخوكم الكلب عن الرياضيات بطريقة سهلة الفهم 👇
.
💻 Lean لغة برمجة وأداة تساعد على إثبات النظريات الرياضية. نكتب المسائل والشروط والبراهين بلغة يستطيع الحاسوب التحقق منها، وكأن لدينا مصححًا للواجبات يسأل طوال الوقت: «ما المنطق وراء هذه الخطوة؟» 😂
.
إليكم مسألة سهلة:
«مجموع عددين زوجيين هو دائمًا عدد زوجي»
.
إذا كان a وb عددين صحيحين، فيمكننا كتابة العددين الزوجيين على هيئة 2a و2b. إذن:
.
👉 2a + 2b = 2(a + b)
.
وبما أن a + b يظل عددًا صحيحًا، فإن المجموع عدد زوجي ✅
.
تجربة 2 + 4 أو 6 + 8 تساعدنا على رؤية أمثلة، لكن البرهان أعلاه يوضح لماذا تصح هذه العبارة لكل زوج من الأعداد الزوجية!
.
🔍

@justinsuntron @trondao @TronDao_THA
#TGF #TronGlobalFriends