Tag: Aussagenlogik

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