Die Hierachie der Propositionen ist praktisch nirgendwo erforderlich und hat bloß für die Auflösung von Paradoxien Bedeutung; [...]
Alfred North Whitehead & Bertrand Russell: Principia Mathematica: Vorwort und Einleitungen, Teil V. (Seite 80 der Deutschen Übersetzung, Suhrkamp 2008)
Mensen namen maar gewoon aan dat de aardappel gekookt zou worden, omdat de vorige aardappel dat ook deed. Terwijl er maar één aardappel hoeft te zijn die niet wordt gekookt, en dan is de hele onderbouwing onder je stamppot weg.
De Speld: Koken op deductie: maak logisch onontkoombare gerechten!
In 1998, a chapter on realizability by his hand came out in the Handbook of Proof Theory. Characteristically, Anne’s text had been finished a few years before, faithfully meeting his deadline, but delays by other authors kept him updating, somewhat grumblingly, with all new results in the area. What he published had to be the complete state of the art.
Johan van Benthem and Dick de Jongh: Anne Troelstra (1939-2019)
A proof assistant is what happens if you spend all your time developing a type checker for your language and forget that programs also need to be run.
Vladislav Zavialov: Why Dependent Haskell is the Future of Software Development
Philosophischer Literatur-Schock des Tages: Ludwig hat nicht nur die Wahrheitstabelle erfunden, sonder auch gleich die "Verwirre deine LeserInnen indem du die Zeilen möglichst kreativ sortierst." Tradition begonnen.
