Showing posts from March, 2012

Proving Things

Professorship and postdocs at MCMP

A tribute to Horacio Arló-Costa in Buenos Aires

FEW 2012 programme announcement

Pullum S(e)usses Out the Halting Problem

Diagonalization and the Diagonal Lemma

Judea Pearl wins Turing Award (the "Nobel Prize in Computing")

7 minutes about scientific discovery

Diagonalization and Différance: a mismatch of scope

A nightmare

Is arithmetic a necessary condition for Gödel incompleteness?