Tag: Aussagenlogik

Herr Leibniz und seine Logik

Geschrieben am 01.07.2021 von

Am heutigen 1. Juli feiern wir den 375. Geburtstag des Universalgelehrten Gottfried Wilhelm Leibniz. Er kam in Leipzig zur Welt und arbeitete später vor allem in Hannover. Er erfand die höhere Mathematik, entwarf Rechenmaschinen für Dezimal- und Dualzahlen und suchte die beste aller möglichen Welten. Leibniz gilt zudem als einer der Väter der modernen Logik.  …

Weiterlesen

Konrad Zuse und der Plankalkül

Geschrieben am 22.06.2020 von

Am 22. Juni 1910 wurde in Berlin Konrad Zuse geboren. Er erfand nicht nur den Computer, sondern gründete auch die erste deutsche Firma für seine Herstellung. 1945 schuf er den Plankalkül, der die Vorstufe einer höheren Programmiersprache war. Der Kalkül ist etwas knifflig, doch meldete Zuse 1950 einen Digitalrechner zum Patent an, der ihn benutzte. …

Weiterlesen

Künstliche Intelligenz: Es begann in Bonn

Geschrieben am 06.03.2020 von

Ü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

Die intelligente Programmiersprache

Geschrieben am 15.04.2019 von

Wenn ein Computer so schlau ist wie ein Mensch, dann liegt es an der Software. Niemand begriff das besser als der amerikanische Mathematiker John McCarthy. Im April 1959 veröffentlichte er die Sprache LISP; sie eignet sich hervorragend für Programme aus der Künstlichen Intelligenz. Ab 1979 bauten Computerfirmen sogenannte Lisp-Maschinen, die auf diese Sprache zugeschnitten waren. …

Weiterlesen

Ist doch logisch

Geschrieben am 14.11.2017 von

Am 2. April 1947 meldete Konrad Zuse in Österreich eine “Vorrichtung zum Ableiten von Resultatangaben mittels Grundoperationen des Aussagenkalküls“ zum Patent an. Am 25. August 1952 wurde ihm das Patent gewährt. Schon vorher beschrieb er in Aufsätzen eine „logistische Rechenmaschine“ als Ergänzung seiner Digitalrechner. Mit ihr wagte er sich in das Forschungsgebiet der Künstlichen Intelligenz….

Weiterlesen

Der Vater der Computerlogik

Geschrieben am 02.11.2015 von

2015 feiern wir den 200. Geburtstag von Ada Lovelace, der ersten Programmiererin. Vor 200 Jahren kam ebenso ein männlicher Vordenker der Informatik zur Welt: George Boole. Nach dem am 2. November 1815 in der englischen Stadt Lincoln geborenen Mathematiker und Logiker ist die Boolesche Algebra benannt. Auch Booles Ehefrau Mary widmete sich der Mathematik. Computer…

Weiterlesen

Ist doch logisch !

Geschrieben am 26.06.2015 von

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