A VARIANT OF A RECURSIVELY UNSOLVABLE PROBLEM

被引：291

作者：

POST, EL

机构：

来源：

关键词：

D O I：

10.1090/S0002-9904-1946-08555-9

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：264 / 268

页数：5

相关论文

共 4 条

[1] An unsolvable problem of elementary number theory [J].

Church, A .

[2]

Church Alonzo, 1943, J SYMBOLIC LOGIC, V8, P50, DOI [10.2307/2268006, DOI 10.2307/2268006]

[3]

Post E.L., 1944, B AM MATH SOC, V50, P284, DOI [DOI 10.1090/S0002-9904-1944-08111-1, 10.1090/S0002-9904-1944-08111-1]

[4] Formal reductions of the general combinatorial decision problem [J].

Post, EL .