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 条

[21] Comments on 'Two undecidable problems of analysis'
Scarpellini, B
[J]. MINDS AND MACHINES, 2003, 13 (01) : 79 - 85
[22] Undecidable problems of decentralized observation and control
Tripakis, S
[J]. PROCEEDINGS OF THE 40TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 2001, : 4104 - +
[23] ON FORMALLY UNDECIDABLE PROPOSITIONS OF LAW - LEGAL INDETERMINACY AND THE IMPLICATIONS OF METAMATHEMATICS
BROWN, MR
GREENBERG, AC
[J]. HASTINGS LAW JOURNAL, 1992, 43 (06) : 1439 - 1488
[24] UNDECIDABLE TILING PROBLEMS IN HYPERBOLIC PLANE
ROBINSON, RM
[J]. INVENTIONES MATHEMATICAE, 1978, 44 (03) : 259 - 264
[25] Undecidable problems in quantum field theory
Yuji Tachikawa
[J]. International Journal of Theoretical Physics, 62
[26] HIGHLY UNDECIDABLE PROBLEMS FOR INFINITE COMPUTATIONS
Finkel, Olivier
[J]. RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2009, 43 (02): : 339 - 364
[27] Entire functions with undecidable arithmetic properties
Ferguson, Timothy
[J]. JOURNAL OF NUMBER THEORY, 2021, 223 : 255 - 266
[28] INDEPENDENT INSTANCES FOR SOME UNDECIDABLE PROBLEMS
CALUDE, C
PAUN, G
[J]. RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1983, 17 (01): : 49 - 54
[29] Undecidable problems about timed automata
Finkel, Olivier
[J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2006, 4202 : 187 - 199
[30] Undecidable problems in quantum field theory
Tachikawa, Yuji
[J]. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2023, 62 (09)

← 1 2 3 4 5 →