Minsky, Marvin L. Recursive unsolvability of Post’s problem of ”Tag” und other topics in theory of Turing machines. (English) Zbl 0105.00802 Ann. Math. (2) 74, 437-455 (1961). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 212 Documents Keywords:mathematical logic PDF BibTeX XML Cite \textit{M. L. Minsky}, Ann. Math. (2) 74, 437--455 (1961; Zbl 0105.00802) Full Text: DOI OpenURL