Among the greatest advances in knowledge this century one would include relativity, quantum mechanics and the explanation of hereditary replication in living things by the structure of the DNA molecule. But it would not be absurd to include in this category a discovery which is not at all well-known and goes back to 1930, namely, that logic and mathematics as we know them have undecidable propositions.