🐶 “Bom dia! Vamos provar teoremas matemáticos usando LEAN, hehe!” 🧮
.
Vi Justin Sun falando sobre Lean e o #JustinSunPrize.
Hoje, o amigo cão vai contar algo sobre matemática de um jeito fácil de entender 👇
.
💻 Lean é uma linguagem de programação e uma ferramenta que ajuda a provar teoremas matemáticos. Escrevemos os problemas, as condições e as provas em uma linguagem que o computador consegue verificar — é como ter alguém corrigindo a lição de casa e perguntando o tempo todo: “Que raciocínio você usou nesta etapa?” 😂
.
Veja este problema simples:
“A soma de dois números pares é sempre um número par.”
.
Se a e b são números inteiros, podemos escrever dois números pares como 2a e 2b. Portanto,
.
👉 2a + 2b = 2(a + b)
.
Como a + b também é um número inteiro, a soma é um número par ✅
.
Testar 2 + 4 ou 6 + 8 ajuda a visualizar alguns exemplos, mas a prova acima explica por que essa afirmação é verdadeira para qualquer par de números pares!
.
🔍
@justinsuntron @trondao @TronDao_THA
#TGF #TronGlobalFriends
.
Vi Justin Sun falando sobre Lean e o #JustinSunPrize.
Hoje, o amigo cão vai contar algo sobre matemática de um jeito fácil de entender 👇
.
💻 Lean é uma linguagem de programação e uma ferramenta que ajuda a provar teoremas matemáticos. Escrevemos os problemas, as condições e as provas em uma linguagem que o computador consegue verificar — é como ter alguém corrigindo a lição de casa e perguntando o tempo todo: “Que raciocínio você usou nesta etapa?” 😂
.
Veja este problema simples:
“A soma de dois números pares é sempre um número par.”
.
Se a e b são números inteiros, podemos escrever dois números pares como 2a e 2b. Portanto,
.
👉 2a + 2b = 2(a + b)
.
Como a + b também é um número inteiro, a soma é um número par ✅
.
Testar 2 + 4 ou 6 + 8 ajuda a visualizar alguns exemplos, mas a prova acima explica por que essa afirmação é verdadeira para qualquer par de números pares!
.
🔍
@justinsuntron @trondao @TronDao_THA
#TGF #TronGlobalFriends
