BP sent them full details and drawings of the British bombe, and a paper by Alan Turing on their use.
Like Alan Turing, Mitchell did not receive the public acclamation that historians and experts believe he deserved.
The statement that the ' effectively calculable ' is equivalent to the scope of Turing machines is now generally known as the Church-Turing thesis.
combinatory logic are abstract models of computation equivalent to the Turing machine, recursive functions, and Markov chains.
Not About Alan Turing The film enigma, based on Robert Harris's thriller novel of that name, is NOT about Alan Turing.