Главная    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
Предметный указатель
Hempel, Carl      23 28 29 70
Henkin, Leon      215
Henriques, Anna Stafford      [226]
Herbrand, Jacques      78 84 100
Herbrand, Jacques, biographical sketch      323—321
Herbrand, Jacques, correspondence with KG      74—75
Herbrand, Jacques, death      75
Herbrand, Jacques, definition of recursive function      75 99 102
Herbrand, Jacques, dissertation results      57—58 81
Hereditarily ordinal definable sets      171 1
Heyting, Arend, biographical sketch      324
Heyting, Arend, collaboration with KG      83—85 112
Heyting, Arend, correspondence with O.Neugebauer      78
Heyting, Arend, formalizations of intuitionistic mathematics      49n 81—82 88n
Heyting, Arend, lecture at Konigsberg      69
Hilbert Problems, first      120
Hilbert Problems, posing of      115
Hilbert Problems, second      61 120
Hilbert Problems, tenth      238
Hilbert's program      See Hilbert David:
Hilbert, David      75 82 219 321 327
Hilbert, David, address at Konigsberg (1930)      71
Hilbert, David, address to International Congress of Mathematicians (Paris 1900)      47 120—121
Hilbert, David, association with Bernays      51
Hilbert, David, attempted proof of Continuum Hypothesis      120 148
Hilbert, David, axiomatization of geometry      47
Hilbert, David, belief in consistency of arithmetic      61 70
Hilbert, David, biographical sketch      324
Hilbert, David, Bologna address (1928)      37 52
Hilbert, David, KG's criticism of      262
Hilbert, David, lecture to Philosophical Society of Hamburg (1930)      72n
Hilbert, David, opposition to Brouwer      55
Hilbert, David, optimistic view of mathematical progress      48 55 263
Hilbert, David, proof theory      48—50 156 219 269
Hilbert, David, reaction to incompleteness theorems      72
Himmelbauer (professor at University of Vienna)      87
Hitler, Adolf      90 143 [361] 328
Hitler, Adolf, American policy compared to that of      191
Hitler, Adolf, Austrian Anschlub      127
Hitler, Adolf, efforts to develop atom bomb      212
Hitler, Adolf, non-aggression pact with Soviet Union      140n
Hlawka, Edmund      [94]
Hochwald, Adolf      14
Hoffmann, Josef      104
Hollitscher, Walter      125
Hope, Maine      158
Hull, Ralph      [226]
Hume's Principle      17
Hume, David      28
Huntington, E.V.      132
Hurewicz, Witold      25
Husserl, Edmund      107 218—219 240—241
I principii di geometria logicamente esposti (Peano)      46
Immigration policy, U.S.      143—144
Incompleteness theorems      64—68
Induction axiom (Peano)      46
Infinity, axiom of      98 117 119
Inner models of set theory      119
Institute for Advanced Study, founding of      91—97
Introduction to Mathematical Philosophy (Russell)      164
Introduction to Metamathematics (Kleene)      215 324
Intuitionists      19
Jacobson, Nathan      [226]
Jensen, Ronald B.      267n
Jessen, Boerge C.      [226]
Johnston. William      34
Jourdain, Philip      118
Journal of Symbolic Logic      112 139 322
K.-K. Staatsrealgymnasium mit deutscher Unterrichtssprache      See Brno Moravia schools
Kafka, Franz      210
Kampen, Egbertos R. van      See van Kampen Egbertos
Kant, Emmanuel      24 39 [42] [55]
Kant, Emmanuel, conception of time      177
Kant, Emmanuel, ideas developed by Husserl      211
Karman, Tneodore von      See von Karman Theodore
Kaufmann, Felix      73
Kaysen, Carl      244—246 251
Kennan, George      201
Kleene, Stephen C.      134 170 266
Kleene, Stephen C., biographical sketch      324
Kleene, Stephen C., contributions to $\lambda$-definability and recursion theory      99 102 112
Kleene, Stephen C., notetaker For KG's lectures      100
Kleene, Stephen C., student at Princeton      71 98
Kleene, Stephen C., visit with KG in Maine      158
Klein, Felix      323
Kleinere philosophisfhe Schrijten (Leibniz)      107
Klepctaf, Harry      11 17—18
Kochen, Simon      255
Koenig s infinity lemma      58n
Koenig, Julius      120
Koenigsberg, East Prussia      78
Koenigsberg, East Prussia, Second Conference on Epistcmology of the Exact Sciences      60 68—69 71—72 121
Kolmogorov, A.N.      82
Kottler, F.      24
Koyre, Alexander      201
Kraepelin, Emil      85n 262
Kraft, Victor      124
Kreisel, Georg      109 239
Kreisel, Georg, contacts with KG      206—207
Kreisel, Georg, discussions with P.J.Cohen      222
Kreisel, Georg, editing of paper by Spector      207
Kreisel, Georg, extension of KG's functional interpretation      207
Kreisel, Georg, obituary memoir of KG, quoted      32 129 243
Kripke, Saul      83
Kronecker, Leopold      14 322
Kroner, Franz      125
Kummer, Ernst      322
Landau, Edmund      321
Large cardinal axioms, I70m      175
Law of excluded middle      321
Lefschetz, Solomon      97 123
Lehmer, Derrick H.      [226]
Lehrmann, Alfred      30
Leibniz, Gottfried      6 24 28 41
Leibniz, Gottfried, KG's study of      107 137 159 263
Leibniz, Gottfried, manuscripts in Hanover      189—190
Leibniz, Gottfried, utopian conception of logic      39 166
Lense, Josef      24
Lesnicwski, Stanislaw      81
Lewis, C.I.      83
Liar paradox      See antinomy of the Liar
Library of Living Philosophers (Schilpp)      162—163
Lifton, Robert J.      265
Lindenbaum's Lemma      74
Lindenbaum, Adolf      120
Lindstrom Characterization Theorem      [287]
Locke, John      24
Loeb, Martin      83
Logical Foundations of Probability (Carnap)      200 322
Logicism      18
Logische Syntax der Sprache (The Logical Syntax of Language) (Catnap)      86 322
Lorentz, Hendrik      107
Lovett, Robert A.      208
Lowan, Arnold N.      [226]
Lowenheim — Skolem theorem      119 [287] 326
Lowenheim — Skolem Theorem, statement      51
Lowenheim — Skolem Theorem, Zermelo's opposition to      77
Lowenheim, Leopold      51 60
Ludwig II of Bavaria      210
Lukasiewicz, Jan      81
M (film)      181n
Mach, Ernst      26 107
Mae Lane, Saunders      218
Makart, Hans      34
Maltsev, Anatolii I.      215
Marchet, A.      142
Marienbad (Marianske Lazne), Bohemia      7 18 157 [42]
Maritain, Jacques      134—135
Mathematical Analysis of Logic (Boole)      39
Mathematik und Logik (Behmann)      53
Mathematische Analyse des Raumprohlems (Weyl)      107
Mathematische Annalen      120
Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie (Heyting)      85
Mathematische Zeitschrift      120
Maujasevich, Yuri      238
Mayer, Walther      96n
Mayerling affair      210
Mayrhofen, Austria      7
Mazurkiewicz, Stefan      127
McAloon, Kenneth      171
McCarthy, Joseph      190 208
McKinsey, J.C.C      169—170
Mecanique Analytique (Lagrange)      25
Meltzer, Bernard      215—216
Mendelson, Elliott      216
Menger, Carl      325
Menger, Karl      78 82 86 87 140 321
Menger, Karl, academic background      25 27
Menger, Karl, at Notre Dame      122n 135—136
Menger, Karl, biographical sketch      325
Menger, Karl, conflict with Brouwer      27
Menger, Karl, correspondence with KG      91 122—124 126 128 140
Menger, Karl, correspondence with Veblen      91 110—111
Menger, Karl, discussion with Moigenstem      166
Menger, Karl, emigration to America      110
Menger, Karl, intermediary between Veblen and KG      91
Menger, Karl, joint article with Wald and KG      86
Menger, Karl, mathematical colloquium      27 81 83 94
Menger, Karl, meeting with KG in New York      130
Menger, Karl, opposition lo Wittgenstein's views      28
Menger, Karl, reaction to incompleteness theorems      74
Menger, Karl, recollections of KG      31 90 93 107 134—135 137
Metalogik (Carnap)      86
Metaphysische Anfangsgruende der Naturwissenschaft (Kant)      25
Method of forcing      223—224
Meyer, Stefan      29
Milnor, John      221 260 [225]
Mirimanoff, Dimitry      118 121n
Mitrany, David      96n
Mittag-Leffler, Gosta      44
Moericke, Eduard      210
Monatshefte fuer Mathematik und Physik      55 70 83 94 323
Montgomery, Deane      2 202 244 251—252
Moore, Gregory H.      115 117
Morgenstern, Carl      231
Morgenstern, Dorothy      187
Morgenstern, Oskar      163 176 177 200 220 241n 243
Morgenstern, Oskar, citizenship witness for KG      179—180
Morgenstern, Oskar, death      252
Morgenstern, Oskar, efforts to obtain recognition for KG      194—195 234
Morgenstern, Oskar, impressions of Kurt and Adele G.      153—154 158 186—187 195 244—245
Morgenstern, Oskar, in Vicuna Circle      27
Morgenstern, Oskar, interest in Leibniz      166—167 189—190
Morgenstern, Oskar, prostate surgery      231
Morgenstern, Oskar, reports of KG's work      159 178—179 181 235—237 239
Morgenstern, Oskar, visits with KG during health irises      193 237—238 216 250—251
Morgenstern, Oskar, witness to KG's decline      229 231—234 216—218
Morse, Louise      255
Morse, Marston      255
Moser, Koloman      34n 35 104
Mostowski, Andrzej      122
Musil, Robert      12n
Mussolini, Benito      90
Myhill, John      171
Nagel, Ernest      215
Natkin, Marcel      28 101
Naturpkilosophie (Schlick)      53
Neider, Heinrich      125
Nell Kick, Hans      111n
Nernst, Walther      107
Neue Behandlungsmethode der Schizophrenie      112
Neugebauer, Otto      2 78 83—85 163
Neumann. John von      See von Neumann John
Neurath, Olga      26n
Neurath, Otto      26 28—29
Newman, James      215
Niebelungenlied      17
No-counterexample interpretation      206n
Noebehng, Georg      71
Notre Dame, University of      122n 123—124 134—135
O'Hara, John Cardinal      123—121
Ontological argument (Anselm)      39
Ontological proof      See Godel Kurt:
Oppenheim, Paul      176 233 [419]
Oppenheimer, J.Robert      181n 186 191—195 221
Ordinal definable sets      170—171
Organon (Aristotle)      37
P = NP problem      205
Pairing, axiom of      119
Paradox of paranoia      265
Paradoxes      See also antinomy
Paradoxes of set theory      See set-theoretic
Paranoia: A Study in Diagnosis (Fried and Agassi)      229
Paris — Harrington Theorem      267—268
Paris, Dorothy (Brown)      161
Pasch, Moritz      16
Pauli, Wolfgang      109
Pauling, Linus      218
Peano axioms      11n 16 90
Peano, Giuseppe      15
Peine, Charles Sanders      10—41
Pellico, Silvio      7
Penrose, Roger      269
Peterson, Thurman S.      [226]
Philosophische Schriften (Leibniz)      53
Planck, Max      107
Platonism      268—269. See also Goedel philosophical
Poincare, Henri      81 321 321
Poincare, Henri, biographical sketch      325
Poincare, Henri, constructivism      19
Poincare, Henri, critic of set theory      118
Popper, Sir Karl      206
Porkert, Adele Thusnelda      See Goedel Adele
Porkert, Hildegarde (mother-in-law of KG)      31 213—214
Porkert, Josef (father-in-law of KG)      31
Porkert, Liesl (sister-in-law of KG)      212
Post, Emil L.      81 267 [523]
Post, Emil L., anticipation of incompleteness theorems      130—131
Post, Emil L., biographical sketch      325
Post, Emil L., contributions to recursion theory      102
Post, Emil L., correspondence with Church      [321]
Post, Emil L., discovery of ordinal definable sets      171
Post, Emil L., dissertation results      51
Post, Emil L., manic depression      131
Post, Emil L., meeting and correspondence with KG      130—132
Power Set, Axiom of the      117 119
Prey, Adelbert      87
Primitive recursive, class of functions      101
Primitive recursive, informal notion      63
Princeton Bicentennial Conference on Problems of Mathematics      169—170
Princeton University      217—218
Principia Mathematica (Whitehead and Russell)      25 40 53—54 75 81 131 164 217 325—326
Principia Mathematica (Whitehead and Russell), consistency of      98
Principia Mathematica (Whitehead and Russell), incompleteness of      56 68
Principia Mathematica (Whitehead and Russell), KG's reading of      [57]
Principia Mathematica (Whitehead and Russell), theory of types      49
Prior Analytics (Aristotle)      37
Proceedings of the National Academy of Sciences      130 184 224 235—236
Proof theory      See Hilbert David
Propositional logic      10 51 54 136
Przibram, Karl      29 242
Purkersdorf bei Wien, Austria      77—79 104—105
Quine, Willard V.O.      74 132 217
Rabin, Michael      243
Ramsey's theorem      267—268
Ramsey, Frank      81
Rand, Rose      73 125
Rank hierarchy      See cumulative hierarchy
Raubilschek, Anton      154
Raum, Zeit, Malerie (Weyl)      328
1 2 3 4
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте