(via WikimediaCommons) |
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:
Post a Comment