Myths About Turing
David Leavitt, The Man Who Knew Too Much, Norton, 2006.Alan Turing is an iconic figure. He was one of the main founders of the mathematical theory of computability. He proved that first-order logic is undecidable. He was one of the main brains behind the allies’ successful effort to break Nazi …