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 Harte unterliegt
In seiner „Legende von der Entstehung des Buches Taoteking auf dem Weg des Laotse in die Emigration“ lässt Bertolt Brecht den Weisen auf einen Zollbeamten treffen, der fragt, worüber sich der Gelehrte Gedanken gemacht und was er dabei herausgefunden hat. Der Knabe, der Laotse begleitet, antwortet mit dem berühmten Satz, „Dass das...
