Almost nothing tangible remains of the legendary Bletchley Park codebreaker Alan Turing. So when an extremely rare collection of papers relating to his life and work was set to go to auction last year, an ambitious campaign was launched to raise funds to purchase them for the Bletchley Park Trust and its Museum. The Trust has announced today that the collection has been saved for the nation as the National Heritage Memorial Fund (NHMF) has stepped in quickly to provide £213,437, the final piece of funding required.
In the 1930s the logician Kurt Gödel showed that if you set out proper rules for mathematics, you lose the ability to decide whether certain statements are true or false. This is rather shocking and you may wonder why Gödel's result hasn't wiped out mathematics once and for all. The answer is that, initially at least, the unprovable statements logicians came up with were quite contrived. But are they about to enter mainstream mathematics?