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 条

[21] Godel's path from the incompleteness theorems (1931) to phenomenology (1961)
Tieszen, R
BULLETIN OF SYMBOLIC LOGIC, 1998, 4 (02) : 181 - 203
[22] HOW TO GODEL A FREGE-RUSSELL - GODEL INCOMPLETENESS THEOREMS AND LOGICISM
HELLMAN, G
NOUS, 1981, 15 (04): : 451 - 468
[23] A Mechanised Proof of Godel's Incompleteness Theorems Using Nominal Isabelle
Paulson, Lawrence C.
JOURNAL OF AUTOMATED REASONING, 2015, 55 (01) : 1 - 37
[24] GODEL INCOMPLETENESS THEOREMS - SMULLYAN,RM
IRVINE, AD
HISTORY AND PHILOSOPHY OF LOGIC, 1994, 15 (01) : 133 - 135
[25] Special issue:: Godel's 'Dialectica' interpretation -: Introduction
Strahm, Thomas
DIALECTICA, 2008, 62 (02) : 145 - 147
[26] Kurt Godel: an introduction
Hintikka, J
REVUE INTERNATIONALE DE PHILOSOPHIE, 2005, 59 (234) : 451 - 457
[27] FINITIST CONSISTENCY PROOFS AND THE IMPACT OF GODEL'S INCOMPLETENESS THEOREMS ON HILBERT'S METAMATHEMATICS
Schirn, Matthias
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2018, 5 (06): : 1273 - 1300
[28] GENERALIZATIONS OF GODEL'S INCOMPLETENESS THEOREMS FOR Σn-DEFINABLE THEORIES OF ARITHMETIC
Kikuchi, Makoto
Kurahashi, Taishi
REVIEW OF SYMBOLIC LOGIC, 2017, 10 (04): : 603 - 616
[29] Is Human Mind Fully Algorithmic? Remarks on Kurt Godel's Incompleteness Theorems
Dumitru, Mircea
EVOLVING COMPUTABILITY, 2015, 9136 : 23 - 33
[30] Godel's incompleteness theorems: On the history of their development and reception - German - Ketelsen,C
GrattanGuinness, I
ISIS, 1997, 88 (02) : 355 - 356

← 1 2 3 4 5 →