Direkt zum Inhalt
Login erforderlich
Dieser Artikel ist Abonnenten mit Zugriffsrechten für diese Ausgabe frei zugänglich.

Mathematik: Werden Computer das Wesen der Mathematik verändern?

Einer der größten Mathematiker der Gegenwart findet in einer eigenen Arbeit einen Fehler – und stürzt sich in ein Projekt mit dem Ziel, das Beweisen gänzlich dem Computer anzuvertrauen. Dazu muss er nichts weniger als die Grundlagen der Mathematik neu fassen.
Vladimir Voevodsky im Gespräch am Institute for Advanced Study in Princeton.Laden...

Eine Bahnfahrt von Lyon nach Paris ist ein relativ kurzes Vergnügen: Der TGV braucht für die 429 Kilometer gerade mal zwei Stunden – eine knapp bemessene Zeit, wenn man währenddessen seinen Kollegen davon über­zeugen will, seine Arbeit fundamental anders zu machen, als das seit jeher üblich ist.

Der Mathematiker Vladimir Voevodsky hat es trotzdem versucht. Und als kurz vor Paris die Idee seinem Fachkolle­gen Steve Awodey von der Carnegie Mellon University in Pittsburgh (Pennsylvania) immer noch nicht so recht einleuchten will, holt er seinen Laptop aus der Tasche und ruft ein Programm namens Coq auf. Das ist auf den ersten Blick so etwas wie ein spezialisiertes Microsoft Word: Man schreibt in einer hochgradig formalisierten Notation einen mathematischen Text hinein. Im Zug erarbeitet Voevodsky binnen 15 Minuten mit Hilfe eines neuen, von ihm entwor­fenen Formalismus namens "Univalent Foundations" die Definition eines mathematischen Objekts. Eigentlich sei das doch ganz einfach, und Awodey möge doch am besten seine Mathematik nur noch in Coq betreiben.

Voevodsky hat gut reden. Der 48­-Jährige ist permanentes Fakultätsmitglied am weltberühmten Institute for Advanced Study (IAS) in Princeton (New Jersey). In Moskau geboren, spricht er nahezu akzentfreies Englisch und strahlt die Selbstsicherheit eines Menschen aus, der niemandem mehr etwas beweisen muss. Im Jahr 2002 wurde ihm die Fields­ Medaille verliehen, die bedeutendste Auszeichnung auf dem Gebiet der Mathematik. Kaum verwunderlich, wenn er und der Rest der Welt deutlich verschiedene Vorstellungen davon haben, was in der Mathematik einfach ist....

Dezember 2016

Dieser Artikel ist enthalten in Spektrum der Wissenschaft Dezember 2016

Kennen Sie schon …

36/2019

Spektrum - Die Woche – 36/2019

In dieser Ausgabe widmen wir uns der Toxoplasmose, dem Altern und der Utopie.

26/2019

Spektrum - Die Woche – 26/2019

In dieser Ausgabe widmen wir uns der Hitze, Erdbeben und der Ernährung.

24/2019

Spektrum - Die Woche – 24/2019

In dieser Ausgabe widmen wir uns Korallen, dem Münchhausen-Stellvertreter-Syndrom und dem komplexesten Spiel der Welt.

Lesermeinung

1 Beitrag anzeigen

Wir freuen uns über Ihre Beiträge zu unseren Artikeln und wünschen Ihnen viel Spaß beim Gedankenaustausch auf unseren Seiten! Bitte beachten Sie dabei unsere Kommentarrichtlinien.

Tragen Sie bitte nur Relevantes zum Thema des jeweiligen Artikels vor, und wahren Sie einen respektvollen Umgangston. Die Redaktion behält sich vor, Leserzuschriften nicht zu veröffentlichen und Ihre Kommentare redaktionell zu bearbeiten. Die Leserzuschriften können daher leider nicht immer sofort veröffentlicht werden. Bitte geben Sie einen Namen an und Ihren Zuschriften stets eine aussagekräftige Überschrift, damit bei Onlinediskussionen andere Teilnehmer sich leichter auf Ihre Beiträge beziehen können. Ausgewählte Lesermeinungen können ohne separate Rücksprache auch in unseren gedruckten und digitalen Magazinen veröffentlicht werden. Vielen Dank!