Recursive unsolvability of Post’s problem of ‘tag’ and other topics in the theory of Turing machines (1961)

by M L Minsky
Venue:Annals of Math