The theorizer of a device which operates with symbols on a strip of paper, For 10 points, name this British computer scientist known for his namesake "machines".
This man's paper on Hilbert's Entscheidungsproblem proved that no algorithm exists which can decide whether or not a mathematical assertion has a proof, a conclusion he arrived at independently of Alonzo Church. This man proved the impossibility of a general solution to the halting problem, and he proposed criteria for artificial intelligence in his namesake "test". The theorizer of a device which operates with symbols on a strip of paper, For 10 points, name this British computer scientist known for his namesake "machines".
This man's paper on Hilbert's Entscheidungsproblem proved that no algorithm exists which can decide whether or not a mathematical assertion has a proof, a conclusion he arrived at independently of Alonzo Church.
Alan {Turing}