|
|
Авторизация |
|
|
Поиск по указателям |
|
|
|
|
|
|
|
|
|
|
Dawson Jh.W. — Logical Dilemmas: The Life and Work of Kurt Godel |
|
|
Предметный указатель |
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 -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
|
|
|
Реклама |
|
|
|