Schlagwort: Logik

Teamwork.

  • 2012-09-23

Komm wir nehmen uns bei der Hand führen uns in ein neues Land

Die Apokalyptischen Reiter

Fucking correct.

  • 2012-09-19

Soundness means: It does not prove bullshit.

A. Baltag

Entspannungsbeweis.

  • 2012-09-14

Now we are massaging the tree from top to bottom and from right to left.

a logician

Sogar hier: Das N-Wort.

  • 2012-09-08

We live in an age of “informational conspicuous consumption”: an informational explosion, an orgy of data. But, like any uncontrollable explosion, this is both unsustainable and damaging in the long run. We need to become more environmentally-friendly, not only to our biological environment, but also to our informational one. I believe that Logic (and in particular, a Resource-Sensitive Dynamic Logic) is the key to sustainable informational development.

Alexandru Baltag

Bring it on.

  • 2012-08-30

From now on it's model or modal but never modest.