Kurt Gödel: Collected Works: Volume I

Publications 1929-1936

Inbunden, Engelska, 1986

AvKurt Gödel,S. Feferman,John W. Dawson, Jr.,Stephen C. Kleene,G. Moore,R. Solovay,Jean van Heijenoort

4 289 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Kurt Gödel (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 Gödel'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 Gödel's Nachlass. These long-awaited final two volumes contain Gödel'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 Gödel's Nachlass. 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 Gödel: 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 Gödel'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.

Produktinformation

Utgivningsdatum1986-05-22
Mått161 x 236 x 37 mm
Vikt848 g
FormatInbunden
SpråkEngelska
Antal sidor490
FörlagOUP USA
ISBN9780195039641

Tillhör följande kategorier

Gödel's life and workSolomon Feferman: A Gödel chronologyJohn W. Dawson, Jr.: Gödel 1929: Introductory note to 1929, 1930 and 1930aBurton Dreben and Jean van Heijenoort: Über die Vollständigkeit des LogikkalkülsOn the completeness of the calculus of logicGödel 1930: (See introductory note under Gödel 1929.)Die Vollständigkeit der Axiome des logischen FunktionenkalkülsThe completeness of the axioms of the functional calculus of logicGödel 1930a: (See introductory note under Gödel 1929.)Über die Vollständigkeit des LogikkalkülsOn the completeness of the calculus of logicGödel 1930b: Introductory note to 1930b, 1931 and 1932bStephen C. Kleene: Einige metamathematische Resultate über Entscheidungs-definitheit und WiderspruchsfreiheitSome metamathematical results on completeness and consistencyGödel 1931: (See introductory note under Gödel 1930b.)Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme IOn formally undecidable propositions of Principia mathematica and related systems IGödel 1931a: Introductory note to 1931a, 1932e, f and gJohn W. Dawson, Jr.: Diskussion zur Grundlegung der MathematikDiscussion on providing a foundation for mathematicsGödel 1931b: Review of Neder 1931Gödel 1931c: Introductory note to 1931cSolomon Feferman: Review of Hilbert 1931Gödel 1931d: Review of Betsch 1926Gödel 1931e: Review of Becker 1930Gödel 1931f: Review of Hasse and Scholz 1928Gödel 1931g: Review of von Juhos 1930Gödel 1932: Introductory note to 1932A. S. Troelstra: Zum intuitionistischen aussagenkalkülOn the intuitionistic propositional calculusGödel 1932a: Introductory note to 1932a, 1933i and lWarren D. Goldfarb: Ein Spezialfall des Enscheidungsproblems der theoretischen LogikA special case of the decision problem for theoretical logicGödel 1932b: (See introductory note under Gödel 1930b.)Über Vollständigkeit und WiderspruchsfreiheitOn completeness and consistencyGödel 1932c: Introductory note to 1932cW. V. Quine: Eine Eigenschaft der Realisierungen des AussagenkalkülsA property of the realizations of the propositional calculusGödel 1932d: Review of Skolem 1931Gödel 1932e: (See introductory note under Gödel 1931a.)Review of Carnap 1931Gödel 1932f: (See introductory note under Gödel 1931a.)Review of Heyting 1931Gödel 1932g: (See introductory note under Gödel 1931a.)Review of von Neumann 1931Gödel 1932h: Review of Klein 1931Gödel 1932i: Review of Hoensbroech 1931Gödel 1932j: Review of Klein 1932Gödel 1932k: Introductory note to 1932k, 1934e and 1936bStephen C. Kleene: Review of Church 1932Gödel 1932l: Review of Kalmár 1932Gödel 1932m: Review of Huntington 1932Gödel 1932n: Review of Skolem 1932Gödel 1932o: Review of Dingler 1931Gödel 1933: Introductory note to 1933W. V. Quine: [[Über die Parryschen Axiome]][[On Parry's axioms]]Gödel 1933a: Introductory note to 1933aW. V. Quine: Über Unabhängigkeitsbeweise im AussagenkalkülOn independence proofs in the propositional calculusGödel 1933b: Introductory note to 1933b, c, d, g and hJudson Webb: Über die metrische Einbettbarkeit der Quadrupel des R[3 in KugelflächenOn the isometric embeddability of quadruples of points of R[3 in the surface of a sphereGödel 1933c: (See introductory note under Gödel 1933b.)Über die Waldsche Axiomatik des ZwichenbegriffesOn Wald's axiomization of the notion of betweennessGödel 1933d: (See introductory note under Gödel 1933b.)Zur Axiomatik der elementargeometrischen Verknüpfungs-relationenOn the axiomatization of the relations of connection in elementary geometryGödel 1933e: Introductory note to 1933eA. S. Troelstra: Zur institutionistischen Arithmetik und ZahlentheorieOn intuitionistic arithmetic and number theoryGödel 1933f: Introductory note to 1933fA. S. Troelstra: Eine Interpretation des institutionistischen AussagenkalkülsAn interpretation of the intuitionistic propositional calculusGödel 1933g: (See introductory note under Gödel 1933b.)Bemerkung über projektive AbbildungenRemark concerning projective mappingsGödel 1933h: (See introductory note under Gödel 1933b.)Diskussion über koordinatenlose DifferentialgeometrieDiscussion concerning coordinate-free differential geometryGödel 1933i: (See introductory note under Gödel 1932a.)Zum Enscheidungsproblem des logischen FunktionenkalkülsOn the decision probelm for the functional calculus of logicGödel 1933j: Review of Kaczmarz 1932Gödel 1933k: Review of Lewis 1932Gödel 1933l: (See introductory note under Gödel 1932a.)Review of Kalmár 1933Gödel 1933m: Review of Hahn 1932Gödel 1934: Introductory note to 1934Stephen C. Kleene: On undecidable propositions of formal mathematical systemsGödel 1934a: Review of Skolem 1933Gödel 1934b: Introductory note to 1934bW. V. Quine: Review of Quine 1933Gödel 1934c: Introductory note to 1934c and 1935Robert L. Vaught: Review of Skolem 1933aGödel 1934d: Review of Chen 1933Gödel 1934e: (See introductory note under Gödel 1932k.)Review of Church 1933Gödel 1934f: Review of Notcutt 1934Gödel 1935: (See introductory note under Gödel 1934c.)Review of Skolem 1934Gödel 1935a: Introductory note to 1935aW. V. Quine: Review of Huntington 1934Gödel 1935b: Review of Carnap 1934Gödel 1935c: Review of Kalmár 1934Gödel 1936: Introductory note to 1936John W. Dawson, Jr.: DiskussionsbemerkungDiscussion remarkGödel 1936a: Introductory note to 1936aRohit Parikh: Über die Länge von BeweisenOn the length of proofsGödel 1936b: (See introductory note under Gödel 1932k.)Review of Church 1935Textual notesReferencesIndex