The(*) halting problem is undecidable over an instrument that uses a finite set of instructions to manipulate symbols on a tape, this man's namesake machine.
This man explored non-uniformity arising from reaction-diffusion systems in The Chemical Basis of Morphogenesis. This man proved the unsolvability of Hilbert's Entscheidungsproblem [ent-SHY-dungs-probe-lame] at the same time as Alonzo Church, with whom he names a thesis. The(*) halting problem is undecidable over an instrument that uses a finite set of instructions to manipulate symbols on a tape, this man's namesake machine. For 10 points, name this mathematician who proposed having human judges try to distinguish between a human and a machine in an eponymous test for artificial intelligence.
This man explored non-uniformity arising from reaction-diffusion systems in The Chemical Basis of Morphogenesis.
Alan Mathison {Turing}