2 RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POSTS PROBLEM, 1944)

被引：128

作者：

FRIEDBERG, RM

机构：

来源：

关键词：

D O I：

10.1073/pnas.43.2.236

中图分类号：

O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

页码：236 / 238

页数：3

共 7 条

[1]

DEKKER JCE, RECURSION THEORY

[2]

FRIEDBERG R, 1956, B AM MATH SOC, V62, P260

[3] THE UPPER SEMI-LATTICE OF DEGREES OF RECURSIVE UNSOLVABILITY [J].

KLEENE, SC ;

POST, EL .

[4]

KLEENE SC, 1952, INTRO METAMATHEMATIC, P276

[5]

Myhill J., 1955, Z MATH LOGIK, V1, P97, DOI DOI 10.1002/MALQ.19550010205

[6]

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]

[7]

Rogers H., 1957, THEORY RECURSIVE FUN