BUSY BEAVER SETS AND THE DEGREES OF UNSOLVABILITY

被引：2

|

作者：

DALEY, RP

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1981年 / 46卷 / 03期

关键词：

D O I：

10.2307/2273749

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：460 / 474

页数：15

相关论文

共 50 条

[21] Cover Art: Busy Beaver
Duncan, Bronwen
NORTHERN REVIEW, 2021, (52): : 148 - 148
[22] Busy Beaver - The influence of representation
Machado, P
Pereira, FB
Cardoso, A
Costa, E
GENETIC PROGRAMMING, 1999, 1598 : 29 - 38
[23] A reflexive busy beaver problem
Salzberg, Chris
INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING, 2007, 3 (01) : 35 - 48
[24] On the busy-beaver problem
Ferreira, U
MSV'04 & AMCS'04, PROCEEDINGS, 2004, : 514 - 518
[25] 2 RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POSTS PROBLEM, 1944)
FRIEDBERG, RM
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1957, 43 (02) : 236 - 238
[26] ON INITIAL SEGMENTS OF DEGREES OF UNSOLVABILITY
THOMASON, SK
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (04): : 683 - &
[27] SPECKERS NUMBERS AND DEGREES OF UNSOLVABILITY
MELIKIAN, SM
DOKLADY AKADEMII NAUK SSSR, 1982, 263 (06): : 1308 - 1310
[28] Degrees of unsolvability of continuous functions
Miller, JS
JOURNAL OF SYMBOLIC LOGIC, 2004, 69 (02) : 555 - 584
[29] INITIAL SEGMENTS OF DEGREES OF UNSOLVABILITY
LERMAN, M
ANNALS OF MATHEMATICS, 1971, 93 (02) : 365 - &
[30] SOME RESULTS ON DEGREES OF UNSOLVABILITY
邹志明
Science Bulletin, 1988, (24) : 2011 - 2014

← 1 2 3 4 5 →