UNDECIDABLE BASIC PAPERS ON UNDECIDABLE PROPOSITIONS UNSOLVABLE PROBLEMS AND COMPUTABLE FUNCTIONS

被引：0

|

作者：

BAUERMEN.S

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1966年 / 31卷 / 03期

关键词：

D O I：

10.2307/2270465

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：484 / &

相关论文

共 50 条

[1] UNDECIDABLE - BASIC PAPERS ON UNDECIDABLE PROPOSITIONS UNSOLVABLE PROBLEMS AND COMPUTABLE FUNCTIONS
不详
[J]. SCIENTIFIC AMERICAN, 1965, 213 (03) : 266 - &
[2] UNDECIDABLE - BASIC PAPERS ON UNDECIDABLE PROPOSITIONS UNSOLVABLE PROBLEMS AND COMPUTABLE FUNCTIONS
ELGOT, CC
[J]. MATHEMATICS OF COMPUTATION, 1966, 20 (93) : 199 - &
[3] Undecidable propositions by Ode's
Buser, Peter
Scarpellini, Bruno
[J]. ANNALES ACADEMIAE SCIENTIARUM FENNICAE-MATHEMATICA, 2007, 32 (02) : 317 - 340
[4] Normative Systems and Undecidable Normative Propositions
Ratti, Giovanni Battista
[J]. DOXA-CUADERNOS DE FILOSOFIA Y DERECHO, 2012, 35 : 641 - 661
[5] Our Lady, Queen of Undecidable Propositions
Culik, Hugh C.
[J]. JOURNAL OF HUMANISTIC MATHEMATICS, 2016, 6 (02): : 230 - 240
[6] Witnessability of Undecidable Problems
Ding, Shuo
Zhang, Qirun
[J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (POPL): : 982 - 1002
[7] Program simplification as a means of approximating undecidable propositions
Harman, M
Fox, C
Hierons, R
Binkley, D
Danicic, S
[J]. SEVENTH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS, 1999, : 208 - 217
[8] ON FORMALLY UNDECIDABLE PROPOSITIONS OF PRINCIPIA MATHEMATICA AND RELATED SYSTEMS
SMULLYAN, RM
[J]. AMERICAN MATHEMATICAL MONTHLY, 1966, 73 (03): : 319 - &
[9] Undecidable problems in unreliable computations
Mayr, R
[J]. LATIN 2000: THEORETICAL INFORMATICS, 2000, 1776 : 377 - 386
[10] The removal of π from some undecidable problems involving elementary functions
Laczkovich, M
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2003, 131 (07) : 2235 - 2240

← 1 2 3 4 5 →