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

Minsky, Marvin

Publication Date: 1961

About this Item

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. .

Seller Inventory # 51664

Bibliographic Details

• Title: Recursive unsolvability of Post's problem of "tag" and other topics in theory of Turing machines. Offprint. Pres. copy
• Publication Date: 1961
• Binding: Soft cover
• Edition: 1st Edition
• Signed: Signed by Author(s)