Dezember 2017 Archiv

Unless Uniqueness.

It is not a good idea to name a state after its valuation.

Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi: Dynamic Epistemic Logic

Lesexercise.

We leave checking C1 to C3 as an exercise to the reader — the proofs are very similar to those in part (i).

past-me, annoying now-me and future-me

Fixpointificate.

(c) The contribution was provided directly to me by some other person who certified (a), (b) or (c) and I have not modified it.

Developer Certificate of Origin
Version 1.1

Ludwig would ignore AlphaGo.

For which definitions of "play" and "machine" is it even meaningful to say that a machine plays?

Trouble is usually he.

My polyamorous friend
He got me in a mess of trouble again

Breaking Benjamin: Polyamorous