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
Das Matrjoschka-Multiversum
Besteht der Kosmos aus zahllosen Universen – in Schwarzen Löchern ineinander geschachtelt wie bei russischen Puppen? von RÜDIGER VAAS Dass unser Universum in etwas Umfassenderes eingebettet sein könnte, ist ein alter Gedanke. Der französische Mathematiker und Philosoph Blaise Pascal hat beispielsweise schon vor 1662 überlegt, ob...
