Flaws in constitution
Cropped from book page.
Rebecca Goldstein is the author of the book Incompleteness: The Proof and Paradox of Kurt Gödel. She obtained her PhD in Philosophy from Princeton University, and has also written several novels set in academia, including The Mind-Body Problem and Properties of Light: A Novel of Love, Betrayal and Quantum Physics. The latter draws on the life and concerns of the physicist David Bohm.
Today Ken and I wish to talk about Kurt Gödel’s journey in getting his USA citizenship, and his journey since then in the interpretation and implications of his research.
Gödel’s citizenship interview happened on Thursday the 5th of December, 1947—over fifty years ago. Even over sixty years ago, come to think of it. Past a certain age it becomes better to focus on the wider part of the calendar than the four-digit number at the top.
I bought Goldstein’s book years ago and started to read it. But somehow the initial few pages were not that compelling, or I was distracted by doing something else. In any event, I recently had a long plane flight and took the book—yes I still read hard-copy printed books—along. Partially because it was small, partially because it was on Gödel, and partially by randomness.
It turns out the book is a mixed bag. It was a fun read, with many interesting insights into the life of Gödel. It was also filled with strange errors that I easily noticed, even flying at 36,000 feet without any access to Google search. Yet I did enjoy the book, and am sorry I had not read it before. Well not completely—without it the plane flight would have been longer, since reading helps shrink the time of a flight.
Here is the story, according to Goldstein, of the day Gödel went to Trenton to get sworn in as an American citizen. Gödel had prepared well for his hearing, and had further discovered that the U.S. Constitution has a flaw that could allow it to become a dictatorship.
Oskar Morgenstern and Albert Einstein drove Gödel to Trenton for his hearing before the judge. On the car ride Einstein tried to distract Gödel with jokes: “Well, are you ready for your next-to-the-last test?” Gödel answered “What do you mean, ‘next-to-the-last’?” Einstein aded, “Very simple. The last will be when you step into your grave.”
Einstein continued on till they reached the court where the judge was Philip Forman, who was a friend of Einstein besides having administered Einstein’s own citizenship oath. The judge moved them quickly into his private chambers. Einstein and the judge chatted while Gödel sat mute. Finally the judge said to Gödel, “Up to now you have held German citizenship.” Gödel corrected him: Austrian citizenship. The judge added, “In any case, it was under an evil dictatorship. Fortunately, that is not possible in America.”
As Goldstein says, this was what Gödel was waiting for. Gödel started to explain how it could happen here because of the flaw in the Constitution. The judge interrupted and said “You needn’t go into all that.” The rest when smoothly and after the oath Gödel become a US citizen. Later in a letter to his mother, Gödel remarked that Forman was a “very sympathetic person.”
The Lost Story
It was known that Morgenstern had written an account of that day, but when his widow was interviewed in 1983 by John Dawson, she had been unable to locate it. Dawson used her recollections in his 1997 biography of Gödel. In 2006 the Institute for Advanced Study hailed the centennial of Gödel’s birth in its spring newsletter. This included a sidebar titled “Gödel, Einstein, and the Immigration Service,” later reproduced on their Gödel page, but with a story quite different from what Dawson had heard. Moreover, the IAS gave the year as 1948. Perhaps they followed my advice about calendars.
Mathematician and author Jeffrey Kegler, who based a novel on Gödel’s two lost notebooks, tells the full story on a neat page with links to all sources, including his own blog posts. While editing Wikipedia’s Gödel page in November 2008, he found another account that “rang true” more than the existing hearsay accounts, and resembled the IAS version. He was convinced the latter had to be based on a true original. He contacted Dawson, who in turn prompted the Institute to find and release it.
Morgenstern in fact mentions only the year 1946. Here is part of what he wrote:
…[Gödel] rather excitedly told me that in looking at the Constitution, to his distress, he had found some inner contradictions and that he could show how in a perfectly legal manner it would be possible for somebody to become a dictator and set up a Fascist regime… I tried to persuade him that he should avoid bringing up such matters at the examination before the court in Trenton, and I also told Einstein about it: he was horrified that such an idea had occurred to Gödel, and he also told him he should not worry about these things nor discuss that matter.
Many months went by and finally the date for the examination in Trenton came. … While we were driving, Einstein turned around a little and said, “Now Gödel, are you really well prepared for this examination?” Of course, this remark upset Gödel tremendously, which was exactly what Einstein intended and he was greatly amused when he saw the worry on Gödel’s face. …
When we came to Trenton, we were ushered into a big room, and while normally the witnesses are questioned separately from the candidate, because of Einstein’s appearance, an exception was made and all three of us were invited to sit down together, Gödel, in the center. The examiner first asked Einstein and then me whether we thought Gödel would make a good citizen. We assured him that this would certainly be the case, that he was a distinguished man, etc. And then he turned to Gödel and said,
“Now, Mr. Gödel, where do you come from?”
Gödel: “Where I come from? Austria.”
The Examiner: “What kind of government did you have in Austria?”
Gödel: “It was a republic, but the constitution was such that it finally was changed into a dictatorship.”
The Examiner: “Oh! This is very bad. This could not happen in this country.”
Gödel: “Oh, yes, I can prove it.”
So of all the possible questions, just that critical one was asked by the Examiner. Einstein and I were horrified during this exchange; the Examiner was intelligent enough to quickly quieten Gödel… and broke off the examination at this point, greatly to our relief. …
Then off to Einstein’s home again, and he turned back once more toward Gödel, and said, “Now, Gödel, this was your last-but-one examination;” Gödel: “Goodness, is there still another one to come?” and he was already worried. And then Einstein said, “Gödel, the next examination is when you step into your grave.” Gödel: “But Einstein, I don’t step into my grave.” and then Einstein said, “Gödel, that’s just the joke of it!” and with that he departed. I drove Gödel home. Everybody was relieved that this formidable affair was over; Gödel had his head free again to go about problems of philosophy and logic.
The Lost Flaw
Maddeningly left out is what exactly the “inner contradictions” were. There have been various speculations, even a paper, most revolving around the Constitution’s providing the power to amend itself. Kegler has his own hypothesis.
Here I—Ken writing this—must confess I am unable to locate the webpage with what I took to be the flaw when I did background reading for our first “interview” with Gödel two years ago. I’ve alas never picked up the index-card habit. What struck my memory, however, was the source’s reference to the Senate and the judiciary.
Trying to reconstruct it, I think the path to dictatorship Gödel feared starts with something like this: The President of the Senate declares that a rules issue is a Constitutional question. This enables a bare majority, exploiting the gaps in Article I, to rewrite the rules of the Senate. Such a rule change can enable the uncontested appointment of Federal judges. Those judges in turn can… Well, anyway, nothing like that would ever actually happen.
Back to Dick and to Goldstein’s book, which to be fair, came out a few months before the IAS newsletter with Morgenstern’s account.
The book is—as I stated already—a mixed-bag, at best. I liked the history and insights into Gödel’s life. Yet it has many errors—both small errors that were almost just typos, and major errors. I had my thoughts, but Ken found the tough review by Solomon Feferman, so let’s quote that:
As to the core of Goldstein’s book, anyone familiar with Gödel’s work has to flinch. Dozens of errors could have been avoided by an expert vetting of the manuscript. At the very least we would not have had ‘Kreisl’ for ‘Kreisel,’ ‘Kline’ for ‘Kleene,’ and ‘Tannenbaum’ for ‘Teitelbaum’ (the birth surname of Alfred Tarski, the great logician, whose significant interaction with Gödel barely merits Goldstein’s notice).
In the air, flying way above the clouds, I certainly wondered if I was dreaming when I saw the reference to “Kreisl.” At first I wondered did she mean someone other than the famous logician Georg Kreisel? I could not believe that there could be another. Kreisel worked on proof theory and is known for many things including this amazing conjecture:
Suppose that Peano Arithmetic (PA) proves in steps for all , then PA proves .
Errors aside, the book does have some interesting bits of history about Gödel and other mathematicians of his era. Many of the stories are known, perhaps well known. The book is much more about people and their history than a primer of the Incompleteness Theorems. One story that I knew but l like a lot is about Einstein’s salary negotiation with the head of IAS:
Einstein asked for a salary of $3,000, and the head “countered” with an offer of $16,000.
A very interesting example of negotiation. Quoting Feferman again:
What she does very well is to provide a vivid biographical picture of Gödel, beginning mid-stream with his touching relationship with Albert Einstein at the Institute for Advanced Study in Princeton, where, over a period of 15 years until Einstein’s death in 1955, they were often seen walking and talking together.
But he ends with:
Those who are fascinated by Gödel’s theorems—and the general idea of limits to what we can know—may still hunger for a more universal view of their possible significance. But they should not be satisfied with Goldstein’s ‘vast and messy’ goulash; hers is not a recipe for true understanding.
Indeed Feferman most loudly criticizes her signing on to the “view [t]hat Gödel’s theorems were designed to refute the formalist program of David Hilbert.” Both Ken and I have been careful to portray Gödel in harmony with Hilbert, and even as compressing rather than expanding the implications of his own theorems. Of course we have conjured our own fictionalizations of Gödel, and however well sourced, they may have errors. If so, we will amend them. Scrupulousness even made this post a day late.
How Many Unprovable Statements Are There?
While we are talking about Gödel’s Incompleteness Theorems, Tim Gowers has raised a question about unprovable statements in mathematics. In essence it is: Why do we as practicing theorem provers seem to be able to avoid the unprovability issues of Gödel? Or do we?
I have an answer that I am sure Gowers saw, but thought I would share. Consider all true statements in Peano Arithmetic of size in some standard encoding. I claim that there is a positive so that at least a fraction of these true statements cannot be proved in PA. The proof is quite simple. Pick any single unprovable statement . Then consider the set of statements of the form:
for any true . None of these are provable in PA, and they form a positive fraction of all the true statements of length . Statements where is provable yield a similar upper bound separated from on the proportion of unprovable statements.
A natural question is: in the limit are there more unprovable than provable statements of size as goes to infinity? This depends on encoding details but should be a robust enough question under reasonable conditions. Is it clear that there is a limit? Of course the above construction leads to many uninteresting statements. So the second question might be: can we sharpen the question, for instance by associating to a provable the idea of minimizing the size of such that has a “trivial” proof?
Isomorphism at the SODA 2014 conference
Ronald Read and Derek Corneil are Canadian mathematicians and computer scientists. Read earned a PhD in Mathematics from the University of London in 1959, while Corneil was one of the inaugural PhD’s in the University of Toronto’s Department of Computer Science. Read is also an accomplished musician and composer—indeed our photo comes from his entry with a sheet-music publisher in England—and here is a music-themed paper. Corneil became Chair at UT DCS and has done much liaison work with Canadian IT companies and international education. Together they wrote a survey paper in the 1977 first volume of the Journal of Graph Theory titled “The Graph Isomorphism Disease.”
Today Ken and I would like to take issue with one of the words in their title. No, not “disease,” but rather: “graph.”
Can information physics extract proofs from reality?
Rolf Landauer was a physicist and computer engineer who spent most of his career at IBM north of New York City, becoming an IBM Fellow in 1969. According to his longtime colleague Charles Bennett, Landauer “did more than anyone else to establish the physics of information processing as a serious subject for scientific inquiry.” One was was his discovery and formulation of a principle connecting non-reversible computation steps and thermodynamic entropy, which according to Wikipedia’s article is widely accepted as a physical law.
Today Ken and I want to talk about the possible role of physical laws in generating proofs of complexity assertions, even itself.
Ancient mathematical objects can still contain secrets
Recreational Mathematics source
David Singmaster is a mathematician who is now retired from London South Bank University, England, but he is not British—he was born in the USA. As a metagrobologist, he has a huge collection of mechanical puzzles, books on puzzles, and more. For a quick puzzle, can you name another word—of definite relevance to this blog—that ends in “-bology” (and not “-biology”)?
Today Ken and I wish to talk about Pascal’s Triangle, and a beautiful conjecture of Singmaster on the structure of the famous triangle.
The last part of our interview with Gödel two years ago
Kurt Gödel is said to have been a latecomer to appreciating the power of Model Theory. He was of course the greatest architect of Proof Theory, which stands in contrast to Model Theory. Model Theory concerns itself with what could be true, while Proof Theory deals with what can be proved. The latter sounds more definite, but they are supplementary: a statement is capable of being true somewhere precisely when its negation cannot be proved. The question is, where is that somewhere? And when?
Chalking up a terrific talk on bit compression
Winsor McCay was a cartoonist and animator in the early part of the twentieth century, and authored the comic strip Little Nemo. He may not have invented the chalk talk—that could have been Frank Beard—but McCay made them popular with his vaudeville act, in which he drew faces and then progressively aged them. While these were over a hundred years ago, it appears from the history that blackboards were used in schools in India a thousand years ago.
Today I want to talk about content and delivery, about a great chalk talk and a great result.
A scary question, a really scary question
Vincent Price was just featured last Thursday night with a series of his movies, scary horror ones shown on Turner Classic Movies. Price was known for his distinctive voice and special smirk, which was perfect for these movies. The series was in honor of Halloween. October 31 is the day of trick-or-treating, wearing costumes, going door-to-door to get candy, telling scary stories, and watching horror films.
Today Ken and I want to raise a simple fundamental, and scary question. Read more…