🐶 “GM pagi! Ayo buktikan teorema matematika lewat LEAN, hehe!” 🧮
.
Melihat Justin Sun membahas Lean dan #JustinSunPrize,
hari ini Kak Dog mau berbagi cerita matematika dengan cara yang mudah dipahami 👇
.
💻 Lean adalah bahasa pemrograman dan alat bantu untuk membuktikan teorema matematika. Kita menulis soal, syarat, dan pembuktiannya dalam bahasa yang bisa diperiksa komputer. Ibaratnya ada pemeriksa PR yang terus bertanya, “Langkah ini menggunakan alasan apa?” 😂
.
Coba lihat soal sederhana:
“Jumlah dua bilangan genap selalu merupakan bilangan genap.”
.
Jika a dan b adalah bilangan bulat, kita bisa menuliskan dua bilangan genap sebagai 2a dan 2b. Jadi,
.
👉 2a + 2b = 2(a + b)
.
Karena a + b tetap merupakan bilangan bulat, jumlahnya pun bilangan genap ✅
.
Mencoba 2 + 4 atau 6 + 8 bisa memberi contoh, tetapi pembuktian di atas menjelaskan mengapa pernyataan ini benar untuk setiap pasangan bilangan genap!
.
🔍
@justinsuntron @trondao @TronDao_THA
#TGF #TronGlobalFriends
.
Melihat Justin Sun membahas Lean dan #JustinSunPrize,
hari ini Kak Dog mau berbagi cerita matematika dengan cara yang mudah dipahami 👇
.
💻 Lean adalah bahasa pemrograman dan alat bantu untuk membuktikan teorema matematika. Kita menulis soal, syarat, dan pembuktiannya dalam bahasa yang bisa diperiksa komputer. Ibaratnya ada pemeriksa PR yang terus bertanya, “Langkah ini menggunakan alasan apa?” 😂
.
Coba lihat soal sederhana:
“Jumlah dua bilangan genap selalu merupakan bilangan genap.”
.
Jika a dan b adalah bilangan bulat, kita bisa menuliskan dua bilangan genap sebagai 2a dan 2b. Jadi,
.
👉 2a + 2b = 2(a + b)
.
Karena a + b tetap merupakan bilangan bulat, jumlahnya pun bilangan genap ✅
.
Mencoba 2 + 4 atau 6 + 8 bisa memberi contoh, tetapi pembuktian di atas menjelaskan mengapa pernyataan ini benar untuk setiap pasangan bilangan genap!
.
🔍
@justinsuntron @trondao @TronDao_THA
#TGF #TronGlobalFriends
