I’m being lazy about more ISIT blogging because my brain is full. So here are some links as a distraction.
Via John, George Boolos’s talk entitled Gödel’s Second Incompleteness Theorem Explained in Words of One Syllable.
D’Angelo is back!
This short video about a subway stair in New York is great, especially the music.
Crooked Timber is on a tear about workplace coercion and its proponents.
Luca’s thoughts on the Turing Centennial are touching.