I liked the evening talks today — more general historical topics. Dana gave a few cute "proofs-by pictures" I hadn't seen before, and many amusing quotes. His riposte to one in a recent popular magazine (I think Forbes?) about how, oh boy, quantum computers are teh awesome and by 2015 will let us do important things like predict the weather and traffic, was the following two predictions:
2015, weather: hot. 2015, traffic: terrible!
I also was amused by his earlier anecdote about meeting (some time post-1931) Bertrand Russell and, after Dana's mumbling something about Gödel, Russell saying "who? who? Gödel? Yes, yes, he must be a very unpleasant man."