The construct with which he's most associated has an infinite tape and is used as a model of computation.
Post's problem deals with the existence of intermediate value's of this man's namesake degrees. This man's namesake tarpit refers to the inability to get past the equivalence of processing systems. His work on the Entscheidungsproblem lead to his notion of computable numbers. That work also lead to his discovery of the undecidability of the halting problem. The construct with which he's most associated has an infinite tape and is used as a model of computation. For 10 points, name this English computer scientist whose namesake test is designed to determine if humans can successfully mimic human behavior and the inventor of a namesake type of machine.
Post's problem deals with the existence of intermediate value's of this man's namesake degrees.
Alan {Turing}