Posts
Showing posts from March, 2012
Posted by
Jeffrey Ketland
Proving Things
- Get link
- Other Apps
Posted by
Vincenzo Crupi
Professorship and postdocs at MCMP
- Get link
- Other Apps
Posted by
Catarina
A tribute to Horacio Arló-Costa in Buenos Aires
- Get link
- Other Apps
Posted by
Vincenzo Crupi
FEW 2012 programme announcement
- Get link
- Other Apps
Pullum S(e)usses Out the Halting Problem
- Get link
- Other Apps
Posted by
Jeffrey Ketland
Diagonalization and the Diagonal Lemma
- Get link
- Other Apps
Posted by
Vincenzo Crupi
Judea Pearl wins Turing Award (the "Nobel Prize in Computing")
- Get link
- Other Apps
Posted by
Vincenzo Crupi
7 minutes about scientific discovery
- Get link
- Other Apps
Posted by
Catarina
Diagonalization and Différance: a mismatch of scope
- Get link
- Other Apps
Posted by
Vincenzo Crupi
A nightmare
- Get link
- Other Apps
Posted by
Catarina
Is arithmetic a necessary condition for Gödel incompleteness?
- Get link
- Other Apps