<story><title>Gödel and the limits of logic</title><url>http://plus.maths.org/content/goumldel-and-limits-logic</url></story><parent_chain></parent_chain><comment><author>jaysonelliot</author><text>As an aside, if you look at the photo credit on that great color photo of Einstein and Gödel, it was snapped by Oskar Morgenstern, one of the fathers of game theory.&lt;p&gt;&lt;a href=&quot;http://en.wikipedia.org/wiki/Oskar_Morgenstern&quot; rel=&quot;nofollow&quot;&gt;http://en.wikipedia.org/wiki/Oskar_Morgenstern&lt;/a&gt;&lt;p&gt;Morgenstern and Einstein were Gödel&apos;s closest friends, I&apos;ve just now learned. It gives me goosebumps looking at that photo and imagining the three of them on that lawn.&lt;p&gt;Semi-related, here&apos;s an account of Gödel&apos;s &quot;pent-up lecture&quot; about the inconsistencies in the American constitution that he told to his citizenship examiner: &lt;a href=&quot;http://morgenstern.jeffreykegler.com/&quot; rel=&quot;nofollow&quot;&gt;http://morgenstern.jeffreykegler.com/&lt;/a&gt;</text></comment>
<story><title>Gödel and the limits of logic</title><url>http://plus.maths.org/content/goumldel-and-limits-logic</url></story><parent_chain></parent_chain><comment><author>vbtemp</author><text>When I first became fascinated with incompleteness (following initial coursework in theory of computation), it kind of became my &quot;religion&quot; of sorts for a while. But as many mathematicians lament, the Incompleteness Theorem is one of the most popularly abused proofs of all time - used for non-experts to assert their own half-baked pseudo-philosophy (of course, the same goes for quantum mechanics as well).&lt;p&gt;These are a few books I recommend:&lt;p&gt;&quot;Incompleteness - The proof and paradox of Kurt Gödel&quot; by Rebecca Goldstein&lt;p&gt;&quot;Gödel&apos;s Proof&quot; by Ernst Nagel (it&apos;s a tiny book, not too technical, but technical enough for anyone with a solid CS background to appreciate and understand)</text></comment>