New Pictures
Saturday, May 6th, 2006As 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.
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). [...]
My Life, My Universe, My Everything is maintained by Ralph
Miarka
Proudly powered by WordPress, Hosting is kindly provided by untyped.com
Entries (RSS)
and Comments (RSS).