Turing, Solvable and unsolvable problems, Science News 31 (1954)