My Life, My Universe, My Everything

As promised, I added the pictures from my trip to Canterbury and the Kurt-Gödel Symposium. In addition, I put up some pictures from a business trip to Budapest as well as a couple of photos from Flanagans.

In case you missed, it was Kurt Gödel’s 100th birthday on April 28th. Why should you care, you ask? He is one of the greatest logicians of all times, some say. All computer scientists out there should know the “Incompleteness Theorem” Gödel proved in his habilitation (after he proved the “Completeness Theorem” in his dissertation). [...]