An Introduction to Godel's Theorems

被引：1

|

作者：

Smorynski, Craig

机构：

来源：

PHILOSOPHIA MATHEMATICA | 2010年 / 18卷 / 01期

关键词：

D O I：

10.1093/philmat/nkp015

中图分类号：

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

学科分类号：

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

摘要：

引用

收藏

页码：122 / 127

页数：6

相关论文

共 50 条

[31] Ternary Nature of Man in the Light of Godel's Incompleteness Theorems and Penrose's Theory of Consciousness
Popowicz, Kamil
ANTROPOLOGICZNO-JEZYKOWE WIZERUNKI DUSZY W PERSKEKTYWIE MIEDZYKULTUROWEJ, TOM PIERWSZY: DUSZA W OCZACH SWIATA, 2016, : 93 - 104
[32] THE FINITE AND THE INFINITE: ON HILBERT'S FORMALIST APPROACH BEFORE AND AFTER GODEL'S INCOMPLETENESS THEOREMS
Schirn, Matthias
LOGIQUE ET ANALYSE, 2019, (245) : 1 - 34
[33] EPISTEMIC THEORIES AND THE INTERPRETATION OF GODEL INCOMPLETENESS THEOREMS
REINHARDT, WN
JOURNAL OF PHILOSOPHICAL LOGIC, 1986, 15 (04) : 427 - 474
[34] Are the Godel incompleteness theorems limitative results for the neurosciences?
Buechner, Jeff
JOURNAL OF BIOLOGICAL PHYSICS, 2010, 36 (01) : 23 - 44
[35] What do Godel Theorems Tell us about Hilbert's Solvability Thesis?
Kolman, Vojtech
LOGICA YEARBOOK 2008, 2009, : 83 - 93
[36] Godel incompleteness theorems and the limits of their applicability. I
Beklemishev, L. D.
RUSSIAN MATHEMATICAL SURVEYS, 2010, 65 (05) : 857 - 899
[37] A MACHINE-ASSISTED PROOF OF GODEL'S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS
Paulson, Lawrence C.
REVIEW OF SYMBOLIC LOGIC, 2014, 7 (03): : 484 - 498
[38] GODEL THEOREMS, EXPONENTIAL DIFFICULTY AND UNDECIDABILITY OF ARITHMETIC THEORIES - AN EXPOSITION
YOUNG, P
PROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS, 1985, 42 : 503 - 522
[39] An inquisitorial verdict on Godel? (Godel's philosophical essays)
Gaher, F
FILOZOFIA, 2001, 56 (04): : 276 - 281
[40] Godel's disjunction
Horsten, L
TIJDSCHRIFT VOOR FILOSOFIE, 1998, 60 (01): : 83 - 105

← 1 2 3 4 5 →