Sunday, April 28, 2013

Happy Birthday To You, Happy Axiomatic Birthday To You...


(via WikimediaCommons)
 A Happy Birthday today to Kurt Gödel (...wherever you are)!

In his honor I'll link once again to the logician George Boolos' clever explication, using only monoysllabic words(!), of Gödel's Second Incompleteness Theorem... always makes me grin:

http://www2.kenyon.edu/Depts/Math/Milnikel/boolos-godel.pdf

ADDENDUM: for those with a deep interest in Gödel the "Gödel's Lost Letter..." blog has just put up a wonderful ranging post also in honor of the birthday today:

http://rjlipton.wordpress.com/2013/04/28/happy-birthday-kurt-gdel/

No comments: