Description: Gdel''s life and workA Gdel chronologyGdel 1929: Introductory note to 1929, 1930 and 1930aber die Vollstndigkeit des LogikkalklsOn the completeness of the calculus of logicGdel 1930: (See introductory note under Gdel 1929.)Die Vollstndigkeit der Axiome des logischen FunktionenkalklsThe completeness of the axioms of the functional calculus of logicGdel 1930a: (See introductory note under Gdel 1929.)ber die Vollstndigkeit des LogikkalklsOn the completeness of the calculus of logicGdel 1930b: Introductory note to 1930b, 1931 and 1932bEinige metamathematische Resultate ber Entscheidungs-definitheit und WiderspruchsfreiheitSome metamathematical results on completeness and consistencyGdel 1931: (See introductory note under Gdel 1930b.)ber formal unentscheidbare Stze der Principia mathematica und verwandter Systeme IOn formally undecidable propositions of Principia mathematica and related systems IGdel 1931a: Introductory note to 1931a, 1932e, f and gDiskussion zur Grundlegung der MathematikDiscussion on providing a foundation for mathematicsGdel 1931b: Review of Neder 1931Gdel 1931c: Introductory note to 1931cReview of Hilbert 1931Gdel 1931d: Review of Betsch 1926Gdel 1931e: Review of Becker 1930Gdel 1931f: Review of Hasse and Scholz 1928Gdel 1931g: Review of von Juhos 1930Gdel 1932: Introductory note to 1932Zum intuitionistischen aussagenkalklOn the intuitionistic propositional calculusGdel 1932a: Introductory note to 1932a, 1933i and lEin Spezialfall des Enscheidungsproblems der theoretischen LogikA special case of the decision problem for theoretical logicGdel 1932b: (See introductory note under Gdel 1930b.)ber Vollstndigkeit und WiderspruchsfreiheitOn completeness and consistencyGdel 1932c: Introductory note to 1932cEine Eigenschaft der Realisierungen des AussagenkalklsA property of the realizations of the propositional calculusGdel 1932d: Review of Skolem 1931Gdel 1932e: (See introductory note under Gdel 1931a.)Review of Carnap 1931Gdel 1932f: (See introductory note under Gdel 1931a.)Review of Heyting 1931Gdel 1932g: (See introductory note under Gdel 1931a.)Review of von Neumann 1931Gdel 1932h: Review of Klein 1931Gdel 1932i: Review of Hoensbroech 1931Gdel 1932j: Review of Klein 1932Gdel 1932k: Introductory note to 1932k, 1934e and 1936bReview of Church 1932Gdel 1932l: Review of Kalmr 1932Gdel 1932m: Review of Huntington 1932Gdel 1932n: Review of Skolem 1932Gdel 1932o: Review of Dingler 1931Gdel 1933: Introductory note to 1933[[ber die Parryschen Axiome]][[On Parry''s axioms]]Gdel 1933a: Introductory note to 1933aber Unabhngigkeitsbeweise im AussagenkalklOn independence proofs in the propositional calculusGdel 1933b: Introductory note to 1933b, c, d, g and hber die metrische Einbettbarkeit der Quadrupel des R[3 in KugelflchenOn the isometric embeddability of quadruples of points of R[3 in the surface of a sphereGdel 1933c: (See introductory note under Gdel 1933b.)ber die Waldsche Axiomatik des ZwichenbegriffesOn Wald''s axiomization of the notion of betweennessGdel 1933d: (See introductory note under Gdel 1933b.)Zur Axiomatik der elementargeometrischen Verknpfungs-relationenOn the axiomatization of the relations of connection in elementary geometryGdel 1933e: Introductory note to 1933eZur institutionistischen Arithmetik und ZahlentheorieOn intuitionistic arithmetic and number theoryGdel 1933f: Introductory note to 1933fEine Interpretation des institutionistischen AussagenkalklsAn interpretation of the intuitionistic propositional calculusGdel 1933g: (See introductory note under Gdel 1933b.)Bemerkung ber projektive AbbildungenRemark concerning projective mappingsGdel 1933h: (See introductory note under Gdel 1933b.)Diskussion ber koordinatenlose DifferentialgeometrieDiscussion concerning coordinate-free differential geometryGdel 1933i: (See introductory note under Gdel 1932a.)Zum Enscheidungsproblem des logischen FunktionenkalklsOn the decision probelm for the functional calculus of logicGdel 1933j: Review of Kaczmarz 1932Gdel 1933k: Review of Lewis 1932Gdel 1933l: (See introductory note under Gdel 1932a.)Review of Kalmr 1933Gdel 1933m: Review of Hahn 1932Gdel 1934: Introductory note to 1934On undecidable propositions of formal mathematical systemsGdel 1934a: Review of Skolem 1933Gdel 1934b: Introductory note to 1934bReview of Quine 1933Gdel 1934c: Introductory note to 1934c and 1935Review of Skolem 1933aGdel 1934d: Review of Chen 1933Gdel 1934e: (See introductory note under Gdel 1932k.)Review of Church 1933Gdel 1934f: Review of Notcutt 1934Gdel 1935: (See introductory note under Gdel 1934c.)Review of Skolem 1934Gdel 1935a: Introductory note to 1935aReview of Huntington 1934Gdel 1935b: Review of Carnap 1934Gdel 1935c: Review of Kalmr 1934Gdel 1936: Introductory note to 1936DiskussionsbemerkungDiscussion remarkGdel 1936a: Introductory note to 1936aber die Lnge von BeweisenOn the length of proofsGdel 1936b: (See introductory note under Gdel 1932k.)Review of Church 1935Textual notesReferencesIndex

Please Wait