Lambda calculus is equivalent in power to the most powerful (*) computers according to a thesis this man names with Alonzo Church.
A concept named after this man is formally represented as a 7-tuple with a transition function. This man showed it was undecidable whether a given program would ever terminate, thus "solving" the halting problem. Lambda calculus is equivalent in power to the most powerful (*) computers according to a thesis this man names with Alonzo Church. A device made up of a "head" moving on an infinite tape is his namesake "machine," and this man suggested testing whether a computer could fake its identity to a human. For 10 points, name this British scientist who helped break the Enigma machine during World War II.
A concept named after this man is formally represented as a 7-tuple with a transition function.
Alan Turing