Wissenschaft
Der Kosmologe von Königsberg
Vor 300 Jahren wurde Immanuel Kant geboren. Der Philosoph war auch ein kühner Vordenker in den Naturwissenschaften. von RÜDIGER VAAS Eine „Milchstraße von Welten“ sei nicht mehr als eine Blume oder ein Insekt verglichen mit der ganzen Erde. Was wie ein moderner astronomischer Größenvergleich klingt – veranschaulicht von...
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...
