Tag: Logik

Der Mediziner Warren McCulloch und der junge Logiker Walter Pitts trafen sich in den frühen 1940er-Jahren in der Universität von Chicago. Im Dezemberheft 1943 der Zeitschrift „Bulletin of Mathematical Biophysics“ veröffentlichten sie einen Artikel mit dem Titel „Ein logisches Kalkül für die Prinzipien des Nervensystems“. Er gilt als die erste mathematische Beschreibung eines neuronalen Netzes….

Weiterlesen

Im Juli 1948 beschrieb die englische Zeitschrift „Mind“ ein logisches Rätsel. Es verbreitete sich dann unter den Namen Prediction Paradox und Paradoxie der unerwarteten Prüfung; in den USA wurde es zum Henker-Paradox. Bis heute erschienen dazu Hunderte von Artikeln in der philosophischen Literatur. 75 Jahre nach seiner Veröffentlichung hat der HNF-Blog das Rätsel endlich gelöst….

Weiterlesen

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

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

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