Schlagwort-Archiv: Logik

Puzzlogicollecting.

A logical theory may be tested by its capacity for dealing with puzzles, and it is a wholesome plan, in thinking about logic, to stock the mind with as many puzzles as possible, since these
serve much the same purpose as is served by experiments in physical science.

Bertrand Russell: On Denoting

Täuschik.

We do not live in the age of logic,
we live in the age of deception.

a friend

Prophirarchy.

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)

Stampproof.

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!

Rest in Proof.

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)

Runless.

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

Chaostabelle.

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.

Ältere Beiträge «