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
Church, A
[J]. AMERICAN JOURNAL OF MATHEMATICS, 1936, 58 : 345 - 363
[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
Post, EL
[J]. AMERICAN JOURNAL OF MATHEMATICS, 1943, 65 : 197 - 215