Collected works

목차 (Table of Contents)

• CONTENTS
• Volume = ⅰ
• G$$\ddot o$$del's life and work / by Solomon Feferman = 1
• A G$$\ddot o$$del chronology / by John W. Dawson, Jr. = 37
• G$$\ddot o$$del 1929: Introductory note to 1929, 193O and 193Oa, / by Burton Dreben ; Jean van Heijenoort = 44
• $$\ddot U$$ber die Vollst$$\ddot a$$ndigkeit 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 1989.) 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, / by Stephen C. Kleene = 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 S$$\ddot a$$tze der Principia mathematica und verwandter Systeme I = 144
• On formally undecidable propositions of Principia mathematica and related systems I = 145
• G$$\ddot o$$del 1931a: Introductory note to 1931a, 1932e, f and g, / by John W. Dawson, Jr. = 196
• Diskussion zur Grundlegung der Mathematik = 200
• Discussion on providing a foundation for mathematics = 201
• G$$\ddot o$$det 1931b: Review of Neder 1931 = 205
• G$$\ddot o$$del 1931c: Introductory note to 1931c, by 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 ant Scholz 1928 = 219
• G$$\ddot o$$ 1931g: Review of von juhos 1930 = 219
• G$$\ddot o$$del 1932: Introductory note to 1932 / by 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, / by 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 / by 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 1931 = 253
• G$$\ddot o$$del 1932J: Review of Klein 1932 = 253
• G$$\ddot o$$del 1932k: Introductory note to 1932k, 1934e and 1936b, / by Stephen C. Kleene = 256
• Review of Church 1932 = 257
• G$$\ddot o$$del 1932l: 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 1933 / by W. V. Quine = 266
• [$$\ddot U$$ber die Parryschen Axiome] = 266
• [On Parry's axioms] = 267
• G$$\ddot o$$del 1933a: Introductory note to 1933a / by 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 1933b: Introductory note to 1933b, c, d, g and h / by 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 / by A. S. Troelstra = 282
• Zur intuitionistischen Arithmetik und Zahlentheorie = 286
• On intuitionistic arithmetic and number theory = 287
• G$$\ddot o$$del 1933f: Introductory note to 1933f / by A. S. Troelstra = 296
• Eine Interpretation des intuitionistischen 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 1933h: (See introductory note under G$$\ddot o$$del 1933b.) Diskussion $$\ddot u$$ber koordinatenlose Differentialgeometrir = 304
• Discussion concerning coordinate-free differential geometry = 305
• G$$\ddot o$$del 1933i: (See introductory note under G$$\ddot o$$del 1932a.) Zum Entscheidungsproblem des logischen Funktionenkalk$$\ddot u$$ls = 306
• On the decision problem for the functional calculus of logic = 307
• G$$\ddot o$$del 1933J: Review of Kaczmarz 1932 = 327
• G$$\ddot o$$del 1933k: Review of Lewis 1932 = 329
• G$$\ddot o$$del 1933l: (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 / by 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 / by W. V. Quine = 374
• Review of Quine 1933 = 375
• G$$\ddot o$$del 1934c: Introductory note to 1934c and 1935, / by 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 / by 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 / by John W. Dawson, Jr. = 392
• Diskussionsbemerkung = 392
• Discussion remark = 393
• G$$\ddot o$$del 1936a: Introductory note to 1936a / by 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