published in Turing’s Legacy: Developments from Turing Ideas in Logic, Cambridge University Press Book