Главная    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
Предметный указатель
Rautenberg, Wolfgang      225
Redlich, Friedrich      3 4 167
Reflections on Kurt Goedel (Wang)      210
Reichenbach, Hans      69 176 322
Reid, Constance      72
Rekawinkel, Austria      79 111
Remarks on the Foundations of Mathematics (Wittgenstein)      77
Replacement, axiom of      118—119
Restricted functional calculus      50
Restriction, Axiom of      118
Richard's antinomy      42 100
Richard, Jules      42
Riemann, Bernhard      25
Robinson, Abraham      215 230 244 [541]
Rockefeller Institute for Medical Research      95
Rockefeller University      243
Roosevelt, Franklin D.      169
Rosenberg, Julius and Ethel      209
Rosinski, Herbert      154
Rosser, J.Barkley      99 100 102 112 134
Rothherg, Dr. Harvey      [577]
Rousseau. Jean-Jacques      21
Rudolf, Crown Prince      210
Ruse, Harold S.      [226
Russell's antinomy      12 76
Russell's paradox      12 76
Russell, Bertrand      47 176 217 262 321 323
Russell, Bertrand, antipathy toward      131
Russell, Bertrand, axiomatization of propositional logic      136
Russell, Bertrand, biographical sketch      325—326
Russell, Bertrand, champion of Frege's work      12
Russell, Bertrand, criticism of Zermelo's set theory      118
Russell, Bertrand, discovery of antinomy      42
Russell, Bertrand, logicism      48
Russell, Bertrand, mistaking of KG for a Jew      117n 163
Russell, Bertrand, quoted      163—164
Russell, Bertrand, reaction to incompleteness theorems      77
Russell, Bertrand, theory of types      19 136
Russell, Bertrand, visitor in Princeton      163
Salkover, Meyer      [226]
Sanatorium Westend, Purkersdorf bei Wien      78—79 101—106
Schilpp, Paul Arthur      182 218
Schimanovieh, Werner DePauli-      88 111n 257
Schlick Circle      See Vienna Circle
Schlick, Moritz      29 87
Schlick, Moritz, founding of Circle      26
Schlick, Moritz, murder      111 124
Schlick, Moritz, personality      28
Schlick, Moritz, seminar on Russell      25
Schlick, Moritz, writings      125
Schoenberg, Isaac J.      [226]
Schopenhauer, Arthur      21
Schrecker, Paul      190
Schroeder, Ernst      40 88
Schroedinger, Erwin      107
Schrutka, Lothar      24
Schur, Professor      72
Schuschnigg, Kurt      103
Schwarzschild, Martin      184n
Schwinger, Julian      194—195
Scott, Dana      171 215n 224 233 239 243
Seelig, Carl      176
Selberg, Atle      160n 202 221 244
Separation, axiom of      116—119 121
Set-theoretic paradoxes      42 46 76
Shadows of the Mind (Penrose)      269
Shakespeare, William      210
Shepherdson, John      222
Shorthand systems (German)      19
Sieg, Wilfried      102
Siegel, Carl Ludwig      163 184n
Siegel, Carl Ludwig, assisted by Emergency Committee      151
Siegel, Carl Ludwig, opposed to KG's promotion      194 202
Simon, Yves      135
Skolem Functions      51 326
Skolem normal form      326
Skolem paradox      51 119 222 326
Skolem, Thorall      53 60 84 119
Skolem, Thorall, biographical sketch      326
Skolem, Thorall, contributions to set theory      118 120
Skolem, Thorall, satisfiability theorems      51 57—58 94
Slezak, Leo      [7]
Smullyan, Raymond      269
Snow White (Disney film)      181n
Society of German Scientists and Physicians      68
Solicitation of essay from KG on Carnap      200—201
Solicitation of essay from KG on relativity theory      173 175 177—178 183 262n 264
Solicitation of essay from KG on Russell      162
Solovay, Robert M.      83 224 236—237
Sommerfeld, Arnold      107
Spector, Clifford      207 244n
Speed-up theorems      108
Spilberk (fortress)      7—8
Spinoza, Baruch      6 24
Srbik, Heinrich      87
Stalin, Joseph      140n 262n
Stein, Howard      185
Stetigkeit und irrationate Zaklen (Dedekind)      43
Stevenson, Adlai      208
Straus, Ernst      176 208—209
Strauss, Lewis L.      194—195
Sudan, Gabriel      101
Sudeten Germans      15 167
Syllogisms      37—38
Szilard, Leo      242
Taft, Robert      262h
Takeuti, Gaisi      207 236—237
Tarski, Alfred      15n 84 215 267
Tarski, Alfred, address at the Princeton Bicentennial Conference      169
Tarski, Alfred, biographical sketch      326
Tarski, Alfred, concept of truth in formalized languages      59
Tarski, Alfred, influence on Carnap and KG      63
Tarski, Alfred, lectures to Menger's colloquium      62—63
Tarski, Alfred, results on cardinal arithmetic      120
Tarski, Alfred, sent Hawed manuscript by KG      235—236
Tauber, Alfred      24
Taussky(-Todd), Olga      25 [53]
Taussky(-Todd), Olga, recollections of KG      31 91 97
Taussky(-Todd), Olga, recollections of Wilhelm Wirtinger      88
Taussky(-Todd), Olga, recollections of Zermelo      75—76
The Autobiography of Bertrand Russell      147n 163
The Emperor's New Mind (Penrose)      269
The Lady or the Tiger? (Smullyan)      269
The Philosophy of Bertrand Russell (Schilpp)      162
The Philosophy of Rudolf Carnap (Schilpp)      200—201
The Undecidable (Davis)      100 170 216
The World of Mathematics (Newman)      215n
The World of Yesterday (Zweig)      17 34
Theorie (for algebraischen Zahlkoerper (Hilbert)      824
Theorie analytique de la chaleur (Fourier)      42
Theory of Games and Economic Befiavior (von Neumann and Morgenstern)      161
Theory of types      49
Thirring, Hans      29 87 242 [54]
Thomas, Tracy Y.      [226]
Todd, John Arthur      [226]
Torrance, Charles C.      [226]
Tractatus Logico-Philosophic us (Wittgenstein)      26
Trigonometric series      42—43
Truman, Harry S.      190 208—209 262n
Truth, formal notion of      59
Tucker, Albert      155
Turing, Alan M.      75n 113 131 197 267 [470] [523] [525] [587]
Turing, Alan M., biographical sketch      327
Turing, Alan M., definition of computable function      101
Turing, Alan M., Hodges' biography of      269
Turing, Alan M., KG's disagreement with      232
Types, theory of      49 136
Ueher die Beeinflussung einfacher psychischer Vorgaenge dutch einige Arzneimittel (Kraepelin)      85n
Union, axiom of      116—117 119
Universities: American, English, German (A.Flexner)      95
Uryssohn, Pavel      325
Vaihinger, Hans      165n
van Heijenoort, Jean      216—218 226
Van Kampcn, Egbertos K.      [226]
Veblen, Oswald      100 123 137 141 145 147 176 181n
Veblen, Oswald, and Emergency Committee in Aid of Displaced Foreign Scholars      154
Veblen, Oswald, appointed professor at IAS      95—96
Veblen, Oswald, biographical sketch      327
Veblen, Oswald, correspondence with KG      83 91—92 104 106 109—110 124 127—128 143 155 157
Veblen, Oswald, correspondence with Menger      91 110—111
Veblen, Oswald, correspondence with von Neumann      159
Veblen, Oswald, death      203
Veblen, Oswald, guest at Menger's colloquium      82
Velden am Worthersee, Austria      196
Vetsera, Mary      210
Vicious-circle principle      164
Vienna Circle      21 26—29 31 33
Vienna, Austria, coffeehouses      31—32
Vienna, Austria, conditions after World War I      21—22
Vienna, University of, mathematical faculty      21
Vienna, University of, political disruptions at      59 93
Vienna, University of, structure and curriculum      22—23
Vietoris, Leopold      21
Vogehveide, Walter von der      17
von Karman, Theodore      197
von Mises, Richard      26n
von Neumann, John      72 74 78 88n 124 163 176n 184n 234 321 [594]
von Neumann, John, actions on KG's behalf      142—141 159 201
von Neumann, John, advisor to government      201
von Neumann, John, appointed professor at IAS      95—96
von Neumann, John, biographical sketch      327
von Neumann, John, computer work      204—205 213 [470]
von Neumann, John, consistency proof      73
von Neumann, John, contributions to set theory      119 120 132 139
von Neumann, John, correspondence with KG      70 91—92 109 123 137 140 205
von Neumann, John, death      203—204
von Neumann, John, discussions with KG in Vienna      108 126
von Neumann, John, Gibbs lecturer      197
von Neumann, John, IAS lectures on quantum theory      92 107
von Neumann, John, interest in incompleteness theorems      70—71
von Neumann, John, lecture at Koenigsberg      69
von Neumann, John, role in Kinstein Award lo KG      194—119 5
Vopfinka, Petr      171
Vorlesungen ueber die Algebra tier Logik (Schroder)      40 53
Vorlesungen ueber Zahlentheorie (Dirichlet)      25
Vorlesungen zur Phaanomenologie ties Bewusstseins (Husserl)      107
Wagner, Richard      204h
Wagner-Jauregg, Julius      29 105
Waismann, Friedrich      26 28 68
Wald, Abraham      86 107 122n 192
Wang, Mao      6n 54 58 75n 207 218 230
Wang, Mao, assistance to KG during final years      251—253
Wang, Mao, efforts to obtain honorary degree for KG      243
Wang, Mao, philosophical discussions with KG      239—212 250
Wang, Mao, speaker at memorial service      255
Wang, Sian-jun      [291]
Warren, Avra M.      143—145
Was shut und was sollen die Zahlen ? (Dedekind)      45
Weibel, Peter      111n
Weierstrass, Karl      42 322
Weil, Andre      255
Weisskopf, Edith      125
Weisskopf, Victor      125
Weizmann, Run      154
Well-ordering principle      47—48 115
Weyl, Hermann      184n
Weyl, Hermann, appointed professor at IAS      96
Weyl, Hermann, biographical sketch      327
Weyl, Hermann, constructivism      49
Weyl, Hermann, criticisms of set theory      118
Weyl, Hermann, Gibbs lecturer      197
Weyl, Hermann, member of Einstein Award committee      194
Weyl, Hermann, on structure of German university system      22—23 86—87
Weyl, Hermann, opposition to KG's promotion      202
Whitehead, Alfred North      49 326
Whitemore, Hugh      269
Whitney, Hassler      255
Wiener Kreis      See Vienna Circle
Wiener Werkstatte      8 104
Wilder, Raymond L.      [226]
Wilks, Samuel S.      132
Wirtinger, Wilhelm      24 87 88
Wissenschaftliche Weltauffassung: Der Wiener Kreis      29
Wittgenstein, Ludwig      28 62 77 84 [124]
Woolf, Harry      255
Wright, J.P.      184—185
Wunsch untl Pflicht in Aufbau des menschlichen Lebens (Frenkel and Weisskopf)      12 5
Zentralblatt fuer Mathematik und ihre Grenzgebiete      83
Zermelo's Axiom of Choice: Its Origins, Development, and Influence (Moore)      115
Zermelo, Ernst      89 90 321
Zermelo, Ernst, axiomatization of set theory      49 115—120
Zermelo, Ernst, biographical sketch      328
Zermelo, Ernst, criticism of incompleteness theorems      76—77
Zermelo, Ernst, encounter with KG at Bad Elster      75—76 119
Zermelo, Ernst, well-ordering theorem      48 115
Zilsel, Edgar      124—125 206
Zippin, Leo      [226]
Zuckerkandl, Bertha      104n
Zuckerkandl, Viktor      104
Zweig, Stefan      17 31 34 21
1 2 3 4
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте