1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Kurt Godel: CollectedWorks. Vol. 2.Publications1938-1974 Feferman SolomonDawson John W.Kleene Stephen C.1990 год

Kurt Godel: Collected Works. Vol. 2. Publications 1938-1974
монография

Полный текстЧитать в библиотеке
База данных: Каталог библиотеки СФУ (ББК22.1  G 58)
Библиографическое описание: Kurt Godel: Collected Works. - New York : Oxford University Press , 1990 - . - Текст : непосредственный. + Текст : электронный. Vol. 2 : Publications 1938-1974 / ed. S. Feferman [et al.]. - 1990. - XIV, 407 p. : 1 л. портр. - Index: p.393-407. - ISBN 0-19-503972-6 : 298 р.
Аннотация: Kurt Godel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of unusual cosmological models for Einstein's equations, in theory permitting time travel into the past. The Collected Works is a landmark resource that draws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Godel's publications in full (both in original and translation), and the third volume featured a wide selection of unpublished articles and lecture texts found in Godel's Nachlass. These long-awaited final two volumes contain Godel's correspondence of logical, philosophical, and scientific interest. Volume IV covers A to G, with H to Z in volume V; in addition, Volume V contains a full inventory of Godel's Nachlass.; L All volumes include introductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of material originally written in German (some transcribed from the Gabelsberger shorthand), and a complete bibliography of all works cited. Kurt Godel: Collected Works is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. The only comprehensive edition of Godel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science and all others who wish to be acquainted with one of the great minds of the twentieth century.
Год издания: 1990
Редакторы, составители и др.: Feferman Solomon (редактор (англ.)); Dawson John W. (редактор (англ.)); Kleene Stephen C. (редактор (англ.)); Moore Gregory H. (редактор (англ.)); Solovay Robert M. (редактор (англ.)); Heijenoort Jean van (редактор (англ.))
Издательство: Oxford University Press, New York
Количество экземпляров:
  • Абонемент научной литературы (пр. Свободный, 79, Б1-14): свободно 1 из 1 экземпляров

Цифровые и тематические книжные коллекции издания

Все тома или выпуски издания

Похожие публикации

Collected Works. Vol.3 Goedel Kurt1995 год

Collected Works. Vol. 3 : сборник научных трудов

  • Goedel Kurt
  • 1995 год
Collected Works. Vol.4. Correspondence A-G Goedel Kurt2006 год

Collected Works. Vol. 4. Correspondence A-G : монография

  • Goedel Kurt
  • 2006 год
Collected Works. Vol.5. Correspondence H-Z Goedel Kurt2006 год

Collected Works. Vol. 5. Correspondence H-Z : монография

  • Goedel Kurt
  • 2006 год

Прикладные логические методы и модели : монография

  • Ганичева А. В.
  • 2020 год
Collected Works. Vol.1. Publications,1929-1936 Goedel Kurt1986 год

Collected Works. Vol. 1. Publications, 1929-1936 : сборник научных трудов

  • Goedel Kurt
  • 1986 год

Исследование правил вывода в нестандартных логиках : автореферат диссертации ... кандидата физико-математических наук

  • Федоришин Богдан Романович
  • 2002 год

Исследование допустимых правил вывода в нестандартных суперинтуиционистских и модальных транзитивных логиках :…

  • Руцкий Алексей Николаевич
  • 2002 год
Хаос и структура Лосев Алексей Федорович1997 год

Хаос и структура : монография

  • Лосев Алексей Федорович
  • 1997 год

Показать ещё

Приложение семантики Крипке к исследованию правил вывода : автореферат дис. ... канд. физ.-мат. наук

  • Безгачева Юлия Викторовна
  • 1998 год

Исследование правил вывода в модальных логиках, расширяющих S4 : автореферат дис. ... канд. физ.-мат. наук

  • Кияткин Владимир Ростиславович
  • 1999 год

Математическая логика : учебное пособие

  • Ершов Юрий Леонидович и др.
  • 2005 год

Математическая логика и теория алгоритмов : учебная программа

  • Моисеенкова Татьяна Владимировна
  • 2025 год

Введение в специальность "Математика" : учебное пособие

  • Цих Август Карлович
  • 2002 год

Математическая логика и теория алгоритмов : учебное пособие

  • Богульская Нина Александровна и др.
  • 2011 год
Дискретная математика Лелонд О. В.Тренина М. А.2018 год

Дискретная математика : электронное учебно-методическое пособие

  • Лелонд О. В. и др.
  • 2018 год

Теория логического вывода : учебное пособие

  • Ганичев А. В.
  • 2019 год