Tag: Gottesbeweis

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….

Weiterlesen

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….

Weiterlesen