|
|
 |
| Àâòîðèçàöèÿ |
|
|
|
| Ïîèñê ïî óêàçàòåëÿì |
|
|
|
|
|
|
|
 |
|
|
|
| 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
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
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
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
Goedel, Kurt, academic career, retirement 229
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- 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
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
Goedel, Kurt, philosophical views, religious beliefs 6 [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 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 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 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
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), "Russell's mathematical logic" (1944) 162 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
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
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 71 (English
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
Goedel, Kurt, works (papers first published posthumously in Goedel's Collected Works are starred), ontological proof 165
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 (Gentian
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
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
Goedel, Rudolf August, father of KG 22
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
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 33 77—79 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
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
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 54—56 58 324
Gruppentheorie und Quantenmechanik (Weyl) 328
Hahn, Hans 24 59 86 142
Hahn, Hans, academic mentor of KG 51—55
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
|
|
|
| Ðåêëàìà |
|
|
|
|
|
Î ïðîåêòå