Collected works  v. 1 ~ v. 5

Kurt Gödel ; edited by Solomon Feferman ... [et al.]

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 on constructivity, 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 time travel 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 lecture texts 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 include introductory 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 students in 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.

「Nielsen BookData」より

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 on constructivity, 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 time travel 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 lecture texts 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 include introductory 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 students in 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.

「Nielsen BookData」より

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 on constructivity, 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 time travel 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 lecture texts 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 include introductory 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 students in 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.

「Nielsen BookData」より

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 on constructivity, 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 time travel 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 lecture texts 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 include introductory 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 students in 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.

「Nielsen BookData」より

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 on constructivity, 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 time travel 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 lecture texts 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 include introductory 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 students in 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.

「Nielsen BookData」より

[目次]

  • Godel 1938: Introductory note to 1938, 1939, 1939a, and 1940 by Robert M. Solovay
  • The consistency of the axiom of choice and of the generalized continuum hypothesis
  • Godel 1939: the consistency of the generalized continuum hypothesis
  • Godel 1939a: Consistency proof for the generalized continuum hypothesis
  • Godel 1940: the consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory
  • Godel 1944: Introductory note to 1944 by Charles Parsons
  • Russell's mathematical logic
  • Godel 1946: Introductory note to 1946 by Charles Parsons
  • Remarks before the Princeton bicentennial conference on problems in mathematics
  • Godel 1947: Introductory note to 1947 and 1964 by Gregory H. Moore
  • What is Cantor's continuum problem?
  • Godel 1949: Introductory note to 1949 and 1952 by S.W. Hawking
  • An example of a new type of cosmological solutions of Einstein's field equations of gravitation
  • Godel 1949a: Introductory note to 1949a by Howard Stein
  • A remark about the relationship between relativity theory and idealistic philosophy
  • Godel 1952: Rotaoting universes in general relativity theory
  • Godel 1958: Introductory note to 1958 and 1972 by A.S. Troelstra
  • Uber eine bisher noch nicht benutzte Erweiterung des finiten Standpunktes
  • On a hitherto unutilized extension of the finitary standpoint
  • Godel 1962: postscript to Spector 1962
  • Godel 1964: What is Cantor's continuum problem? Godel 1972: On an extension of finitary mathematics which has not yet been used
  • Godel 1972a: Introductory note to 1972a by Solomon Feferman, Robert M. Solovay, and Judson C. Webb
  • Some remarks on the undecidability results
  • Godel 1974: Introductory note to 1974 by Jens Erik Fenstad
  • Remark on non-standard analysis
  • Textual notes
  • References.

「Nielsen BookData」より

この本の情報

書名 Collected works
著作者等 Feferman, Solomon
Gödel, Kurt
Dawson John W.
Dawson John
Goldfarb Warren
Heijenoort Jean van
Kleene Stephen C.
Moore George
Parsons Charles
Sieg Wilfred
Solovay R.
Solovay Robert M.
Godel Kurt
巻冊次 v. 1
v. 2
v. 3
v. 4
v. 5
出版元 Oxford University Press
刊行年月 1986-2003
ページ数 5 v.
大きさ 25 cm
ISBN 0195039726
0195072553
0198500734
0198500750
0195039645
NCID BA0006462X
※クリックでCiNii Booksを表示
言語 ドイツ語
英語
出版国 アメリカ合衆国
この本を: 
このエントリーをはてなブックマークに追加

Yahoo!ブックマークに登録
この記事をクリップ!
Clip to Evernote
このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想