Review: Marvin L. Minsky, Recursive Unsolvability of Post's Problem of "Tag" and other Topics in the Theory of Turing Machines
Davis, Martin
J. Symbolic Logic, Tome 31 (1966) no. 1, p. 654-655 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1966-12-14
Classification:  
@article{1183735639,
     author = {Davis, Martin},
     title = {Review: Marvin L. Minsky, Recursive Unsolvability of Post's Problem of "Tag" and other Topics in the Theory of Turing Machines},
     journal = {J. Symbolic Logic},
     volume = {31},
     number = {1},
     year = {1966},
     pages = { 654-655},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183735639}
}

Davis, Martin. Review: Marvin L. Minsky, Recursive Unsolvability of Post's Problem of "Tag" and other Topics in the Theory of Turing Machines. J. Symbolic Logic, Tome 31 (1966) no. 1, pp.  654-655. http://gdmltest.u-ga.fr/item/1183735639/