ANOTHER CORRECTION

Andrew Hookum writes to point out that the book I am reading is called Turing's Cathedral, not Turing's Castle.  Quite right.  Perhaps dementia is setting in faster than I thought.