HeadlinesBriefing favicon HeadlinesBriefing.com

Motivierte mathematische Erklärungen jenseits von Beweisen

Hacker News •
×

Der Gastbeitrag von Grant Sanderson argumentiert, dass das Lösen von Problemen und das Erzeugen von Beweisen sich seit langem als Proxys für das wahre Ziel der Mathematiker dienten: die menschliche Verständnis zu fördern. Wenn Beweise ohne dieses Verständnis erzeugt werden können, schwächt das ihren Wert als Proxys. Sanderson schlägt vor, dass die mathematische Gemeinschaft ein konzept von "motivierter Erklärung" noch fester definiert und derartige Arbeiten eine akademische Anerkennung erhalten, ähnlich der die Geschichte geschenkten neuen Beweise für offene Probleme.

Er glaubt, dass die Förderung motivierter Erklärungen ein wichtiger Schritt ist, um denen außerhalb der Mathematik besser zu helfen, zu verstehen, was Mathematiker beitragen. Wenn Außenstehende glauben, dass Beweisgenerator-Maschinen die Mathematiker veralten lassen, während Innerende dies als einen Fehlgriff ansehen, ist es die Verantwortung dieser Gemeinschaft, ihre wahren Werte durch die Art von Arbeit zu projizieren, die sie belohnt. Außenstehende können diesen Missverständnis mit entschuldigt werden, wenn die am meisten geehrte Arbeit eher auf das Erzeugen von Beweisen ausgerichtet ist, während Klärung und Exposition als zweite Klasse behandelt werden.

Sanderson erkennt einen offensichtlichen persönlichen Bias an, indem er seine nicht-traditionelle Karriere in der Mathematik betont, die auf das Herstellen von Videos fokussiert ist. Er klärt auf, dass die Förderung motivierter Erklärungen nicht Popularisierung bedeutet, sondern jede Arbeit, die hauptsächlich darauf abzielt, die Frage "Wie würden Sie denken, dass...?" zu beantworten, auch wenn der Gegenstand eine tiefe Fachkenntnis erfordert, um geschätzt zu werden.

Er definiert eine motivierte Erklärung als Arbeit, bei der Definitionen in der Mitte der Erzählung verortet sind, neue Konstruktionen nur eintreten, wenn das Problem klar etabliert wurde, und es in Ordnung ist, mit einer Idee zu beginnen, die nicht ganz richtig ist, aber relatable (nachvollziehbar) ist.

Schlüssel-Entitäten: Personen: Grant Sanderson, Michael Nielsen, T.