Tag: Prädikatenlogik

Ü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

Vor hundert Jahren, am 1. Juni 1919, wurde in Hildesheim Gisbert Hasenjaeger geboren. Im Krieg arbeitete er in der Chiffrierabteilung des Oberkommandos der Wehrmacht. Danach studierte er in Münster und promovierte im Fach Mathematik; ab 1962 lehrte er an der Universität Bonn mathematische Logik. Er baute auch funktionsfähige Turing-Maschinen. Gisbert Hasenjaeger starb 2006 in Plettenberg….

Weiterlesen

Vor 170 Jahren, am 8. November 1848, wurde in Wismar Gottlob Frege geboren. Von 1874 bis 1918 lehrte er an der Universität Jena Mathematik. Er starb 1925 in Bad Kleinen. 1879 erschien Freges „Begriffsschrift“, die erste Ausarbeitung der heutigen Prädikatenlogik. Kollegen und Studenten ignorierten ihn weitgehend, die Pioniere der formalen Logik schätzten ihn aber sehr….

Weiterlesen

Ende 1984 begannen der amerikanische Informatiker Douglas Lenat und einige Mitarbeiter, formalisierte englische Sätze in eine Datenbank einzutragen. Das Ziel war dabei eine umfassende Beschreibung der Welt, die wir um uns haben. Das Projekt trug den Namen Cyc; es endete im Frühjahr 2016. Die gesammelten sprachlichen Daten stehen seitdem für eine kommerzielle Nutzung zur Verfügung….

Weiterlesen

Denkmaschinen nannten viele in den 1950er Jahren die neuen Computer, doch schon 1910 stand das Wort in einem Lexikon, das der Schriftsteller Fritz Mauthner verfasst hatte. Er meinte damit natürlich keine Computer, sondern Apparate, die logische Schlüsse ziehen konnten, wie „Nachts sind alle Katzen grau, alle Tiger sind Katzen, also sind nachts alle Tiger grau“….

Weiterlesen