Wissenschaft
Computer als Assistenz-Mathematiker
Rechnen konnten Computer schon immer. Doch abgesehen davon hatten sie für die Mathematik kaum einen Nutzen – bislang. Denn inzwischen gibt es Programme, die mathematische Beweise prüfen können. KI eröffnet dabei neue Möglichkeiten. von PAULA STRÄTER Den meisten Menschen begegnet Mathematik im Alltag nur, wenn sie zählen oder...
Wissenschaft
Zurück zum Mond
Am 20. Juli 1969 landeten die ersten Menschen auf dem Mond, die letzten verließen ihn am 14. Dezember 1972. Seit mehr als 50 Jahren waren nur noch Roboter dort oben. Einer der Hauptgründe dafür ist sicherlich, dass die bemannten Mondmissionen extrem teuer waren: Mehr als 25 Milliarden US-Dollar kostete das Apollo-Programm....
