Kurt Godel was famous for his ingenious 1930 proof that mathematics is incompleteable. However, he himself felt rather disappointed that his landmark result was highly praised by his colleagues… but then, in effect, forgotten. (Towards the end of his life he became chronically pessimistic, and in the end he effectively […]