Kategorie: Allgemein

WWWuff.

  • 2019-03-17

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.

  • 2019-03-16

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

Rest in Proof.

  • 2019-03-15

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.

  • 2019-03-14

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

Euler's List.

  • 2019-03-13

Euler's work touched upon so many fields that he is often the earliest written reference on a given matter. In an effort to avoid naming everything after Euler, some discoveries and theorems are attributed to the first person to have proved them after Euler.

Wikipedia: List of things named after Leonhard Euler