|
|
 |
| Поиск по указателям |
|
|
 |
|
| Реклама |
|
|
|
|
|
|
|
| Dawson Jh.W. — Logical Dilemmas: The Life and Work of Kurt Godel |
|
|
|
| Предметный указатель |
Hempel, Carl 23, 28, 29, 70,176
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: proof theory
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 R.
Kant, Emmanuel 24,28, 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,266
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,230
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,130
Menger, Karl, discussion with Moigenstem 166
Menger, Karl, emigration to America 110,121
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—182, 181,192, 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,78,104n
Notre Dame, University of 122n, 123—124, 134—135
O'Hara, John Cardinal 123—121
Ontological argument (Anselm) 39
Ontological proof See Godel, Kurt: works
Oppenheim, Paul 176, 233, [419]
Oppenheimer, J.Robert 181n, 186,190, 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,163
Pauling, Linus 218
Peano axioms 11n, 16, 90
Peano, Giuseppe 15,165
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 ,Kurt: philosophical views
Poincare, Henri 81, 321, 321
Poincare, Henri, biographical sketch 325
Poincare, Henri, constructivism 19
Poincare, Henri, critic of set theory 118,174
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,167
Porkert, Liesl (sister-in-law of KG) 212
Post, Emil L. 81,263, 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,54
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
|
|
|
| Реклама |
|
|
|
|
|
|
О проекте