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 ...

Wer vor Newton und Leibniz das unendlich Kleine und Große zu fassen suchte – das zeigen Mathematiker der Universität Hildesheim in einem Mammutprojekt. Die Buchreihe im springer-Verlag soll auch für ...

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 ...

In 1976, Appel and Haken proved the Four Color Theorem by reducing it to thousands of cases and checking them mechanically.