In 1931, the Austrian logician Kurt Gödel pulled off arguably one of the most stunning intellectual achievements in history.