國立虎尾科技大學 |

登入

回首頁

Kurt Gödel : = essays for his cente...

Feferman, Solomon.

Kurt Gödel : = essays for his centennial /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Kurt Gödel :/ edited by Solomon Feferman, Charles Parsons, Stephen G. Simpson.
其他題名:	essays for his centennial /
其他題名:	Kurt Godel
其他作者:	Simpson, Stephen G.
出版者:	Cambridge ;Cambridge University Press ; : 2010.,
面頁冊數:	x, 373 p. ;24 cm.;
標題:	Logic, Symbolic and mathematical. -
ISBN:	9780521115148 (cloth) :

Kurt Gödel : = essays for his centennial /
Kurt Gödel :essays for his centennial /Kurt Godeledited by Solomon Feferman, Charles Parsons, Stephen G. Simpson. - Cambridge ;Cambridge University Press ;2010. - x, 373 p. ;24 cm. - Lecture notes in logic ;33. - Lecture notes in logic ;33..

Includes bibliographical references.

GENERAL. The Gödel editorial project : a synopsis / Solomon Feferman -- Future tasks for Gödel scholars / John W. Dawson, Jr., and Cheryl A. Dawson -- PROOF THEORY. Gödel and the metamathematical tradition / Jeremy Avigad -- Only two letters : the correspondence between Herbrand and Gödel / Wilfried Sieg -- Gödel's reformulation of Gentzen's first consistency proof for arithmetic : the no-counterexample interpretation / W. W. Tait -- Gödel on intuition and on Hilbert's finitism / W. W. Tait -- The Gödel hierarchy and reverse mathematics / Stephen G. Simpson -- On the outside looking in : a caution about conservativeness / John P. Burgess -- SET THEORY. Gödel and set theory / Akihiro Kanamori -- Generalizations of Gödel's universe of constructible sets / Sy-David Friedman -- On the question of absolute undecidability / Peter Koellner -- PHILOSOPHY OF MATHEMATICS. What did Gödel believe and when did he believe it? / Martin Davis -- On Gödel's way in : the influence of Rudolf Carnap / Warren Goldfarb -- Gödel and Carnap / Steve Awodey and A.W. Carus -- On the philosophical development of Kurt Gödel / Mark van Atten and Juliette Kennedy -- Platonism and mathematical intuition in Kurt Gödel's thought / Charles Parsons -- Gödel's conceptual realism / Donald A. Martin.

"Kurt Gödel (1906-1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary resonance includes papers from a May 2006 symposium celebrating Gödel's centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of Gödel's writings are among the topics covered. Several chapters discuss his intellectual development and his relation to predecessors and contemporaries such as Hilbert, Carnap, and Herbrand. Others consider his views on justification in set theory in light of more recent work and contemporary echoes of his incompleteness theorems and the concept of constructible set"--Provided by publisher.

ISBN: 9780521115148 (cloth) :NT2604

LCCN: 2010007117Subjects--Topical Terms:

527823
Logic, Symbolic and mathematical.

LC Class. No.: QA9.2 / .K87 2010

Dewey Class. No.: 510.92

Kurt Gödel : = essays for his centennial /
LDR:03042cam a2200265 a 4500 001 671349
005 20110629145012.0
008 110706s2010 enk b 010 0 eng
010 $a 2010007117
020 $a 9780521115148 (cloth) : $c NT2604
020 $a 0521115140 (cloth)
035 $a (OCoLC)ocn551196620
035 $a 2010007117
040 $a DLC $c DLC $d YDX $d ERASA $d YDXCP $d BWX $d CDX $d N15 $d DLC
041 0 # $a eng
042 $a pcc
050 0 0 $a QA9.2 $b .K87 2010
082 0 0 $a 510.92 $2 22
245 0 0 $a Kurt Gödel : $b essays for his centennial / $c edited by Solomon Feferman, Charles Parsons, Stephen G. Simpson.
246 3 $a Kurt Godel
260 # $a Cambridge ; $a New York : $a Ithaca, NY : $c 2010. $b Cambridge University Press ; $b Association for Symbolic Logic,
300 $a x, 373 p. ; $c 24 cm.
490 1 $a Lecture notes in logic ; $v 33
504 $a Includes bibliographical references.
505 0 # $a GENERAL. The Gödel editorial project : a synopsis / Solomon Feferman -- Future tasks for Gödel scholars / John W. Dawson, Jr., and Cheryl A. Dawson -- PROOF THEORY. Gödel and the metamathematical tradition / Jeremy Avigad -- Only two letters : the correspondence between Herbrand and Gödel / Wilfried Sieg -- Gödel's reformulation of Gentzen's first consistency proof for arithmetic : the no-counterexample interpretation / W. W. Tait -- Gödel on intuition and on Hilbert's finitism / W. W. Tait -- The Gödel hierarchy and reverse mathematics / Stephen G. Simpson -- On the outside looking in : a caution about conservativeness / John P. Burgess -- SET THEORY. Gödel and set theory / Akihiro Kanamori -- Generalizations of Gödel's universe of constructible sets / Sy-David Friedman -- On the question of absolute undecidability / Peter Koellner -- PHILOSOPHY OF MATHEMATICS. What did Gödel believe and when did he believe it? / Martin Davis -- On Gödel's way in : the influence of Rudolf Carnap / Warren Goldfarb -- Gödel and Carnap / Steve Awodey and A.W. Carus -- On the philosophical development of Kurt Gödel / Mark van Atten and Juliette Kennedy -- Platonism and mathematical intuition in Kurt Gödel's thought / Charles Parsons -- Gödel's conceptual realism / Donald A. Martin.
520 # $a "Kurt Gödel (1906-1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary resonance includes papers from a May 2006 symposium celebrating Gödel's centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of Gödel's writings are among the topics covered. Several chapters discuss his intellectual development and his relation to predecessors and contemporaries such as Hilbert, Carnap, and Herbrand. Others consider his views on justification in set theory in light of more recent work and contemporary echoes of his incompleteness theorems and the concept of constructible set"--Provided by publisher.
650 # 0 $a Logic, Symbolic and mathematical. $3 527823
700 1 # $a Simpson, Stephen G. $q (Stephen George), $d 1945- $3 773461
700 1 # $a Parsons, Charles, $d 1933- $3 773460
700 1 # $a Feferman, Solomon. $3 773459
700 1 # $a Gödel, Kurt. $3 773458
830 0 $a Lecture notes in logic ; $v 33. $3 773462