We use cookies to provide essential features and services. By using our website you agree to our use of cookies .

×

Warehouse Stock Clearance Sale

Grab a bargain today!

Kurt Godel: Collected Works
By

Rating

Product Description
Product Details

Table of Contents

Goedel's life and workSolomon Feferman: A Goedel chronologyJohn W. Dawson, Jr.: Goedel 1929: Introductory note to 1929, 1930 and 1930aBurton Dreben and Jean van Heijenoort: UEber die Vollstandigkeit des Logikkalkuls On the completeness of the calculus of logic Goedel 1930: (See introductory note under Goedel 1929.) Die Vollstandigkeit der Axiome des logischen Funktionenkalkuls The completeness of the axioms of the functional calculus of logic Goedel 1930a: (See introductory note under Goedel 1929.) UEber die Vollstandigkeit des Logikkalkuls On the completeness of the calculus of logic Goedel 1930b: Introductory note to 1930b, 1931 and 1932bStephen C. Kleene: Einige metamathematische Resultate uber Entscheidungs-definitheit und Widerspruchsfreiheit Some metamathematical results on completeness and consistency Goedel 1931: (See introductory note under Goedel 1930b.) UEber formal unentscheidbare Satze der Principia mathematica und verwandter Systeme I On formally undecidable propositions of Principia mathematica and related systems I Goedel 1931a: Introductory note to 1931a, 1932e, f and gJohn W. Dawson, Jr.: Diskussion zur Grundlegung der Mathematik Discussion on providing a foundation for mathematics Goedel 1931b: Review of Neder 1931 Goedel 1931c: Introductory note to 1931cSolomon Feferman: Review of Hilbert 1931 Goedel 1931d: Review of Betsch 1926 Goedel 1931e: Review of Becker 1930 Goedel 1931f: Review of Hasse and Scholz 1928 Goedel 1931g: Review of von Juhos 1930 Goedel 1932: Introductory note to 1932A. S. Troelstra: Zum intuitionistischen aussagenkalkul On the intuitionistic propositional calculus Goedel 1932a: Introductory note to 1932a, 1933i and lWarren D. Goldfarb: Ein Spezialfall des Enscheidungsproblems der theoretischen Logik A special case of the decision problem for theoretical logic Goedel 1932b: (See introductory note under Goedel 1930b.) UEber Vollstandigkeit und Widerspruchsfreiheit On completeness and consistency Goedel 1932c: Introductory note to 1932cW. V. Quine: Eine Eigenschaft der Realisierungen des Aussagenkalkuls A property of the realizations of the propositional calculus Goedel 1932d: Review of Skolem 1931 Goedel 1932e: (See introductory note under Goedel 1931a.) Review of Carnap 1931 Goedel 1932f: (See introductory note under Goedel 1931a.) Review of Heyting 1931 Goedel 1932g: (See introductory note under Goedel 1931a.) Review of von Neumann 1931 Goedel 1932h: Review of Klein 1931 Goedel 1932i: Review of Hoensbroech 1931 Goedel 1932j: Review of Klein 1932 Goedel 1932k: Introductory note to 1932k, 1934e and 1936bStephen C. Kleene: Review of Church 1932 Goedel 1932l: Review of Kalmar 1932 Goedel 1932m: Review of Huntington 1932 Goedel 1932n: Review of Skolem 1932 Goedel 1932o: Review of Dingler 1931 Goedel 1933: Introductory note to 1933W. V. Quine: [[UEber die Parryschen Axiome]] [[On Parry's axioms]] Goedel 1933a: Introductory note to 1933aW. V. Quine: UEber Unabhangigkeitsbeweise im Aussagenkalkul On independence proofs in the propositional calculus Goedel 1933b: Introductory note to 1933b, c, d, g and hJudson Webb: UEber die metrische Einbettbarkeit der Quadrupel des R[3 in Kugelflachen On the isometric embeddability of quadruples of points of R[3 in the surface of a sphere Goedel 1933c: (See introductory note under Goedel 1933b.) UEber die Waldsche Axiomatik des Zwichenbegriffes On Wald's axiomization of the notion of betweenness Goedel 1933d: (See introductory note under Goedel 1933b.) Zur Axiomatik der elementargeometrischen Verknupfungs-relationen On the axiomatization of the relations of connection in elementary geometry Goedel 1933e: Introductory note to 1933eA. S. Troelstra: Zur institutionistischen Arithmetik und Zahlentheorie On intuitionistic arithmetic and number theory Goedel 1933f: Introductory note to 1933fA. S. Troelstra: Eine Interpretation des institutionistischen Aussagenkalkuls An interpretation of the intuitionistic propositional calculus Goedel 1933g: (See introductory note under Goedel 1933b.) Bemerkung uber projektive Abbildungen Remark concerning projective mappings Goedel 1933h: (See introductory note under Goedel 1933b.) Diskussion uber koordinatenlose Differentialgeometrie Discussion concerning coordinate-free differential geometry Goedel 1933i: (See introductory note under Goedel 1932a.) Zum Enscheidungsproblem des logischen Funktionenkalkuls On the decision probelm for the functional calculus of logic Goedel 1933j: Review of Kaczmarz 1932 Goedel 1933k: Review of Lewis 1932 Goedel 1933l: (See introductory note under Goedel 1932a.) Review of Kalmar 1933 Goedel 1933m: Review of Hahn 1932 Goedel 1934: Introductory note to 1934Stephen C. Kleene: On undecidable propositions of formal mathematical systems Goedel 1934a: Review of Skolem 1933 Goedel 1934b: Introductory note to 1934bW. V. Quine: Review of Quine 1933 Goedel 1934c: Introductory note to 1934c and 1935Robert L. Vaught: Review of Skolem 1933a Goedel 1934d: Review of Chen 1933 Goedel 1934e: (See introductory note under Goedel 1932k.) Review of Church 1933 Goedel 1934f: Review of Notcutt 1934 Goedel 1935: (See introductory note under Goedel 1934c.) Review of Skolem 1934 Goedel 1935a: Introductory note to 1935aW. V. Quine: Review of Huntington 1934 Goedel 1935b: Review of Carnap 1934 Goedel 1935c: Review of Kalmar 1934 Goedel 1936: Introductory note to 1936John W. Dawson, Jr.: Diskussionsbemerkung Discussion remark Goedel 1936a: Introductory note to 1936aRohit Parikh: UEber die Lange von Beweisen On the length of proofs Goedel 1936b: (See introductory note under Goedel 1932k.) Review of Church 1935 Textual notes References Index

Reviews

The whole enterprise is superbly coordinated and assembled under the direction of Solomon Feferman ... The book is a tour de force and a labour of love. Superbly crafted and presented, what a bargain, given the many gems it contains! The Mathematical Gazette The books are carefully and beautifully produced and offer rich material, illuminating not only the outstanding work of Godel, but also the whole mathematical logic of the twentieth century, including some philosophical and historical aspects. EMS

Ask a Question About this Product More...
Write your question below:
Look for similar items by category
People also searched for
Item ships from and is sold by Fishpond Retail Limited.
Back to top