Geschrieben am 01.07.2021 von HNF
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. …
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 26.06.2015 von HNF
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“….
