Recursive unsolvability of Post’s problem of “tag” and other topics in theory of Turing Machines (1961)

by Marvin L Minsky
Venue:Annals of Mathematics