🐶 „GM am Morgen! Lasst uns mit LEAN mathematische Theoreme beweisen, hehe!“ 🧮
.
Ich habe gesehen, dass Justin Sun über Lean und #JustinSunPrize gesprochen hat. Heute erklärt euch euer großer Bruder Hund etwas über Mathematik – ganz einfach 👇
.
💻 Lean ist eine Programmiersprache und ein Werkzeug, das beim Beweisen mathematischer Aussagen hilft. Wir formulieren Aufgaben, Bedingungen und Beweise so, dass ein Computer sie überprüfen kann – fast wie ein Hausaufgabenprüfer, der ständig fragt: „Welche Begründung gibt es für diesen Schritt?“ 😂
.
Schauen wir uns eine einfache Aufgabe an:
„Die Summe zweier gerader Zahlen ist immer gerade.“
.
Wenn a und b ganze Zahlen sind, können wir zwei gerade Zahlen als 2a und 2b schreiben. Also gilt:
.
👉 2a + 2b = 2(a + b)
.
Da a + b ebenfalls eine ganze Zahl ist, ist die Summe gerade ✅
.
Beispiele wie 2 + 4 oder 6 + 8 helfen uns, das zu veranschaulichen. Aber der Beweis oben erklärt, warum diese Aussage für jedes Paar gerader Zahlen gilt!
.
🔍
@justinsuntron @trondao @TronDao_THA
#TGF #TronGlobalFriends
.
Ich habe gesehen, dass Justin Sun über Lean und #JustinSunPrize gesprochen hat. Heute erklärt euch euer großer Bruder Hund etwas über Mathematik – ganz einfach 👇
.
💻 Lean ist eine Programmiersprache und ein Werkzeug, das beim Beweisen mathematischer Aussagen hilft. Wir formulieren Aufgaben, Bedingungen und Beweise so, dass ein Computer sie überprüfen kann – fast wie ein Hausaufgabenprüfer, der ständig fragt: „Welche Begründung gibt es für diesen Schritt?“ 😂
.
Schauen wir uns eine einfache Aufgabe an:
„Die Summe zweier gerader Zahlen ist immer gerade.“
.
Wenn a und b ganze Zahlen sind, können wir zwei gerade Zahlen als 2a und 2b schreiben. Also gilt:
.
👉 2a + 2b = 2(a + b)
.
Da a + b ebenfalls eine ganze Zahl ist, ist die Summe gerade ✅
.
Beispiele wie 2 + 4 oder 6 + 8 helfen uns, das zu veranschaulichen. Aber der Beweis oben erklärt, warum diese Aussage für jedes Paar gerader Zahlen gilt!
.
🔍
@justinsuntron @trondao @TronDao_THA
#TGF #TronGlobalFriends
