Springer, 2022. — 499 p. — (Springer Biographies). — ISBN 303111308X. During his lifetime, Kurt Gödel was not well known outside the professional world of mathematicians, philosophers and theoretical physicists. Early in his career, for his doctoral thesis and then for his Habilitation (Dr.Sci.), he wrote earthshaking articles on the completeness and provability of...
W.W. Norton & Co., 2021. — 368 p. The first major biography written for a general audience of the logician and mathematician whose Incompleteness Theorems helped launch a modern scientific revolution. Nearly a hundred years after its publication, Kurt Gödel’s famous proof that every mathematical system must contain propositions that are true — yet never provable — continues to...
Massachusetts: A К Peters Wellesley. – 1977. – 376 p. Every biographer is confronted with certain questions whose answers depend upon the nature of the particular life to be examined: What is it that sets it apart from others and makes it worth writing about? What sources ale there to draw upon? To whom should one’s account be addressed? What should its central focus be? In the...
W. W. Norton & Company, 2005. - 296 pp. — (Great Discoveries). — ISBN: 0-393-05169-2. Kurt Gödel is often held up as an intellectual revolutionary whose incompleteness theorem helped tear down the notion that there was anything certain about the universe. Philosophy professor, novelist, and MacArthur Fellow Rebecca Goldstein reinterprets the evidence and restores to Gödel's...
W.W.Norton & Company, 2005. — 296 p. — (Great Discoveries). — ISBN: 0-393-05169-2, 0-393-32760-4, 978-0-393-24245-4. Kurt Gödel is often held up as an intellectual revolutionary whose incompleteness theorem helped tear down the notion that there was anything certain about the universe. Philosophy professor, novelist, and MacArthur Fellow Rebecca Goldstein reinterprets the...
W.W.Norton & Company, 2005. — 296 p. — (Great Discoveries). — ISBN: 0-393-05169-2, 0-393-32760-4, 978-0-393-24245-4. Kurt Gödel is often held up as an intellectual revolutionary whose incompleteness theorem helped tear down the notion that there was anything certain about the universe. Philosophy professor, novelist, and MacArthur Fellow Rebecca Goldstein reinterprets the...
Transl. from Japanese by Mariko Yasugi, Passell Nicholas. — World Scientific, 2003. — xviii, 135 p. — ISBN: 981-238-279-8. This volume is a translation of the book Gödel , written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book comprises a memoir of Kurt Gödel, Takeuti's personal recollections, and his interpretation of Gödel's attitudes...
Успехи математических наук, 1988, т.43, вып.2(260) стр. 175-216, 3(261) стр. 203-238.
Содержание.
Жизнь и карьера.
Семья.
Детство и юность в Брюнне и Брно (1906—1923).
Вена и две поездки в Принстон (1923—1938).
Разрыв связей с Австрией (1938—1939).
Первые 30 лет в Новом Свете (1939—1969).
Последние годы (1969—1978).
Аксиоматизация и формализация.
Выделение позитивного:...
Москва; Ижевск: Институт компьютерных исследований, 2003. — 144 с. Курт Фридрих Гёдель (нем. Kurt Friedrich Gödel; 28 апреля 1906, Брюнн, Австро-Венгрия — 14 января 1978, Принстон, Нью-Джерси) — австрийский логик, математик и философ математики, наиболее известный сформулированной и доказанной им теоремой о неполноте.
Комментарии