Tag: Kurt Gödel

Seit dem 20. September 1924 gibt es bei uns ein allgemein verbindliches System für die Stenografie. Es bildete das Ende einer Entwicklung, die in der Antike begann. Die Deutsche Einheitskurzschrift wird in Deutschland und Österreich verwendet; sie dient etwa zur Aufzeichnung von Reden im Bundestag. Die Stenografie beherrschten auch Schriftsteller und Wissenschaftler wie Konrad Zuse….

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