„Uncovering the Axioms of Mathematics“ ist ein interdisziplinäres Forschungsprojekt, das Mathematik, Informatik und Philosophie vereint, um eine der grundlegendsten Fragen der Wissenschaft zu beantworten: Wie sollten die Regeln der Mathematik lauten? Bereits vor 100 Jahren ging der Wiener Kreis – eine Gruppe führender Intellektueller aus Philosophie und Naturwissenschaften – dieser Frage nach. Ihre Arbeit gipfelte in Gödels Unvollständigkeitssätzen, einer der bedeutendsten Errungenschaften in den Grundlagen der Wissenschaft. Diese Sätze zeigen auf, dass es Fragen gibt, die mit den bekannten Regeln der Mathematik nicht beantwortet werden können. In diesem Emerging Field betrachten die Forschenden das Phänomen der Unvollständigkeit aus einer modernen Perspektive unter Berücksichtigung moderner Entwicklungen wie Computern und KI. Ziel ist die Enthüllung der Axiome der Mathematik.

„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“ so Juan P. Aguilera, Koordinator an der TU Wien, über die Ziele des Emerging Fields.

Das Fördervolumen beträgt 7 Millionen Euro.