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
Atomuhren zum Mitnehmen
Optische Atomuhren messen die Zeit so präzise wie kein anderer Taktgeber. Dank einer Erfindung des deutschen Nobelpreisträgers Theodor Hänsch rücken sie jetzt näher an die Praxis und werden nutzbar für mobile Anwendungen. von NIKOLAUS FECHT Ohne ihn hätten die Wissenschaftler keine Möglichkeit, die Zeit mit einer solchen...