Collected Works

New

Godel, Kurt/ Feferman, Solomon (EDT)/ Dawson, John 저자(글)

OUP Oxford · 2003년 06월 05일

책 소개

Solomon Feferman is in the Department of Mathematics, Stanford University. John Dawson is at Pennsylvania State University. Warren Goldfarb and Charles Parsons are both at Harvard University.
Kurt Godel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work onconstructivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of unusual cosmological models for Einstein's equations, in theory permitting timetravel into the past. The Collected Works is a landmark resource that draws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Godel's publications in full (both in original and translation), and the third volume featured a wide selection of unpublished articles and lecturetexts found in Godel's Nachlass. These long-awaited final two volumes contain Godel's correspondence of logical, philosophical, and scientific interest. Volume IV covers A to G, with H to Z in volume V; in addition, Volume V contains a full inventory of Godel's Nachlass. L All volumes includeintroductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of material originally written in German (some transcribed from the Gabelsberger shorthand), and a complete bibliography of all works cited. Kurt Godel: Collected Works is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. The only comprehensive edition of Godel's work available, it will be an essential part of the working library of professionals and studentsin logic, mathematics, philosophy, history of science, and computer science and all others who wish to be acquainted with one of the great minds of the twentieth century.
Kurt Godel was one of the most outstanding logicians of the twentieth century, famous for his work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem and the foundations of computation theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of unusual cosmological models for Einstein's equations, in theory, permitting time travel into the past. The book is the fourth part of a five volume set, which is the first to make available all of Godel's writings in one place. The collected Works of Kurt Godel is designed to be useful and accessible to a wide audience without sacrificing scientific or historical accuracy.
'Anyone interested in the life and work of Kurt Godel, or in the history of mathematical logic in this century, is indebted to all of the contributors to this volume (volume I)for the care with which they have presented Godel's work. They have succeeded in using their own expertise toelucidate both the nature and the significance of what Godel and, in turn, mathematical logic have accomplished. From the example of this first volume, the edition promises to be a model of its kind; virtually nothing could be bettered.Feferman and his team are to be congratulated on the care, sureness of touch, and scholarly accuracy with which they have carried out their task'Mind
"Beautifully produced...anybody interested in the history of logic in the twentieth century will wish to own, read and reread."---The Review of Modern Logic
"Beautifully produced...anybody interested in the history of logic in the twentieth century will wish to own, read and reread."---The Review of Modern Logic
'Each item in the volume (Volume III) carries an introduction written by a leading expert, and there are detailed textual notes at the end of the book. The editorial standards are extremely high throughout'London Mathematical Society 1997
'It is a fascinating and enduringly important collection, superbly well-edited, each paper being prefaced with an excellent intoduction providing background information, summaries of the arguments and, where necessary, criticisms of the views expressed. The editors are to be wholeheartedlycongratulated on bringing to the public work which deserves careful study and which ought to do something to revitalise the philosophy of mathematics by presenting a point of view that, unusually, combines intellectual rigour with a willingness to make bold and metaphysical claims.'Times Higher Education Supplement, 15 March 1996
'Review from other book by this author Godel would probably have been pleased ... The set should be of interest to professionals and students in the area of logic, mathematics, philosophy, history of science, computer science and to some non-specialists with a background in science and/orlogic. For all university level libraries and for large public and college library collections.'New Technical Books, New York Public Library (January 1987)
'The book (Volume III) ... will certainly enlarge our appreciation of Godel's scientific and philosophical thought as well as our understanding of his motivations.'Mathematical Reviews, Issue 96f
'These volumes contain, as well as the doctoral dissertation and a hitherto unpublished revision of a translation of the Dialectica paper, all of Godel's work printed in his lifetime. The volumes are meticulously edited and are a pleasure to consult. Original page numbers are clearly shown;papers written in German are printed with facing translations.'Bulletin of the London Mathematical Society, 24 (1992)
'This book (Volume I) is unique, and every philosopher or historian of logic will be determined to possess it.'Nature
'This is the second volume of this impressive series of Godel's works ... this second volume of his published works is really fundamental, as it was only in this period that Godel decided to make public some traits of his philosophical position ... The introductory note to these writings, byR. Solovay, seems to me historically and technically superb. I congratulate the editorial team for including in this volume the improved 1972 version of the Dialectica paper of 1958 on finitary mathematics ... As a whole, the book is absolutely indispensable for anyone interested in Godel's ideas,or generally on the history and philosophy of logic and mathematics.'Modern Logic, Volume 4, no. 3 (July 1994)
'This is the third volume of a comprehensive and critical edition of the works of Kurt Godel. . .All these essays and lectures are most carefully written and remarkably rich. They give considerable insight into Godel's own achievements in logic, set theory and physics and also into hisphilosophical views. . . .This volume was a desideratum for a long time. We also hope very strongly that volume 3 is not the last volume." --'Vienna Circle Institute Yearbook 1997
The collected works of Kurt Godel is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy.

작가정보

저자(글) Godel, Kurt/ Feferman, Solomon (EDT)/ Dawson, John

목차

• 
  List of illustrations xiii
  (See the introductory note to the correspondence with Ernest Nagel in volume V.)
  Allan Angoff
  Correspondence with Allan Angoff 1(8)
  Introductory note by John W. Dawson, Jr. 9(4)
  Yossef Balas
  Letter to Yossef Balas 9(4)
  Introductory note by Charles Parsons 13(28)
  Heinrich Behmann
  Correspondence with Heinrich Behmann 18(23)
  Introductory note by Solomon Feferman 41(274)
  Paul Bernays
  Correspondence with Paul Bernays 78(237)
  Introductory note by Warren Goldfarb 315(4)
  Kenneth Blackwell
  Correspondence with Kenneth Blackwell 316(3)
  Introductory note by Warren Goldfarb 319(6)
  Herbert G. Bohnert
  Correspondence with Herbert G. Bohnert 321(4)
  Introductory note by Warren Goldfarb 325(4)
  William Boone
  Correspondence with William Boone 327(2)
  Introductory note by John W. Dawson, Jr. 329(2)
  Georg Brutian
  Letter to Georg Brutian 330(1)
  Introductory note by Wilfried Sieg 331(4)
  J. Richard Buchi
  Correspondence with J. Richard Buchi 333(2)
  Introductory note by Warren Goldfarb 335(26)
  Rudolf Carnap
  Correspondence with Rudolf Carnap 342(19)
  Introductory note by Charles Parsons 361(14)
  Alonzo Church
  Correspondence with Alonzo Church 366(9)
  Introductory note by Solomon Feferman 375(14)
  Paul J. Cohen
  Correspondence with Paul Cohen 382(7)
  Introductory note by Warren Goldfarb 389(8)
  Burton Dreben
  Correspondence with Burton Dreben 391(6)
  Introductory note by David B. Malament 397(8)
  Herbert Feigl
  Letter to Herbert Feigl 398(7)
  Introductory note by John W. Dawson, Jr. 405(16)
  Paul Finsler
  Correspondence with Paul Finsler 406(11)
  (See the introductory note to the correspondence with Ernest Nagel in volume V.)
  Wilson Follett
  Correspondence with Wilson Follett 417(4)
  Introductory note by Warren Goldfarb 421(4)
  Leonard Goddard
  Correspondence with Leonard Goddard 421(4)
  Introductory note by John W. Dawson, Jr. 425(16)
  Marianne Godel
  Correspondence with Marianne Godel 426(15)
  Introductory note by John W. Dawson, Jr. 441(10)
  Burke D. Grandjean
  Correspondence with Burke D. Grandjean 442(9)
  Introductory note by Michael Beeson 451(6)
  Marvin Jay Greenberg
  Correspondence with Marvin Jay Greenberg 453(4)
  Introductory note by Charles Parsons 457(80)
  Gotthard Gunther
  Correspondence with Gotthard Gunther 476(61)
  Calendars of correspondence: 537(28)
  Correspondence included in these volumes 538(13)
  Individual calendars of correspondence:
  Heinrich Behmann 551(1)
  Paul Bernays 552(5)
  William Boone 557(2)
  Rudolf Carnap 559(1)
  Alonzo Church 560(1)
  Paul Cohen 561(2)
  Gotthard Gunther 563(2)
  Textual notes 565(4)
  References 569(66)
  Addenda and corrigenda to volumes I-III 635(8)
  Index 643

기본정보

ISBN	9780198500735 ( 0198500734 )
발행(출시)일자	2003년 06월 05일
쪽수	684쪽
크기	151 * 254 * 43 mm / 1075 g
총권수	1권
언어	영어