Manche Beweise können kaum geprüft werden, weil es zu wenige unabhängige Fachleute gibt, die sie verstehen. Die Mathematik steht vor einem Problem: Sie ist zu komplex geworden. Immer wieder kommt es ...

"Seit Computer erstmals für mathematische Beweise zum Einsatz kamen, sind deren Anwender in der Defensive, sie müssen zeigen, dass unvollkommene Maschinen die reine Mathematik nicht verderben", sagt ...

Der Deutsche Gerd Faltings erhält den Abelpreis, quasi den Mathematik-Nobelpreis. Warum er am liebsten allein arbeitet und ...

Könnten Computer und Programme wie der Beweisprüfer Lean die Mathematik retten? Diese Frage stellen sich Forschende weltweit angesichts einer immer komplexer werdenden Disziplin. Denn die Mathematik ...

1982 wurde Gerd Faltings mit gerade einmal 27 Jahren der jüngste ordentliche Professor für Mathematik in Deutschland. Vier ...

Der Oberstudienrat war empört: "Das Maschinenrechnen lässt das eigene Rechnen und damit den Zahlensinn verkümmern wie das Auto die Beine", wetterte Karl Menninger, Lehrer aus dem hessischen Heppenheim ...

Der 78-jährige ehemalige Professor für Computer-Mathematik an der JKU Bruno Buchberger ist zudem Mitglied der „Academy of Europe“, Träger des Awards „Theory and Practice“ der ACM (San Francisco) und ...

Ich habe Mathematik schon als Kind geliebt. Ich war darin besser als in allem anderen. Und ich war besser darin als die anderen. Damals dachte ich, dass einfach etwas an meinem Gehirn zufällig anders ...