Post #1201994
2025-08-16 14:24 UTC
Thurstons klassischer Aufsatz „On Proof and Progress in Mathematics“ macht den Punkt, dass es gar nicht so sehr um die Beweise geht, sondern um dies kollektive menschliche Verstehen.
Und so viel davon ist ja gar nicht in all unseren Papers abgebildet. Die Trainingsdaten sind immer nur perfekte Lösungen. Theorem. Beweis. Beispiel. Hier und da eine gute Introduction, aber die wahre, soziale Mathematik ist gar nicht abgebildet.
Replies (1)
-
@tomkalei@machteburch.social 2025-08-16 14:25
Also ist das das was wir sehen? Übungsaufgaben gehen gut, weil sie Problem -> Lösung sind, aber Forschung geht nicht, weil es dazu das menschliche Verstehen braucht? Aber warum sind die top mathematicians dann so begeistert? Als Gedankensortierung haben Christian und ich nun diesen Text verfasst, bei dem wir uns aus zwei Richtungen annähern und auf diese gemeinsame Position kommen konnten. Hier auch noch ein Direktlink zum PDF: https://www.thomas-kahle.de/assets/pdf/math-in-context-window.pdf