ParentFull threadgeonaut·+1 this is discussed in the Andrew Hodges Turing biography (and no doubt many other books)View on HN