From incompleteness to incompletability: A note on Godel's view of mathematical knowledge

被引：0

作者：

Bruni, Riccardo ^{[1
]}

机构：

[1] Univ Florence, Dipartimento Filosofia, I-50121 Florence, Italy

来源：

EPISTEMOLOGIA | 2007年 / 30卷 / 02期

关键词：

D O I：

暂无

中图分类号：

N09 [自然科学史]; B [哲学、宗教];

学科分类号：

01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;

摘要：

引用

页码：345 / 363

页数：19

共 50 条

[21] Distilling the Requirements of Godel's Incompleteness Theorems with a Proof Assistant
Popescu, Andrei
Traytel, Dmitriy
[J]. JOURNAL OF AUTOMATED REASONING, 2021, 65 (07) : 1027 - 1070
[22] A Formally Verified Abstract Account of Godel's Incompleteness Theorems
Popescu, Andrei
Traytel, Dmitriy
[J]. AUTOMATED DEDUCTION, CADE 27, 2019, 11716 : 442 - 461
[23] Consistency, Turing computability and Godel's first incompleteness theorem
Hadley, Robert F.
[J]. MINDS AND MACHINES, 2008, 18 (01) : 1 - 15
[24] What Godel's incompleteness result does and does not show
Gaifman, H
[J]. JOURNAL OF PHILOSOPHY, 2000, 97 (08): : 462 - 470
[25] Existentially closed structures and Godel's second incompleteness theorem
Adamowicz, Z
Bigorajska, T
[J]. JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (01) : 349 - 356
[26] GODEL INCOMPLETENESS THEOREM FROM A LENGTH-OF-PROOF PERSPECTIVE
DAWSON, J
[J]. AMERICAN MATHEMATICAL MONTHLY, 1979, 86 (09): : 740 - 747
[27] Between Vienna and Berlin: The immediate reception of Godel's incompleteness theorems
Mancosu, P
[J]. HISTORY AND PHILOSOPHY OF LOGIC, 1999, 20 (01) : 33 - 45
[28] GODEL'S INCOMPLETENESS THEOREM AND THE ANTI-MECHANIST ARGUMENT: REVISITED
Cheng, Yong
[J]. STUDIA SEMIOTYCZNE, 2020, 34 (01): : 159 - 182
[29] Godel's second incompleteness theorem for Σn-definable theories
Chao, Conden
Seraji, Payam
[J]. LOGIC JOURNAL OF THE IGPL, 2018, 26 (02) : 255 - 257
[30] A Mechanised Proof of Godel's Incompleteness Theorems Using Nominal Isabelle
Paulson, Lawrence C.
[J]. JOURNAL OF AUTOMATED REASONING, 2015, 55 (01) : 1 - 37

← 1 2 3 4 5 →