Der österreichische Wissenschaftsfonds FWF, öffnet eine externe URL in einem neuen Fenster hat die Exzellenzinitiative „excellent=austria“ ins Leben gerufen. Im Rahmen dieser Initiative gibt es die Förderschiene „Emerging Fields“. Im Rahmen der zweiten Ausschreibung (2026) des Programms wurden 6 verschiedene Projekte als Emerging Fields-Projekte ausgewählt, eines davon ist das von der TU Wien geleitete Projekt „UnAxiMa – Uncovering the Axioms of Mathematics“, öffnet eine externe URL in einem neuen Fenster.
Im UnAxiMa-Projekt befassen sich die Forschenden mit einer der grundlegendsten Fragen der Wissenschaft: Wie sollten die Regeln der Mathematik aussehen? Mit zentralen Fragen zum Verhältnis zwischen Axiomen und Berechnung, Unvollständigkeit und Notwendigkeit werden im Rahmen des Projekts die Axiome der Mathematik unter Berücksichtigung von Aspekten der mathematischen Logik (insbesondere der Mengenlehre, der Berechenbarkeitstheorie und der inversen Mathematik), der Komplexitätstheorie, des automatisierten Theorembeweises und der Philosophie untersucht. Das Ziel: neue Regeln aufzudecken, die die Art und Weise, wie Mathematik betrieben, gelehrt und angewendet wird, sowie unser Verständnis davon, was Mathematik überhaupt ist, für immer verändern könnten.
Mit der Frage, wie die Regeln der Mathematik aussehen sollten, haben sich bereits vor 100 Jahren Wissenschaftler_innen im Wiener Kreis untersucht, einer Gruppe führender Intellektueller aus Mathematik, Philosophie und den Naturwissenschaften.
„Axiome sind die Grundregeln der Mathematik – und damit ihr wichtigster Bestandteil. Sie sind gewissermaßen die Atome des Universums oder die Bits eines Computers: die elementaren Bausteine, aus denen alles entsteht. In diesem Sinne sind Axiome die DNA der Mathematik, die wir noch besser verstehen wollen“ beschreibt Juan P. Aguilera, Projektkoordinator an der TU Wien, die Ziele des Projekts.
Das Projekt wird an der TU Wien von Juan P. Aguilera, Sandra Müller, Michael Pinsker (Fakultät Mathematik und Geoinformation) und Laura Kovács (Fakultät Informatik) geleitet. Vervollständigt wird das Team durch Vera Fischer und Georg Schiemer von der Universität Wien.
Das Projekt hat eine Laufzeit von fünf Jahren und verfügt über ein Gesamtfördervolumen von 7 Millionen Euro.
Mitarbeit erwünscht
Das Projekt UnAxiMa bietet bis zu 12 Postdoc-Stellen und bis zu 12 Doktorand_innenstellen an der TU Wien und der Universität Wien. Bewerbungen, öffnet eine externe URL in einem neuen Fenster dafür sind noch bis 22. Mai 2026 möglich.