Geschrieben am 28.04.2026 von HNF
Er gilt als der bedeutendste Logiker des 20. Jahrhunderts: Kurt Gödel. Geboren wurde er am 28. April 1906 im heute tschechischen Brünn. 1930 revolutionierte er das Fach durch zwei Unvollständigkeitssätze. Von 1940 bis zu seinem Tod im Januar 1978 lebte Gödel im amerikanischen Princeton. Auch Nicht-Logiker wissen von seinen Ideen für Zeitreisen und seinem Gottesbeweis….
Geschrieben am 31.05.2019 von HNF
Vor hundert Jahren, am 1. Juni 1919, wurde in Hildesheim Gisbert Hasenjaeger geboren. Im Krieg arbeitete er in der Chiffrierabteilung des Oberkommandos der Wehrmacht. Danach studierte er in Münster und promovierte im Fach Mathematik; ab 1962 lehrte er an der Universität Bonn mathematische Logik. Er baute auch funktionsfähige Turing-Maschinen. Gisbert Hasenjaeger starb 2006 in Plettenberg….
Geschrieben am 03.09.2017 von HNF
Am 25. August gab die Universität Manchester einen sensationellen Archivfund bekannt: In einem alten Aktenschrank kam schon im Mai eine umfangreiche Korrespondenz von Alan Turing ans Licht. Sie erstreckt sich über die Zeit von 1949 bis 1954 und umfasst 141 Vorgänge. Inzwischen liegt der Schriftverkehr, der rund 150 Briefe des Computerpioniers enthält, in der Universitätsbibliothek….
