Mathematiker sind misstrauische Menschen. Vielleicht nicht im Alltag, aber in ihrem Beruf. "Man arbeitet nicht mit Leuten zusammen, die man nicht kennt", sagt Leonardo de Moura. "Ist diese Person ...

Der Abelpreis ist am ehesten vergleichbar mit einem Nobelpreis in der Mathematik. Er wird jedes Jahr von der Norwegischen Akademie der Wissenschaften vergeben. Gestiftet wurde er 2002 vom norwegischen ...

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

"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 russische Mathematiker Vladimir Voevodsky will Definitionen und Theoreme so formalisieren, dass man das Beweisen an ein Computerprogramm delegie­ren kann. Dazu muss er die bisherige Grundlage der ...

Kreative Architektur und moderne Bautechnik schaffen beeindruckende Gebäude. Seit Kurzem leistet auch die diskrete Differentialgeometrie ihren Beitrag dazu. Denn erst die Mathematik ermöglicht die ...

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

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

Die Paul Bernays Lectures sind eine jährlich stattfindende Ehrenvorlesungsreihe, die der Philosophie der exakten Wissenschaften gewidmet ist. Mit ihr wird der eminente Logiker, Mathematiker sowie ...

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

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