Bearbeiten von „KoMa 95/AK Mathematische Philosophie“

{{Vorlage:Arbeitskreis Session
|Name=AK Mathematische Philosophie
|AK=AK Mathematische Philosophie
|AKS_Typ=Austausch
|Initiator=Nax (München)
|Leitung=Nax (München)
|Dauer=30min - 1h
|AKS_Kurzbeschreibung=Bin ich die einzige Person, die es blöd findet, dass in einem typischen Mathe-Studium zu wenig über die Grundlage, insbesondere die philosophische Grundlage der Mathematik geredet wird? Hoffentlich nicht. In diesem AK möchte ich herausfinden, ob es ähnliche Meinungen gibt bzw. Diese auszutauschen.

Mein Mathematik-Studium begann mit einer kurzen Einführung in die Mengenlehre. Da ich einen besonders guten Dozenten hatte, habe ich sogar ein bisschen über die Zermelo-Fraenkel axiomatische Mengenlehre unterrichtet bekommen. Die ZF Mengenlehre ist zwar hässlich, aber wenigstens eine solide Grundlage, auf der die gesamte Mathematik aufbauen lässt. Deshalb fand ich es sehr schade, als ich erfahren habe, dass einige neue Erstis gar keine ordentliche Grundlage in ihren Vorlesungen lernen konnten.

Vor allem in Zeiten der KI und des Klimawandels finde ich es besonders wichtig, nicht nur zu betonen, DASS man Dinge tut, sonder auch WIE man bestimmte Dinge tut. Mathematik ohne philosophische Überlegung in Kombination mit KI kann meiner Meinung nach zu der gefährlichen Situation führen, in der sich niemand mehr für die konkreten Details interessiert, und deshalb auch niemand mehr diese Details versteht.
}}