Geschrieben am 08.12.2023 von HNF
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….
Geschrieben am 08.11.2018 von HNF
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….
Geschrieben am 14.11.2016 von HNF
Gottfried Wilhelm Leibniz starb vor 300 Jahren, am 14. November 1716, in Hannover. Er erfand die Rechenmaschine, den mechanischen Analogrechner, das Dualsystem und die Differentialrechnung. Darüber hinaus gilt er als Urvater der formalen Logik. Unser heutiger Text, der letzte unserer Leibniz-Reihe, behandelt eine ungewöhnliche Idee von ihm, den rein logischen Beweis für die Existenz Gottes….
