Collected Works: Volume I: Publications 1929-1936

Contents......Page 18
Volume I......Page 22
Gödel's life and work......Page 24
A Gödel chronology......Page 64
Gödel 1930a: (See introductory note under Gödel 1929.)......Page 71
Über die Vollständigkeit des Logikkalküls......Page 87
On the completeness of the calculus of logic......Page 88
Die Vollständigkeit der Axiome des logischen Funktionenkalküls......Page 129
The completeness of the axioms of the functional calculus of logic......Page 130
Über die Vollständigkeit des Logikkalküls......Page 151
On the completeness of the calculus of logic......Page 152
Gödel 1932b: (See introductory note under Gödel 1930b.)......Page 153
Einige metamathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheit......Page 167
Some metamathematical results on completeness and consistency......Page 168
Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I......Page 171
On formally undecidable propositions of Principia mathematica and related systems I......Page 172
Gödel 1932g: (See introductory note under Gödel 1931a.)......Page 223
Diskussion zur Grundlegung der Mathematik......Page 227
Discussion on providing a foundation for mathematics......Page 228
Gödel 1931b: Review of Neder 1931......Page 232
Gödel 1931c: Introductory note to 1931c......Page 235
Review of Hilbert 1931......Page 240
Gödel 1931d: Review of Betsch 1926......Page 242
Gödel 1931e: Review of Becker 1930......Page 244
Gödel 1931g: Review of von Juhos 1930......Page 246
Zum intuitionistischen Aussagenkalkül......Page 249
On the intuitionistic prepositional calculus......Page 250
Gödel 1933l: (See introductory note under Gödel 1932a.)......Page 253
Ein Spezialfall des Entscheidungsproblems der theoretischen Logik......Page 257
A special case of the decision problem for theoretical logic......Page 258
Über Vollständigkeit und Widerspruchsfreiheit......Page 261
On completeness and consistency......Page 262
Eine Eigenschaft der Realisierungen des Aussagenkalküls......Page 265
A property of the realizations of the propositional calculus......Page 266
Gödel 1932d: Review of Skolem 1931......Page 268
Review of Carnap 1931......Page 270
Review of Heyting 1931......Page 274
Review of von Neumann 1931......Page 276
Gödel 1932h: Review of Klein 1931......Page 278
Gödel 1932j: Review of Klein 1932......Page 280
Gödel 1936b: (See introductory note under Gödel 1932k.)......Page 283
Review of Church 1932......Page 284
Gödel 1932l: Review of Kalmár 1932......Page 286
Gödel 1932m: Review of Huntington 1932......Page 288
Gödel 1932n: Review of Skolem 1932......Page 290
Gödel 1932o: Review of Dingler 1931......Page 292
[Über die Parryschen Axiome]......Page 293
[On Parry's axioms]......Page 294
Über Unabhängigkeitsbeweise im Aussagenkalkül......Page 295
On independence proofs in the propositional calculus......Page 296
Gödel 1933h: (See introductory note under Gödel 1933b.)......Page 299
Über die metrische Einbettbarkeit der Quadrupel des R[sub(3)] in Kugelflächen......Page 303
On the isometric embeddability of quadruples of points of R[sub(3)] in the surface of a sphere......Page 304
Über die Waldsche Axiomatik des Zwischenbegriffes......Page 305
On Wald's axiomatization of the notion of betweenness......Page 306
Zur Axiomatik der elementargeometrischen Verknüpfungsrelationen......Page 307
On the axiomatization of the relations of connection in elementary geometry......Page 308
Gödel 1933e: Introductory note to 1933e......Page 309
Zur intuitionistischen Arithmetik und Zahlentheorie......Page 313
On intuitionistic arithmetic and number theory......Page 314
Gödel 1933f: Introductory note to 1933f......Page 323
Eine Interpretation des intuitionistischen Aussagenkalküls......Page 327
An interpretation of the intuitionistic propositional calculus......Page 328
Bemerkung über projektive Abbildungen......Page 329
Remark concerning projective mappings......Page 330
Diskussion über koordinatenlose Differentialgeometrie......Page 331
Discussion concerning coordinate-free differential geometry......Page 332
Zum Entscheidungsproblem des logischen Funktionenkalküls......Page 333
On the decision problem for the functional calculus of logic......Page 334
Gödel 1933j: Review of Kaczmarz 1932......Page 354
Gödel 1933k: Review of Lewis 1932......Page 356
Review of Kalmár 1933......Page 358
Gödel 1933m: Review of Hahn 1932......Page 360
Gödel 1934: Introductory note to 1934......Page 365
On undecidable propositions of formal mathematical systems......Page 373
Gödel 1934a: Review of Skolem 1933......Page 400
Gödel 1934b: Introductory note to 1934b......Page 401
Review of Quine 1933......Page 402
Gödel 1935: (See introductory note under Gödel 1934c.)......Page 403
Review of Skolem 1933a......Page 406
Review of Church 1933......Page 408
Gödel 1934f: Review of Notcutt 1934......Page 410
Review of Skolem 1934......Page 412
Gödel 1935a: Introductory note to 1935a......Page 413
Review of Huntington 1934......Page 414
Gödel 1935b: Review of Carnap 1934......Page 416
Gödel 1935c: Review of Kalmár 1934......Page 418
Diskussionsbemerkung......Page 419
Discussion remark......Page 420
Gödel 1936a: Introductory note to 1936a......Page 421
Über die Länge von Beweisen......Page 423
On the length of proofs......Page 424
Review of Church 1935......Page 426
Textual notes......Page 429
References......Page 434
B......Page 488
D......Page 489
F......Page 490
G......Page 491
H......Page 492
K......Page 494
M......Page 495
N......Page 496
R......Page 497
S......Page 498
T......Page 499
W......Page 500
Z......Page 501