Ancestors

Toot

Written by Eigenraum on 2024-10-30 at 08:05

Gerade macht wieder die Nachricht “High school girls finden neuen Beweis für Pythagoras" die Runde. Die ist eigentlich von 2023, aber jetzt wurde das Paper veröffentlicht!

Erstmal eine super Geschichte!

Aber, was sind eigentlich verschiedene Beweise? Laut Wikipedia sind mehr als 100 Beweise des Satzes bekannt und einige werden da beschrieben?

Aber wie würde eine rigorose mathematische Definition von “neuer Beweis" aussehen?

🤔

https://www.theguardian.com/us-news/2023/mar/24/new-orleans-pythagoras-theorem-trigonometry-prove

=> More informations about this toot | More toots from Eigenraum@podcasts.social

Descendants

Written by Eigenraum on 2024-10-30 at 08:08

Wenn ihr in diesem Follow-Up die Antwort erwartet, dann muss ich euch enttäuschen. Ich weiss es auch nicht, aber es klingt nach einem Problem, was an die Wurzel der Mathematik und die Beschreibung der Logik geht.

[#]chatGPT bietet z.B. nur blabla "you know it when you see it”.

Terry Tao hat ein paar Gedanken dazu: Gibt es eine Verallgemeinerung des Satzes wo ein Beweis noch geht, der andere aber nicht. Das wäre ein Kriterium, aber keine vollst. Methode.

https://mathstodon.xyz/@tao/113391326199704210

=> View attached media

=> More informations about this toot | More toots from Eigenraum@podcasts.social

Written by benni on 2024-10-30 at 09:13

@Eigenraum Ein Maß für die Neuigkeit eines Beweises ist die Kolgomorov-Komplexität dessen algorithmischer Umformung aus einem alten Beweis.

=> More informations about this toot | More toots from benni@social.tchncs.de

Proxy Information
Original URL
gemini://mastogem.picasoft.net/thread/113395336097156646
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
260.135251 milliseconds
Gemini-to-HTML Time
0.575172 milliseconds

This content has been proxied by September (3851b).