Ãëàâíàÿ    Ex Libris    Êíèãè    Æóðíàëû    Ñòàòüè    Ñåðèè    Êàòàëîã    Wanted    Çàãðóçêà    ÕóäËèò    Ñïðàâêà    Ïîèñê ïî èíäåêñàì    Ïîèñê    Ôîðóì   
blank
Àâòîðèçàöèÿ

       
blank
Ïîèñê ïî óêàçàòåëÿì

blank
blank
blank
Êðàñîòà
blank
Dawson Jh.W. — Logical Dilemmas: The Life and Work of Kurt Godel
Dawson Jh.W. — Logical Dilemmas: The Life and Work of Kurt Godel



Îáñóäèòå êíèãó íà íàó÷íîì ôîðóìå



Íàøëè îïå÷àòêó?
Âûäåëèòå åå ìûøêîé è íàæìèòå Ctrl+Enter


Íàçâàíèå: Logical Dilemmas: The Life and Work of Kurt Godel

Àâòîð: Dawson Jh.W.

Àííîòàöèÿ:

This is a paperbound reprint of a 1997 work. Gödel held that the universe is rationally organized and can be comprehended by the human mind, that the universe is causally deterministic, that there is a conceptual and mental realm apart from the physical world, and that understanding must come from introspection. He also held a legion of irrational fears, one of which, his fear of eating, finally killed him. Dawson (mathematics, Pennsylvania State U.), who catalogued Gödel's papers and co-edited the Collected Works, prepared this biography for a mathematically sophisticated audience


ßçûê: en

Ðóáðèêà: Ìàòåìàòèêà/

Ñòàòóñ ïðåäìåòíîãî óêàçàòåëÿ: Ãîòîâ óêàçàòåëü ñ íîìåðàìè ñòðàíèö

ed2k: ed2k stats

Ãîä èçäàíèÿ: 2005

Êîëè÷åñòâî ñòðàíèö: 376

Äîáàâëåíà â êàòàëîã: 17.06.2008

Îïåðàöèè: Ïîëîæèòü íà ïîëêó | Ñêîïèðîâàòü ññûëêó äëÿ ôîðóìà | Ñêîïèðîâàòü ID
blank
Ïðåäìåòíûé óêàçàòåëü
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
1 2 3 4
blank
Ðåêëàìà
blank
blank
HR
@Mail.ru
       © Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2024
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01! | Valid CSS! Î ïðîåêòå