🐶 “GM buổi sáng, cùng chứng minh định lý toán học bằng LEAN nào, hihi!” 🧮
.
Thấy Justin Sun nhắc đến Lean và #JustinSunPrize rồi,
hôm nay anh Chó xin kể một chút về toán học theo cách dễ hiểu nhé 👇
.
💻 Lean là một ngôn ngữ lập trình và công cụ hỗ trợ chứng minh toán học. Ta viết cả đề bài, điều kiện và phần chứng minh bằng ngôn ngữ mà máy tính có thể kiểm tra, giống như có một người chấm bài luôn hỏi: “Bước này dựa trên lập luận nào vậy?” 😂
.
Thử xem một bài toán đơn giản nhé:
“Tổng của hai số chẵn luôn là một số chẵn”
.
Nếu a và b là các số nguyên, ta có thể biểu diễn hai số chẵn là 2a và 2b. Do đó
.
👉 2a + 2b = 2(a + b)
.
Vì a + b vẫn là số nguyên nên tổng là số chẵn ✅
.
Thử tính 2 + 4 hoặc 6 + 8 sẽ giúp ta thấy ví dụ cụ thể, nhưng chứng minh ở trên giải thích vì sao mệnh đề này đúng với mọi cặp số chẵn!
.
🔍

@justinsuntron @trondao @TronDao_THA
#TGF #TronGlobalFriends