UNDECIDABLE - BASIC PAPERS ON UNDECIDABLE PROPOSITIONS UNSOLVABLE PROBLEMS AND COMPUTABLE FUNCTIONS

被引：0

|

作者：

ELGOT, CC

机构：

来源：

MATHEMATICS OF COMPUTATION | 1966年 / 20卷 / 93期

关键词：

D O I：

10.2307/2004326

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

收藏

页码：199 / &

相关论文

共 50 条

[1] UNDECIDABLE BASIC PAPERS ON UNDECIDABLE PROPOSITIONS UNSOLVABLE PROBLEMS AND COMPUTABLE FUNCTIONS
BAUERMEN.S
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (03) : 484 - &
[2] UNDECIDABLE - BASIC PAPERS ON UNDECIDABLE PROPOSITIONS UNSOLVABLE PROBLEMS AND COMPUTABLE FUNCTIONS
不详
SCIENTIFIC AMERICAN, 1965, 213 (03) : 266 - &
[3] Undecidable propositions by Ode's
Buser, Peter
Scarpellini, Bruno
ANNALES ACADEMIAE SCIENTIARUM FENNICAE-MATHEMATICA, 2007, 32 (02) : 317 - 340
[4] Normative Systems and Undecidable Normative Propositions
Ratti, Giovanni Battista
DOXA-CUADERNOS DE FILOSOFIA Y DERECHO, 2012, 35 : 641 - 661
[5] Our Lady, Queen of Undecidable Propositions
Culik, Hugh C.
JOURNAL OF HUMANISTIC MATHEMATICS, 2016, 6 (02): : 230 - 240
[6] Witnessability of Undecidable Problems
Ding, Shuo
Zhang, Qirun
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
SEVENTH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS, 1999, : 208 - 217
[8] ON FORMALLY UNDECIDABLE PROPOSITIONS OF PRINCIPIA MATHEMATICA AND RELATED SYSTEMS
SMULLYAN, RM
AMERICAN MATHEMATICAL MONTHLY, 1966, 73 (03): : 319 - &
[9] Undecidable problems in unreliable computations
Mayr, R
LATIN 2000: THEORETICAL INFORMATICS, 2000, 1776 : 377 - 386
[10] The removal of π from some undecidable problems involving elementary functions
Laczkovich, M
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2003, 131 (07) : 2235 - 2240

← 1 2 3 4 5 →