Formal reductions of the general combinatorial decision problem

被引：283

作者：

Post, EL ^{[1
]}

机构：

[1] City Coll, Coll City New York, New York, NY USA

来源：

关键词：

D O I：

10.2307/2371809

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：197 / 215

页数：19

相关论文

共 7 条

[1] An unsolvable problem of elementary number theory
Church, A
[J]. AMERICAN JOURNAL OF MATHEMATICS, 1936, 58 : 345 - 363
[2] Godel K., 1931, MONATSHEFTE MATH PHY, V38, P173, DOI DOI 10.1007/BF01700692
[3] LEWIS CI, 1918, SURVEY SYMBOLIC LOGI, pCH6
[4] ALAN TURING
Turing, Alan
[J]. REVISTA MEDICA CLINICA LAS CONDES, 2022, 33 (06): : 632 - 633
[5] TURING AM, 1936, J SYMBOLIC LOGIC, V1, P103
[6] 1921, B AM MATH SOC, V27, P396
[7] 1921, AM J MATH, V43, P176