🐶 «GM, доброе утро! Давайте докажем математическую теорему с помощью LEAN, хи-хи!» 🧮
.
Увидел, что Justin Sun говорил о Lean и #JustinSunPrize.
Сегодня ваш пёс расскажет о математике простыми словами 👇
.
💻 Lean — это язык программирования и инструмент для математических доказательств. Мы записываем задачи, условия и доказательства так, чтобы их мог проверить компьютер. Как будто у вас есть проверяющий домашнюю работу, который постоянно спрашивает: «Какими рассуждениями вы обосновываете этот шаг?» 😂
.
Рассмотрим простую задачу:
«Сумма двух чётных чисел всегда является чётным числом»
.
Если a и b — целые числа, то два чётных числа можно записать как 2a и 2b. Значит,
.
👉 2a + 2b = 2(a + b)
.
Поскольку a + b тоже является целым числом, сумма будет чётной ✅
.
Примеры вроде 2 + 4 или 6 + 8 помогают понять идею, но приведённое выше доказательство объясняет, почему это утверждение верно для любой пары чётных чисел!
.
🔍
@justinsuntron @trondao @TronDao_THA
#TGF #TronGlobalFriends
.
Увидел, что Justin Sun говорил о Lean и #JustinSunPrize.
Сегодня ваш пёс расскажет о математике простыми словами 👇
.
💻 Lean — это язык программирования и инструмент для математических доказательств. Мы записываем задачи, условия и доказательства так, чтобы их мог проверить компьютер. Как будто у вас есть проверяющий домашнюю работу, который постоянно спрашивает: «Какими рассуждениями вы обосновываете этот шаг?» 😂
.
Рассмотрим простую задачу:
«Сумма двух чётных чисел всегда является чётным числом»
.
Если a и b — целые числа, то два чётных числа можно записать как 2a и 2b. Значит,
.
👉 2a + 2b = 2(a + b)
.
Поскольку a + b тоже является целым числом, сумма будет чётной ✅
.
Примеры вроде 2 + 4 или 6 + 8 помогают понять идею, но приведённое выше доказательство объясняет, почему это утверждение верно для любой пары чётных чисел!
.
🔍
@justinsuntron @trondao @TronDao_THA
#TGF #TronGlobalFriends
