A VERY SHORT PROOF OF A STRONG INCOMPLETENESS THEOREM

被引：0

|

作者：

GERMANO, G

机构：

来源：

NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY | 1970年 / 17卷 / 05期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：833 / &

相关论文

共 50 条

[1] A VERY SHORT PROOF OF DIXON THEOREM
EKHAD, SB
JOURNAL OF COMBINATORIAL THEORY SERIES A, 1990, 54 (01) : 141 - 142
[2] A PROOF COMPLEXITY CONJECTURE AND THE INCOMPLETENESS THEOREM
Krajicek, Jan
JOURNAL OF SYMBOLIC LOGIC, 2023,
[3] A NOTE ON BOOLOS PROOF OF THE INCOMPLETENESS THEOREM
KIKUCHI, M
MATHEMATICAL LOGIC QUARTERLY, 1994, 40 (04) : 528 - 532
[4] AN AUTOMATIC PROOF OF GODEL INCOMPLETENESS THEOREM
AMMON, K
ARTIFICIAL INTELLIGENCE, 1993, 61 (02) : 291 - 306
[5] An automatic proof of Godel's incompleteness theorem
Ammon, K
ARTIFICIAL INTELLIGENCE, 1997, 95 (01) : 203 - 207
[6] A SIMPLE DETAILED PROOF FOR GOEDELS INCOMPLETENESS THEOREM
SEMENOV, AL
KYBERNETIKA, 1988, 24 (06) : 447 - 451
[7] Comments on the proof of Godel's second incompleteness theorem
Buldt, B
ANALYOMEN 2, VOL I: LOGIC, EPISTEMOLOGY, PHILOSOPHY OF SCIENCE, 1997, 16 : 31 - 42
[8] Abstract proof checking: An example motivated by an incompleteness theorem
Bundy, A
Giunchiglia, F
Villafiorita, A
Walsh, T
JOURNAL OF AUTOMATED REASONING, 1997, 19 (03) : 319 - 346
[9] Abstract proof checking: an example motivated by an incompleteness theorem
Univ of Edinburgh, United Kingdom
J Autom Reasoning, 3 (319-346):
[10] Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem
Alan Bundy
Fausto Giunchiglia
Adolfo Villafiorita
Toby Walsh
Journal of Automated Reasoning, 1997, 19 : 319 - 346

← 1 2 3 4 5 →