COMPUTABILITY OF RECURSIVE FUNCTIONS

被引：177

作者：

SHEPHERDSON, JC

STURGIS, HE

机构：

来源：

关键词：

D O I：

10.1145/321160.321170

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：217 / &

共 29 条

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

Church, A .

[2] A set of postulates for the foundation of logic. [J].

Church, A .

[3]

CHURCH A, 1933, ANN MATH, V34

[4]

Church A., 1936, J SYMBOLIC LOGIC, V1, P40, DOI DOI 10.2307/2269326

[5]

Davis M., 1958, COMPUTABILITY UNSOLV

[6]

ERSHOV AP, 1958, DOKL AKAD NAUK SSSR+, V122, P967

[7]

ERSHOV AP, 1959, AUTOMAT EXPRESS, V1, P20

[8]

Hermes H., 1954, MATH PHYS SEMESERBER, V4, P42

[9]

HERMES H, 1955, AUSARB MATH PHYS VOR, V15

[10]

Kaphengst H., 1959, Z MATH LOGIK GRUNDLA, V5, P366