Posts

Showing posts from March, 2012
Show All
Posted by

Proving Things

8 comments
Posted by

Professorship and postdocs at MCMP

1 comment
Posted by

A tribute to Horacio Arló-Costa in Buenos Aires

7 comments
Posted by

FEW 2012 programme announcement

Post a Comment
Posted by Chris Menzel

Pullum S(e)usses Out the Halting Problem

2 comments
Posted by

Diagonalization and the Diagonal Lemma

8 comments
Posted by

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

Post a Comment
Image
Posted by

7 minutes about scientific discovery

Post a Comment
Posted by

Diagonalization and Différance: a mismatch of scope

33 comments
Image
Posted by

A nightmare

Post a Comment
Posted by

Is arithmetic a necessary condition for Gödel incompleteness?

25 comments