a list compiled by Alex Kasman (College of Charleston)

Home All New Browse Search About

Gödel's Doom (1985)
George Zebrowski

What if Gödel was wrong? That is the question asked in this well written but very confused short story. The characters in this story decide to test Gödel's theorem by running a computer program to check logical completeness and consistency. When they find that he was wrong, the universe changes accordingly.
Just as Heisenberg's Uncertainty principle is misused and mythologized by people who think it means something more than it does, Gödel's incompeteness theorem is often misused in popular writing. The author of this story clearly suffers a great many of these confusions all at once! To set the record straight, let me state that
  • The theorem does not say that there would only be a finite number of true statements in a complete system. It merely defines a complete logical system as one in which every statement can either be proved to be true or false. Obviously, in any non-trivial system there would be infinitely many of these statements whether it is complete or not!
  • Gödel's theorem does not address the question of whether the universe is deterministic. The question is whether something can be proved in a finite number of steps in a symbolic logic, not how the universe decides what will happen next!
  • The theorem also has nothing to say about the existence of "free will". This story repeats a mistake I have heard many times before -- that of confusing questions of determinism with those of "free will". The mistake works like this: First suppose the universe was deterministic and then prove that this contradicts some definition of "free will". Then act as if this somehow shows that in a non-deterministic universe there is free will. (In fact, the arguments against free will in a deterministic universe always seem to apply in a non-deterministic universe as well. The truth is that free will is a very slippery term, but that this has nothing to do with determinism.)

I also really object to the characters claim that pure mathematical research has never had any consequences in the real world. (They state explicitly that this experiment they are doing might be the first time.) I think that mathematics does not get much credit because it is rarely the last step in the process. However, we ought to recognize that steps earlier in the process of invention/discovery are also necessary, and without pure mathematical research I do not think we would have airplanes, televisions, computers, reliable cryptography, JPEG standard, global positioning satellites, etc.
First published in Popular Computing (1985) and reprinted in Mathenauts.

More information about this work can be found at another page on this Website.
(Note: This is just one work of mathematical fiction from the list. To see the entire list or to see more works of mathematical fiction, return to the Homepage.)

Works Similar to Gödel's Doom
According to my `secret formula', the following works of mathematical fiction are similar to this one:
  1. Gödel's Sunflowers by Stephen Baxter
  2. Not a Chance by Peter Haff
  3. The Logic Pool by Stephen Baxter
  4. Division by Zero by Ted Chiang
  5. The Planck Dive by Greg Egan
  6. Eye of the Beholder by Alex Kasman
  7. Silicon Muse by Hilbert Schenck
  8. The Atrocity Archives by Charles Stross
  9. Turing (A Novel About Computation) by Christos Papadimitriou
  10. Herbrand's Conjecture and the White Sox Scandal by Eliot Fintushel
Ratings for Gödel's Doom:
RatingsHave you seen/read this work of mathematical fiction? Then click here to enter your own votes on its mathematical content and literary quality or send me comments to post on this Webpage.
Mathematical Content:
4.5/5 (2 votes)
Literary Quality:
2/5 (2 votes)

GenreScience Fiction,
TopicComputers/Cryptography, Logic/Set Theory,
MediumShort Stories,

Home All New Browse Search About

May 2016: I am experimenting with a new feature which will print a picture of the cover and a link to the page for a work of mathematical fiction when it is available. I hope you find this useful and convenient. In any case, please write to let me know if it is because I would be happy to either get rid of it or improve it if that would be better for you. Thanks! -Alex

(Maintained by Alex Kasman, College of Charleston)