Mathematik ist nicht nur die Wissenschaft, die vom Unendlichen handelt – sie ist auch eines der größten Kunstwerke der Menschheit. Der Schwerpunkt "Mehr als Rechnen" nimmt Sie mit in diese ...
Der russische Mathematiker Vladimir Voevodsky will Definitionen und Theoreme so formalisieren, dass man das Beweisen an ein Computerprogramm delegieren kann. Dazu muss er die bisherige Grundlage der ...
Sie können sich Artikel der ZEIT in der Google-Suche nun bevorzugt anzeigen lassen. Solche Versuche gab es schon in der Vergangenheit. Lean ist dabei weiter vorgedrungen als jedes System zuvor.
"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 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 ...
Nach der Natur der zu verarbeitenden Information unterscheidet man Analogrechner (stetige Information, z. B. Meßgrößen), Digitalrechner (diskrete Information, z. B. Zahlen, Wahrheitswerte) sowie ...
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 ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results