马文·明斯基。 图灵机器理论中Post的“标记”问题和其他主题的递归不可解性。 (英语) Zbl 0105.00802号 安。数学。(2) 74, 437-455 (1961). 页码:24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3个 +4 +5 显示扫描页面 引用于1审查引用于232文件 关键词:数学逻辑 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Minsky},Ann.数学。(2) 74、437--455(1961年;Zbl 0105.00802) 全文: 内政部