In early 1931 Kurt Goedel published a paper with the ominous title "On Formally Undecidable Propositions of Principia Mathematica and Related Systems I," which, though tech nically accessible to only a limited number of ...