QED

Mark Dominus’ blog wees me op deze anekdote over de logicus Kurt Gödel die ik een tijdje terug ook al gehoord had. Dit fragment uit The New Yorker van 29 februari 2005 (Jim Holt, Time Bandits, p. 4) beschrijft het voorval schitterend:

One much retailed story concerns Gödel’s decision after the war to become an American citizen. The character witnesses at his hearing were to be Einstein and Oskar Morgenstern, one of the founders of game theory. Gödel took the matter of citizenship with great solemnity, preparing for the exam by making a close study of the United States Constitution. On the eve of the hearing, he called Morgenstern in an agitated state, saying he had found an “inconsistency” in the Constitution, one that could allow a dictatorship to arise. Morgenstern was amused, but he realized that Gödel was serious and urged him not to mention it to the judge, fearing that it would jeopardize Gödel’s citizenship bid. On the short drive to Trenton the next day, with Morgenstern serving as chauffeur, Einstein tried to distract Gödel with jokes. When they arrived at the courthouse, the judge was impressed by Gödel’s eminent witnesses, and he invited the trio into his chambers. After some small talk, he said to Gödel, “Up to now you have held German citizenship.”

No, Gödel corrected, Austrian.

“In any case, it was under an evil dictatorship,” the judge continued. “Fortunately that’s not possible in America.”

“On the contrary, I can prove it is possible!” Gödel exclaimed, and he began describing the constitutional loophole he had descried. But the judge told the examinee that “he needn’t go into that,” and Einstein and Morgenstern succeeded in quieting him down. A few months later, Gödel took his oath of citizenship.

Dominus probeert uit te vinden wat nu die inconsistentie was. We zullen het waarschijnlijk nooit weten.

Addendum 13 september: Dominus heeft ondertussen meer ontdekt, in het boek The Paradox of Self-Amendment van Peter Suber. Hij zegt:

Apparently, the “inconsistency” noted by Gödel is simply that the Constitution provides for its own amendment. Suber says: “He noticed that the AC had procedural limitations but no substantive limitations; hence it could be used to overturn the democratic institutions described in the rest of the constitution.” I am gravely disappointed. I had been hoping for something brilliant and subtle that only Gödel would have noticed.