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
Vom Nutzen der Roten Königin
Ist eine Theorie wahr, wenn sie Prognosen liefert, die sich als korrekt erweisen? In der Wissenschaft gibt es diese Art Wahrheit nicht. Das Problem: Theorien basieren auf allgemeinen Aussagen – und diese lassen sich nicht durch Einzelbeispiele verifizieren. Egal auf wie viele Einzelbeobachtungen man allgemeine Aussagen stützt,...
