|
|
 |
| Ïîèñê ïî óêàçàòåëÿì |
|
|
 |
|
| Ðåêëàìà |
|
|
|
|
|
|
|
| Dawson Jh.W. — Logical Dilemmas: The Life and Work of Kurt Godel |
|
|
|
| Ïðåäìåòíûé óêàçàòåëü |
Frankl, Paul 154
Frederick, Louise 160, 162
Frege, Gottlob 326
Frege, Gottlob, biographical sketch 322
Frege, Gottlob, contributions to logic 41—42
Frege, Gottlob, logicism 46, 48
Frege, Gottlob, teacher of Catnap 27
Frenkel, Else 125
Friedherg, Richard 215n
From Mathematics to Philosophy (Wang) 239
Fuld, Mrs. Felix (Bamberger) 94—95
Fuller, Loiec 34n, 35
Furtwaengler, Philipp 87, 88
Furtwaengler, Philipp, biographical sketch 323
Furtwaengler, Philipp, paralysis [47]
Furtwaengler, Philipp, teacher of KG 23—24, 55
Gauss, Carl Friedrich 267, 324
Geibel, Emanuel 17
Generalized Continuum Hypothesis, formulation by Hausdorff 15
Generalized Continuum Hypothesis, independence of 126, 156, 159, 192, 222, 224—225
Generalized Continuum Hypothesis, relative consistency of 119, 123, 126, 133—134
Gentzen, Gerhard 45n, 82n, 113, 125—126, 136, 147
German — Soviet non-aggression pact 140n, 149n
Geschichte tier Geisteskrankheiten 112
Gesellschaft fuer empirische Philosophic 68
Gibbsjosiah Willard 197n
Gilbert, Felix 154
Givant, Steve 15n
Glinka, Elizabeth, beneficiary of estate 259
Glinka, Elizabeth, companion and nurse to Adele G. 149, 188, 248—249, 252, 257
Goedel family, dwellings in Brno 4, 8, 167, 257
Goedel family, effects of World War I on 12
Goedel family, forebears 3
Goedel family, German nationalism 12, [38]
Goedel family, interest in theater 32
Goedel family, meaning of name 3
Goedel family, pets 8, 161—162
Goedel family, standard of living 6, 12,60
Goedel family, travels 32
Goedel numbering See arithmetization of syntax
Goedel, Adele (nee Porkert), background 34
Goedel, Adele (nee Porkert), behavior 153—154, 187, 195, 213
Goedel, Adele (nee Porkert), care of KG 111, 181, 193—194, 234, 249, 255
Goedel, Adele (nee Porkert), concern for parents and siblings 167, 177—178, 212—213
Goedel, Adele (nee Porkert), death and burial 258—259
Goedel, Adele (nee Porkert), desire for child 161—162
Goedel, Adele (nee Porkert), disposition of KG's estate 257
Goedel, Adele (nee Porkert), effects of KG's death on 255—258
Goedel, Adele (nee Porkert), emigration to America 118—151
Goedel, Adele (nee Porkert), granting of U.S. citizenship 179—180
Goedel, Adele (nee Porkert), health problems 163, 168, 201, 230—231, 246, 248, 250—253
Goedel, Adele (nee Porkert), improvements lo home in Princeton 188
Goedel, Adele (nee Porkert), marriage to KG 129—130
Goedel, Adele (nee Porkert), physical features 34, 150
Goedel, Adele (nee Porkert), rescuer of KG 77n, 147, 154
Goedel, Adele (nee Porkert), sale of home 258
Goedel, Adele (nee Porkert), travels 177—178, 212—213, 220, 227, 230
Goedel, Adele (nee Porkert), unhappiness in Princeton 161,167—168
Goedel, Adele (nee Porkert), volunteer work 162
Goedel, Adele (nee Porkert), will 257
Goedel, Anna Josefa, great aunt of KG 3, 7, 8, 33, 126n
Goedel, August Josef, great uncle of KG 3,7
Goedel, Carl, great-great-grandfather of KG 3
Goedel, Escher, Bach: An Eternal Golden Braid (Hofstadter) 269
Goedel, Josef, grandfather of KG 3
Goedel, Josef, great-grandfather of KG 3
Goedel, Karl, cousin of KG's father 130
Goedel, Kurt, academic career, aided by Emergency Committee in Aid of Displaced Foreign Scholars 154
Goedel, Kurt, academic career, appointed permanent member of the IAS 60, 81, 86—89
Goedel, Kurt, academic career, primary schooling 9—10
Goedel, Kurt, academic career, promoted to Professor 201—203
Goedel, Kurt, academic career, quest to become Dozent ueuer Ordnung 142,155
Goedel, Kurt, academic career, retirement 229,250
Goedel, Kurt, academic career, secondary schooling 12—19
Goedel, Kurt, academic career, student at t Diversity of Vienna 21—25, 27
Goedel, Kurt, academic career, visiting scholar at Noire Dame 134—137
Goedel, Kurt, academic career, visiting scholar at the IAS 83, 91—92, 97—98, 100—102, 109—110, 127, 130, 132, 137, 154, 156
Goedel, Kurt, academic career, withdrawal of Lehrbefugnh 128, 111—142, 144
Goedel, Kurt, correspondence, wiih Abraham Flexner 98, 103, 108- 109, 128, 137
Goedel, Kurt, correspondence, with Alonzo Church 98—99
Goedel, Kurt, correspondence, with Arend Heyting 83—85
Goedel, Kurt, correspondence, with Emil Post 130—132
Goedel, Kurt, correspondence, with Ernst Zermelo 76—77
Goedel, Kurt, correspondence, with Georg Kreisel 206—207, 230
Goedel, Kurt, correspondence, with Jacques Herhrand 71—75
Goedel, Kurt, correspondence, with John von Neumann 70, 91—92, 109, 123, 137, 140, 205
Goedel, Kurt, correspondence, with Karl Menger 91, 122—124, 126, 128, 140
Goedel, Kurt, correspondence, with mother and brother 167—169, 209—212, 231, 257n
Goedel, Kurt, correspondence, with Oswald Veblen 83, 91—92, 104, 106, 109—110, 124, 127—128, 143, 155, 157
Goedel, Kurt, correspondence, with Paul Bernays 73—74, 206—207, 226, 230—231, 239, 247
Goedel, Kurt, correspondence, with Paul Finsler 89—90
Goedel, Kurt, correspondence, with Paul J.Cohen 223—224, 226
Goedel, Kurt, correspondence, with William Boone 238
Goedel, Kurt, cultural interests, interest in modern art 201
Goedel, Kurt, cultural interests, liking tor theatre, opera, and films 32, 204, 209, 258
Goedel, Kurt, cultural interests, musical preferences 204
Goedel, Kurt, cultural interests, taste in literature 209—210
Goedel, Kurt, finances 128, 146, 154, 177, 186, 256—258
Goedel, Kurt, health problems physical, appendectomy 14n
Goedel, Kurt, health problems physical, hypothermia 247
Goedel, Kurt, health problems physical, malnutrition 168, 181, 220, 232, 234, 249, 253
Goedel, Kurt, health problems physical, meditations, deleterious effects of 111, 245, 247, [535]
Goedel, Kurt, health problems physical, myopia 19
Goedel, Kurt, health problems physical, other 97, 134
Goedel, Kurt, health problems physical, prostate crisis 216
Goedel, Kurt, health problems physical, rheumatic fever 10—11
Goedel, Kurt, health problems physical, stomach and bowel problems 168, 193, 196
Goedel, Kurt, honors, D.Litt, (Yak) 195
Goedel, Kurt, honors, Einstein award 194—195
Goedel, Kurt, honors, election to American Philosophical Society 218
Goedel, Kurt, honors, election to National Academy of Sciences 184—185
Goedel, Kurt, honors, election to Royal Society, British Academy and Institut de France 227
Goedel, Kurt, honors, National Medal of Science 248
Goedel, Kurt, honors, refusal of Austrian honors 226—227
Goedel, Kurt, honors, Sc.D.(Amherst) 226
Goedel, Kurt, honors, Sc.D.(Harvard) 195, 208
Goedel, Kurt, honors, Sc.D.(Princeton, not conferred) 247—248
Goedel, Kurt, honors, Sc.D.(Rockefeller) 243
Goedel, Kurt, lectures, at Bad EJsler (1931) 75
Goedel, Kurt, lectures, at Gottingen (1939) 148
Goedel, Kurt, lectures, at Koenigsberg (1930) 63—69
Goedel, Kurt, lectures, at the IAS (1934) 100—102
Goedel, Kurt, lectures, at the IAS (1938) 127, 132—134
Goedel, Kurt, lectures, at the IAS (1949) 184
Goedel, Kurt, lectures, at the IAS and Brown I University (1940) 156
Goedel, Kurt, lectures, at the IAS and Yale (1941) 156—157
Goedel, Kurt, lectures, at the Princeton Bicentennial Conference 102, 169—170, 173
Goedel, Kurt, lectures, at the University of Notre Dame (courses on logic and set theory 1939) 127, 135—136
Goedel, Kurt, lectures, at the University of Vienna (course on axiomatic set theory 1937) 122—123
Goedel, Kurt, lectures, at the University of Vienna (course on foundations of arithmetic 1933) 93
Goedel, Kurt, lectures, at the University of Vienna (course on topics in logic 1935) 108
Goedel, Kurt, lectures, at Williamsburg (1938) 132
Goedel, Kurt, lectures, lo the International Congress of Mathematicians (1950) 189, 192
Goedel, Kurt, lectures, probationary lecture 88
Goedel, Kurt, lectures, to Malm's seminar (1932) 81
Goedel, Kurt, lectures, to Menger's colloquium (1931/32) 74, 81—82
Goedel, Kurt, lectures, to Schlick Circle (1931) 73
Goedel, Kurt, lectures, to the American Mathematical Society (Gibbs Lecture 1951) 196—200, 264—265, 268
Goedel, Kurt, lectures, to the Mathematical Association of America (1933) 99—100
Goedel, Kurt, lectures, to the Philosophical Society of New York University (1934) 102—103
Goedel, Kurt, lectures, to the Washington, D.C., Academy of Sciences (1934) 103
Goedel, Kurt, lectures, to Zilsel's circle (1938) 125—126
Goedel, Kurt, mental, depression 104—106, 110—111, 193, 201, 230, 232
Goedel, Kurt, mental, hypochondria 11, 168, 201, 230, 245, 265
Goedel, Kurt, mental, other 6, 234
Goedel, Kurt, mental, paranoia 111—112, 158—159, 230, 233, 238, 241n, 213n, 249, 251, 265, [382]
Goedel, Kurt, personal and legal affairs, American citizenship 150—151, 155, 179—181
Goedel, Kurt, personal and legal affairs, Austrian citizenship 33, 155
Goedel, Kurt, personal and legal affairs, birth 1
Goedel, Kurt, personal and legal affairs, Czechoslovakian citizenship 21
| Goedel, Kurt, personal and legal affairs, death 253
Goedel, Kurt, personal and legal affairs, disposition of estate 257, 259—260
Goedel, Kurt, personal and legal affairs, examinations for military service 111,163
Goedel, Kurt, personal and legal affairs, immigration difficulties 139, 142—146, 148, 154—155
Goedel, Kurt, personal and legal affairs, marriage 129—130
Goedel, Kurt, personal and legal affairs, registration as enemy alien 155
Goedel, Kurt, personal and legal affairs, will 257
Goedel, Kurt, philosophical views, determinism 2, 176, 183, 209, 242, 261—262
Goedel, Kurt, philosophical views, disagreement with the Vienna Circle 26, 200—201
Goedel, Kurt, philosophical views, interest in Kant 177
Goedel, Kurt, philosophical views, interest in paranormal phenomena 29—30, 153, 165
Goedel, Kurt, philosophical views, optimism 263
Goedel, Kurt, philosophical views, physical features 150, 181
Goedel, Kurt, philosophical views, Platonism 100, 164, 174—175, 199, 264, 14041
Goedel, Kurt, philosophical views, rationalism 1—2,261
Goedel, Kurt, philosophical views, religious beliefs 6,210—212, [12], [81]
Goedel, Kurt, philosophical views, study of Husserl 218—219
Goedel, Kurt, philosophical views, study of Leibniz 39, 107, 137, 159, 166—167, 189—190
Goedel, Kurt, political views, criticism of American policies 168- 169, 190—191, 208—209
Goedel, Kurt, political views, detachment 59—60, 90—91,135, 140, 146, 242
Goedel, Kurt, political views, perspectives on foreign affairs 209—210, 245
Goedel, Kurt, residences, apartments in Princeton 98, 109, 154, 158, 161, 163, 167—168
Goedel, Kurt, residences, apartments in Vienna 21,33, 111n, 126, 146n
Goedel, Kurt, residences, birthplace 4—5
Goedel, Kurt, residences, home in Princeton 185—186, 188
Goedel, Kurt, residences, Morningside Hotel, Notre Dame 134
Goedel, Kurt, residences, Peacock Inn, Princeton 130
Goedel, Kurt, residences, villa in Brno 8
Goedel, Kurt, travels, emigration to America (1910) 149—151
Goedel, Kurt, travels, first visit to the IAS (1933/34) 97
Goedel, Kurt, travels, first visit to the IAS (1933/34), return 103
Goedel, Kurt, travels, second visit to the IAS (1935) 109
Goedel, Kurt, travels, second visit to the IAS (1935), return 110
Goedel, Kurt, travels, third visit to the IAS (1938) 128
Goedel, Kurt, travels, third visit to the IAS (1938), return 139
Goedel, Kurt, travels, vacations in Maine and New Jersey (1941-45, 1951) 157—158, 160,163, 196
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), "Gibbs lecture" (1951) 75n, 219
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), "Is mathematics syntax ol language?" 200—201
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), "On completeness and consistency" (1932c) [167]
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), "On the length of proofs" (1936b) 108
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), "On undecidable propositions of formal mathematical systems" (1934a) 100—101
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), "Remarks at the Princeton Bicentennial Conference" (19-16) 102,169—170,173,219
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), "Russell's mathematical logic" (1944) 162,164, 225
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), "The modern development of the foundatioins of mathematics in the light of philosophy" 218—219
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), "What is Cantor's continuum problem?" (/Wand 1964) 164, 174—175, 219,225
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), 'dissertation (1929) 33, 53—59
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), 'English reusion of 1958 226, 231, 237, 239
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), 'note criticizing Turing's view of mind (1972) 75,232
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), 'papers on stales of functions 235—237
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), abstract of incompleteness results (1930b) 70
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), abstracts of set-theoretic consistency proofs (1938, 1939a and 1939b) 130, 132, 133, 136
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), Collected Works x, 57, 100, 125, 156, 178, 200, 201, 218, 236, 237, 239, 269
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), completeness paper (1930a) 54, 56, 60—61
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), contributions to Menger's colloquium 81—82
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), Diabetica paper (1958) 125, 203, 206—207
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), incompleteness paper (1931a) 65—68,70, 71,121,215—217 (English translations)
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), intuitionistic interpretation of classical arithmetic (1933a) 82
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), joint paper with Menger and Wald 86
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), lecture at Zilsel's (1938) 125—126
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), minor papers in geometry 82
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), monograph on set-theoretic consistency results (1940) 121, 137,155
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), ontological proof 165,237,266
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), papers on cosmology (1919a, 1919b, 1952) and posthumously published drafts) 177—179,181—185,201 (Gentian translation)
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), postscript to paper by Spector 207
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), provability interpretation of modal logic (1933b) 82—83
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), realizations of the propositional calculus (1932d) 74
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), remark on mathematical economics (1936a) 106
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), reviews of others' works 83
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), special cases of the decision problem (1926 and 1933c) 93—91
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred),"On the intuitionisiic prepositional calculus" (1932a) 87
Goedel, Luise (-Aloisia), grandmother of KG 3—4
Goedel, Marianne, mother of KG, correspondence with KG 167, 209—212,257n
Goedel, Marianne, mother of KG, death 212, 227
Goedel, Marianne, mother of KG, household 6
Goedel, Marianne, mother of KG, marriage 1
Goedel, Marianne, mother of KG, move to Vienna 33
Goedel, Marianne, mother of KG, prejudice against Slavs 15
Goedel, Marianne, mother of KG, relations with Adele 34, 212—213
Goedel, Marianne, mother of KG, visits to Princeton 213—214, 220
Goedel, Marianne, mother of KG, wartime residence in Brno 126,167
Goedel, Rudolf August, father of KG 22,32,33
Goedel, Rudolf August, father of KG, attitude toward Adele 34
Goedel, Rudolf August, father of KG, building of villa in Brno 8
Goedel, Rudolf August, father of KG, death 33
Goedel, Rudolf August, father of KG, financial dealings 12
Goedel, Rudolf August, father of KG, marriage 1
Goedel, Rudolf August, father of KG, relations with sons 6
Goedel, Rudolf August, father of KG, youth 3—4
Goedel, Rudolf, brother of KG 12, 18, 32, 112, 126n, 227,231
Goedel, Rudolf, brother of KG, advised of KG's breakdown 110
Goedel, Rudolf, brother of KG, birth 4
Goedel, Rudolf, brother of KG, childhood 6—9
Goedel, Rudolf, brother of KG, disposition of parents' property 257
Goedel, Rudolf, brother of KG, life during World War II 167
Goedel, Rudolf, brother of KG, medical studies at University of Vienna 21—22
Goedel, Rudolf, brother of KG, recollections of KG 10,11,24n, 33, 77—79,97n, 111n, 162
Goedel, Rudolf, brother of KG, tare of mother 228
Goedel, Rudolf, brother of KG, travels alter graduation 60
Goedel, Rudolf, brother of KG, visits to Princeton 213—211,220,231
Goedel, Rudolf, brother of KG, witness at KG's wedding 130
Goethe, Johann Wolfgang von 18, 210
Gogol, Nikolai 210
Goheen, Robert F. 221
Goldbach's conjecture 73n
Goldfarb, Warren 94
Goldstine, Herman 71
Golling bei Salzburg, Austria 111
Goltinger Nachrichten 120
Gomperz, Heinrich 24, 104, 124, 125
Gonseth, Ferdinand 206
Grandjean, Burke D. 6,18
Grelling, Kurt 68
Grinzing, Austria 126, 188n
Gruenthal, Dr. Max 158—159
Grundgesetze der Arithmetik (Frege) 41, 42, 47, 323
Grundlagen der Arithmetik (Frege) 53, 323
Grundlagen der Geometric (Hilbert) 47, 324
Grundlagen einer allgemeinen Mannigfaltigkeitslehre (Cantor) 43
Grundlngen der Mathematik (Hilbert and Bernays) 109, 321, 324
Grundzuge der theoretischen Loigik (Hilbert and Ackermann) 37,53, 54—56, 58, 324
Gruppentheorie und Quantenmechanik (Weyl) 328
Hahn, Hans 24, 59, 86, 142
Hahn, Hans, academic mentor of KG 51—55,87
Hahn, Hans, biographical sketch 323
Hahn, Hans, contributions to mathematics and philosophy 25
Hahn, Hans, death 103—104, 124
Hahn, Hans, difficulty understanding KG's incompleteness proof 73
Hahn, Hans, interest in parapsychology 29
Hahn, Hans, opposition to Wittgenstein's view of language 28
Hahn, Hans, role in Vienna Circle 26
Hahn, Hans, seminar at university of Vienna 25, 78, 81, 83
Hahn, Hans, speaker at Konigsberg 68—69
Halmos, Paul 154
Halting problem 101n
Handbuch der Osterreichischen Sanitaetsgeseize und Verordnungen 112
Handschuh, Guslav (maternal grandfather of KG) 4
Handschuh, Marianne See Goedel, Marianne
Handschuh, Pauline (aunt of KG) 8, 126n
Hardy, G.H. 197
Hasse, Helmut 147
Hausdorff, Felix 45, 120
Hausner, Henry 242
Haydn, Franz Joseph 204
Hedlund, Gustav A. [226]
Heegard, Paul 110
Hegel, G.W.F. 24
Heidegger, Martin 93
Heijenoort, Jean van See van Heijenoort, Jean
Helly, Eduard 24
Helmholtz, Hermann 166
|
|
|
| Ðåêëàìà |
|
|
|
|
|
|
Î ïðîåêòå