Kategorie: Allgemein

Gewohltheit.

But the nature of power is such that even those who have not sought it, but have had it forced upon them, tend to acquire a taste for more.

Aldous Huxley: Brave New World Revisited

WWWuff.

7. Im § 17 Z 2 werden nach dem Wort „Diensthunde“ die Worte „sowie Computersysteme“ eingefügt.

Änderung des Militärbefugnisgesetzes, WRÄG 2019, Nationalrat Österreich

Skat(e)verein.

Zeige mir deinen Verein und sich sage dir wie alt du bist.

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)

Erwächsig.

Enjoy your day and don't be too grown-uppy!