Tag: Beweisprogramm

Über schlaue Computer machte sich schon Konrad Zuse nach Kriegsende Gedanken. 1960 erfand der Physiker Karl Steinbuch die Lernmatrix, ein frühes neuronales Netz. Andere deutsche Wissenschaftler schrieben erste Programme mit Künstlicher Intelligenz. Einige von ihnen kamen im Februar 1975 in der Universität Bonn zusammen. Mit ihren Diskussionen und Beschlüssen begann die Organisierung der deutschen KI-Forschung….

Weiterlesen

Computer haben sich öfter verrechnete, wegen Fehlern in der Software oder weil ein falsch programmierter Algorithmus im Prozessor Unsinn erzeugte. Dürfen wir also einem Computer trauen, der ein mathematisches Rätsel löste? Die Frage quält Informatiker und Mathematiker seit 1978, als ein Rechner des Typs IBM 370 das berühmte Vierfarbenproblem knackte, was zuvor keinem Menschen gelang….

Weiterlesen