Hilbert’s Program Then and Now

I put up a revised and expanded version of my survey of Hilbert's Program up on arXiv. If you have comments, you could post them here. You know, try out the whole blogging-revolutionizing-scholarly-communication-etc. thing.

Dropping the Ball

Sorry for dropping the ball on the LC'05 conference reporting. Day 5 was when I had my talk, so it was a little hectic, and then after my talk they had already turned off the wireless ethernet and locked the computer lab. Now, of course, I don't remember what happened. Oh well.