Leben als Maschine ist spätestens seit der Renaissance eine wirkungsmächtige Metapher, die Menschen fasziniert und erschrocken hat. Die eigentliche Frage, die sich hinter der Maschinenmetapher verbirgt,…

Gerhard Gentzen (1909-1945) ist der Begründer der modernen mathematischen Beweistheorie. Die nachhaltige Bedeutung der von ihm entwickelten Methoden, Regeln und Strukturen zeigt sich heute vor allem in…