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
Kontakt und Konflikte
Fremde Wesen oder Geräte im Sonnensystem hätten einen Kulturschock mit unabsehbaren Risiken zur Folge. von RÜDIGER VAAS Werden wir jemals eine Nachricht von E.T. erhalten? Wir wissen es nicht. Wir wissen auch nicht, wann dies geschehen wird“, sagt John Elliot. „Aber wir wissen, dass wir es uns nicht leisten können, schlecht...
