Collected works . Volume1 , ublications 1929-1936

목차 (Table of Contents)

• CONTENTS
• Volume Ⅰ
• G$$\ddot o$$del's life and work / Solomon Feferman = 1
• A G$$\ddot o$$del chronology / John W. Dawson, Jr. = 37
• G$$\ddot o$$del 1929 : Introductory note to 1929, 1930 and 1930a / Burton Dreben ; Jean van Heijenoort = 44
• $$\ddot U$$ber die Vollst$$\ddot a$$dndigkeit des Logikkalk$$\ddot u$$ls = 60
• On the completeness of the calculus of logic = 61
• G$$\ddot o$$del 1930 : (See introductory note under G$$\ddot o$$del 1929.)
• Die Vollst$$\ddot a$$ndigkeit der Axiome des logischen Funktionenkalk$$\ddot u$$ls = 102
• The completeness of the axioms of the functional calculus of logic = 103
• G$$\ddot o$$del 1930a : (See introductory note under G$$\ddot o$$del 1929.)
• $$\ddot U$$ber die Vollst$$\ddot a$$ndigkeit des Logikkalk$$\ddot u$$ls = 124
• On the completeness of the calculus of logic = 125
• G$$\ddot o$$del 1930b : Introductory note to 1930b, 1931 and 1932b / Stephen C. KIeene = 126
• Einige metamathematische Resultate $$\ddot u$$ber Entscheidungs - definitheit und Widerspruchsfreiheit = 140
• Some metamathematical results on completeness and consistency = 141
• G$$\ddot o$$del 1931 : (See introductory note under G$$\ddot o$$del 1930b.)
• $$\ddot U$$ber formal unentscheidbare Satze der Principle, mathematica and verwandter Systeme Ⅰ = 144
• On formally undecidable propositions of Principia mathematica and related systems Ⅰ = 145
• G$$\ddot o$$del 1931a : Introductory note to 1931a, 1932e, f and g / John W. Dawson, Jr. = 196
• Diskussion zur Grundlegung der Mathematik = 200
• Discussion on providing a foundation for mathematics = 201
• G$$\ddot o$$del 1931b : Review of Neder 1931 = 205
• G$$\ddot o$$del 193lc : Introductory note to 1931c /Solomon Feferman = 208
• Review of Hilbert 1931 = 213
• G$$\ddot o$$del 1931d : Review of Betsch 1926 = 215
• G$$\ddot o$$del 1931e : Review of Becker 1930 = 217
• G$$\ddot o$$del 1931f : Review of Hasse and Scholz 1928 = 219
• G$$\ddot o$$del 1931g : Review of von Juhos 1930 = 219
• G$$\ddot o$$del 1932 : Introductory note to 1932 / A. S. Troelstra = 222
• Zum intuitionistischen Aussagenkalk$$\ddot u$$l = 222
• On the intuitionistic propositional calculus = 223
• G$$\ddot o$$del 1932a : Introductory note to 1932a, 1933i and l / Warren D. Goldfarb = 226
• Ein Spezialfall des Entscheidungsproblems der theoretischen Logik = 230
• A special case of the decision problem for theoretical logic = 231
• G$$\ddot o$$del 1932b : (See introductory note under G$$\ddot o$$del 1930b.)
• $$\ddot U$$ber Vollst$$\ddot a$$ndigkeit und Widerspruchsfreiheit = 234
• On completeness and consistency = 235
• G$$\ddot o$$del 1932c : Introductory note to 1932c / W. V. Quine = 238
• Eine Eigenschaft der Realisierungen des Aussagenkalk$$\ddot u$$ls = 238
• A property of the realizations of the prepositional calculus = 239
• G$$\ddot o$$del 1932d : Review of Skolem 1931 = 241
• G$$\ddot o$$del 1932e : (See introductory note under G$$\ddot o$$del 1931a.), Review of Carnap 1931 = 243
• G$$\ddot o$$del 1932f : (See introductory note under G$$\ddot o$$del 1931a.), Review of Heyting 1931 = 247
• G$$\ddot o$$del 1932g : (See introductory note under G$$\ddot o$$del 1931a.), Review of von Neumann 1931 = 249
• G$$\ddot o$$del 1932h : Review of Klein 1931 = 251
• G$$\ddot o$$del 1932i : Review of Hoensbroech 1991 = 253
• G$$\ddot o$$del 1932j : Review of Klein 1932 = 253
• G$$\ddot o$$del 1932k : Introductory note to 1932k, 1934e and 19S6b / Stephen C. Kleene = 256
• Review of Church 1932 = 257
• G$$\ddot o$$del 19321 : Review of Kalm$$\acute a$$r 1932 = 259
• G$$\ddot o$$del 1932m : Review of Huntington 1932 = 261
• G$$\ddot o$$del 1932n : Review of Skolem 1932 = 263
• G$$\ddot o$$del 1932o : Review of Dingler 1931 = 265
• G$$\ddot o$$del 1933 : Introductory note to 1932 / W. V. Quine = 266
• ($$\ddot U$$ber die Parryschen Axiome) = 266
• (On Parry's axioms) = 267
• G$$\ddot o$$del 1933a : Introductory note to 1993a / W. V. Quine = 268
• $$\ddot U$$ber Unabh$$\ddot a$$ngigkeitsbeweise im Aussagenkalk$$\ddot u$$l = 268
• On independence proofs in the propositional calculus = 269
• G$$\ddot o$$del 19SSb : Introductory note to 1933b, c, d, g and h / Judson Webb = 272
• $$\ddot U$$ber die metrische Einbettbarkeit der Quadrupel des $$R_3$$ in Kugelfl$$\ddot a$$chen = 276
• On the isometric embeddability of quadruples of points of $$R_3$$ in the surface of a sphere = 277
• G$$\ddot o$$del 1933c : (See introductory note under G$$\ddot o$$del 1933b.)
• $$\ddot U$$ber die Waldsche Axiomatik des Zwischenbegriffes = 278
• On Wald's axiomatization of the notion of betweenness = 279
• G$$\ddot o$$del 1933d : (See introductory note under G$$\ddot o$$del 1933b.)
• Zur Axiomatik der elementargeometrischen Verkn$$\ddot u$$pfungsrelationen = 280
• On the axiomatization of the relations of connection in elementary geometry = 281
• G$$\ddot o$$del 1933e : Introductory note to 1933e / A. S. Troelstra = 282
• Zur mtuitionistischen Arithmetik und Zahlentheorie = 286
• On intuitionistic arithmetic and number theory = 287
• G$$\ddot o$$del 1933 f : Introductory note to 193Sf / A. S. Troelstra = 296
• Eine Interpretation des mtuitionistischen Aussagenkalk$$\ddot u$$ls = 300
• An interpretation of the intuitionistic prepositional calculus = 301
• G$$\ddot o$$del 1933g : (See introductory note under G$$\ddot o$$del 1933b.)
• Bemerkung $$\ddot u$$ber projektive Abbildungen = 302
• Remark concerning projective mappings = 303
• G$$\ddot o$$del 19S3h : (See introductory note under G$$\ddot o$$del 1933b.)
• Diskussion $$\ddot U$$ber koordinatenlose Different ialgeometrie = 304
• Discussion concerning coordinate - free differential geometry = 305
• G$$\ddot o$$del 1933i : (See introductory note under G$$\ddot o$$del 193Sa.)
• Zum Entscheidungsproblem des logischen Funktionenkalkiils = 306
• On the decision problem for the functional calculus of logic = 307
• G$$\ddot o$$del 1933 j : Review of Kaczmarz 1933 = 327
• G$$\ddot o$$del 1933k : Review of Lewis 1932 = 329
• G$$\ddot o$$del 193SI : (See introductory note under G$$\ddot o$$del 1932a.), Review of Kalm$$\acute a$$r 1933 = 331
• G$$\ddot o$$del 1933m : Review of Hahn 1932 = 333
• G$$\ddot o$$del 1934 : Introductory note to 1934 / Stephen C. Kleene = 338
• On undecidable propositions of formal mathematical systems = 346
• G$$\ddot o$$del 1934a : Review of Skolem 1933 = 373
• G$$\ddot o$$del 1934b : Introductory note to 1934b / W. V. Quine = 374
• Review of Quine 1933 = 375
• G$$\ddot o$$del 1934c : Introductory note to 1934c and 1935 / Robert L. Vaught = 376
• Review of Skolem 1933a = 379
• G$$\ddot o$$del 1934d : Review of Chen 1933 = 381
• G$$\ddot o$$del 1934e : (See introductory note under G$$\ddot o$$del 1932k.), Review of Church 1933 = 381
• G$$\ddot o$$del 1934f : Review of Notcutt 1934 = 383
• G$$\ddot o$$del 1935 : (See introductory note under G$$\ddot o$$del 1934c.), Review of Skolem 1934 = 385
• G$$\ddot o$$del 1935a : Introductory note to 1935a / W. V. Quine = 386
• Review of Huntington 1934 = 387
• G$$\ddot o$$del 1935b : Review of Carnap 1934 = 389
• G$$\ddot o$$del 1935c : Review of Kalm$$\acute a$$r 1934 = 391
• G$$\ddot o$$del 1936 : Introductory note to 1936 / John W. Dawson, Jr. = 392
• Diskussion sbemerkung = 392
• Discussion remark = 393
• G$$\ddot o$$del 1936a : Introductory note to 1936a / Rohit Parikh = 394
• $$\ddot U$$ber die L$$\ddot a$$nge von Beweisen = 396
• On the length of proofs = 397
• G$$\ddot o$$del 1936b : (See introductory note under G$$\ddot o$$del 1932k.), Review of Church 1935 = 399
• Textual notes = 402
• References = 407
• Index = 461