Recursive unsolvability of Post's problem of "tag" and other topics in theory of Turing machines. Offprint. Pres. copy

Descripción

Minsky, Marvin (1927-2016). Recursive unsolvability of Post s problem of "tag" and other topics in theory of Turing machines. Offprint from Annals of Mathematics 74 (1961). 437-455pp. 254 x 178 mm. Original printed wrappers, light soiling and creasing. Very good. Presentation Copy, inscribed by Minsky to Martin Davis (1928-2023) on the front wrapper: "To Martin Davis with gratitude Marvin Minsky." First Edition, Offprint Issue. Minsky proved in this paper that the deterministic models of computation known as "tag systems," introduced by Emil Post in 1943, are recursively unsolvable. The problem had been suggested to Minsky by mathematical logician Martin Davis, recipient of the present copy, who was then preparing a collected edition of Post s papers on unsolvable problems and computable functions; Minsky acknowledged Davis s contribution on p. 438. .

N° de ref. del artículo 51664

Contactar al vendedor

Denunciar este artículo

Detalles bibliográficos

Título

Recursive unsolvability of Post's problem of "tag" and other topics in theory of Turing machines. Offprint. Pres. copy

Fecha de publicación

1961

Encuadernación

Encuadernación de tapa blanda

Edición

1ª Edición

Firmado

Firmado por el autor

Catálogos de vendedores