この情報を出力する

このページのリンク

引用にはこちらのURLをご利用ください

他の検索サイト

利用統計

  • このページへのアクセス：12回
  • 貸出数：8回
    (1年以内の貸出数：0回)

＜図書＞
Collected works

責任表示 Kurt Gödel ; edited by Solomon Feferman ... [et al.]
データ種別 図書
出版情報 New York ; Oxford ; Tokyo : Oxford University Press , 1986-2003
本文言語 英語,ドイツ語
大きさ 5 v. : ill., facsims., ports. ; 25 cm
概要 Kurt G del (1906-1978) was the most outstanding logician of the twentieth century, noted for G del's theorem, a hallmark of modern mathematics. The Collected Works will include both published and unp...blished writings, in three or more volumes. The first two volumes will consist essentially of G del's published works (both in the original and translation), and the third volume will feature unpublished articles, lectures, and selections from his lecture courses, correspondence, and scientific notebooks. All volumes will contain extensive introductory notes to the work as a whole and to individual articles and other material, commenting upon their contents and placing them within a historical framework. This long-awaited project is of great significance to logicians, mathematicians, philosophers and historians.
Kurt Godel was the most outstanding logician 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. Less well-known is his discovery of unusual cosmological models for Einstein's equations, permitting "time-travel" into the past.This second volume of a comprehensive edition of Godel's works collects together all his publications from 1938 to 1974. Together with Volume I (Publications 1929-1936), it makes available for the first time in a single source all of his previously published work. Continuing the format established in the earlier volume, the present text includes introductory notes that provide extensive explanatory and historical commentary on each of the papers, a facing English translation of the one German original, and a complete bibliography. Succeeding volumes are to contain unpublished manuscripts, lectures, correspondence, and extracts from the notebooks.Collected Works is designed to be accessible and useful to as wide an audience as possible without sacrificing scientific or historical accuracy. The only complete edition available in English, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science. These volumes will also interest scientists and all others who wish to be acquainted with one of the great minds of the twentieth century.
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 stronger systems, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, the foundations of computation theory, unusual cosmological models, and for the strong individuality of his writings on the philosophy of mathematics. The Collected Works is a landmark resource that draws together a lifetime of creative accomplishment. The first two volumes were devoted to Godel's publications in full (both in the original and translation). This third volume features a wide selection of unpublished articles and lecture texts found in Godel's Nachlass, documents that enlarge considerably our appreciation of his scientific and philosophical thought and add a great deal to our understanding of his motivations. Continuing the format of the earlier volumes, the present volume includes introductory notes that provide extensive explanatory and historical commentary on each of the papers, English translations of material originally written in German (some transcribed from Gabelsberger shorthand), and a complete bibliography. A succeeding volume is to contain a comprehensive selection of Godel's scientific correspondence and a complete inventory of his Nachlass. The books are designed to be accessible and useful to as wide an audience as possible without sacrificing scientific or historical accuracy. The only complete edition available in English, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science.
German mathematician Godel is best known for his incompleteness theorem, popularized by the book Godel, Escher, Bach: an Eternal Golden Braid (Hofstadter, 1989). This volume, along with the simultaneously published Volume 5, collects letters that the editors thought possessed historical, scientific, or philosophical interest or shed light on Godel's personal thoughts or relationship with others. The names of the correspondents, represented in this volume by Paul Bernays, Paul Cohen, Alonzo Church, and others, provide the basis for the alphabetical arrangement of the material. An introductory note precedes each correspondent's section. Where the original is in German, an English translation is paired with the original text on facing pages. Annotation (c)2003 Book News, Inc., Portland, OR (booknews.com)
German mathematician Godel is best known for his incompleteness theorem, popularized by the book Godel, Escher, Bach: an Eternal Golden Braid (Hofstadter, 1989). This volume, along with the simultaneously published Volume 4, collects letters that the editors thought possessed historical, scientific, or philosophical interest or shed light on Godel's personal thoughts or relationship with others. The names of the correspondents, represented in this volume by Karl Popper, Bertrand Russell, John von Neumann, and others, provide the basis for the alphabetical arrangement of the material. An introductory note precedes each correspondent's section. Where the original is in German, an English translation is paired with the original text on facing pages. Annotation (c)2003 Book News, Inc., Portland, OR (booknews.com) 続きを見る
目次 v. 1. Publications, 1929-1936
v. 2. Publications, 1938-1974
v. 3. Unpublished essays and lectures
v. 4. Correspondence A-G
v. 5. Correspondence H-Z.

所蔵情報


V. 1. 理系図3F 数理独自 GODE/30/3-1 1986
068222195003553

V. 2. : Publications 1938-1974 中央図 2C_1‐14 [文/哲学] 哲学/402/1082 1990
068052190014612

V. 2. : Publications 1938-1974 理系図3F 数理独自 GODE/30/3-2 1990
068222195006764

V. 3. 中央図 2C_1‐14 [文/哲学] 哲学/402/1082- 1995
068052195006484

V. 3. 理系図3F 数理独自 GODE/30/3-3 1995
068222195009101

v. 1 中央図 3E 410.8/G 55/1(1) 1986
068582186000041

v. 1 中央図 2C_1‐14 [文/哲学] 哲学/402/1082 1986
068052187030558

v. 1 理系図3F 数理独自 GODE/30/K1 1986
068252186000231

v. 2 中央図 2C_1‐14 [文/哲学] 哲学/402/1082 1990
068052189024193

v. 4 中央図 2C_1‐14 [文/哲学] 哲学/402/1082-4 2003
005212003005633

v. 4 中央図 自動書庫 410.8/G 55 2006
032212010009266

v. 4 理系図3F 数理独自 GODE/30/3-4 2003
023212004005167

v. 5 中央図 2C_1‐14 [文/哲学] 哲学/402/1082-5 2003
005212003005645

v. 5 中央図 自動書庫 410.8/G 55 2006
032212010009278

v. 5 理系図3F 数理独自 GODE/30/3-5 2003
023212004005170

書誌詳細

一般注記 "Prepared under the auspices of the Association for Symbolic Logic"
Contents: v. 1. Publications 1929-1936. -- v. 2. Publications 1938-1974. -- v. 3. Unpublished essays and lectures -- v. 4. Correspondence A-G -- v. 5. Correspondence H-Z
German text, parallel English translation
Includes bibliographical references and indexes
著者標目 *Gödel, Kurt, 1906-1978
Feferman, Solomon
件　名 LCSH:Logic, Symbolic and mathematical -- Collected works  全ての件名で検索
分　類 LCC:QA9
DC19:511.3
NDC8:410.8
書誌ID 1000034792
ISBN 0195039645
NCID BA0006462X
巻冊次 v. 1 ; ISBN:0195039645
v. 2 ; ISBN:0195039726
v. 3 ; ISBN:0195072553
v. 4 ; ISBN:0198500734
v. 5 ; ISBN:0198500750
登録日 2009.09.10
更新日 2009.11.02

類似資料