Теорема Гёделя

Э. Нагель, Дж. Р. Ньюмен

Тип: DJVU
Категория: НАУКА И УЧЕБА

Скачать

Купить

Вниманию читателя предлагается книга известного американского логика Э.Нагеля и опытного популяризатора науки Дж.Р.Ньюмена, посвященная теореме Геделя о неполноте. Эта теорема была изложена в небольшой статье К.Геделя, которая впоследствии сыграла решающую роль в истории логики и математики. Авторы настоящей книги, не пытаясь дать общий очерк идей и методов математической логики, строят изложение вокруг центральных, с их точки зрения, проблем этой науки - проблем непротиворечивости и полноты. Доказательство того факта, что для достаточно богатых математических теорий требования эти несовместимы, и есть то поразительное открытие Геделя, которому посвящена книга. Не требуя от читателя по существу никаких предварительных познаний, авторы с успехом объясняют ему сущность одной из самых замечательных и глубоких теорем математики и логики.
Для специалистов по математической логике, студентов и аспирантов, а также всех заинтересованных читателей.

Другие файлы:

Теорема о неподвижной точке
Рекурсивные функции (от позднелатинского recursio - возвращение), название, закрепившееся за одним из наиболее распространённых вариантов уточнения об...

Математика ХХ века. Взгляд из Петербурга
Сборник содержит статьи известных ученых о некоторых выдающихся достижениях математики XX века и об их последующем развитии и влиянии. Выбор тем и акц...

Сложное движение точки
Исследование движения точки по отношению к двум системам координат. Абсолютная и относительная величины вектора. Теорема о сложении скоростей. Теорема...

Теорема Геделя
Курт Гёдель – крупнейший специалист по математической логике – родился 28 апреля 1906 г. В Брюнне (ныне г. Брно, Чехия). Окончил Венский университет,...

Теорема Котельникова и поперечники в среднем
Теорема отсчетов Котельникова-Шеннона и ее обобщения. Постановки задач теории приближения. Сигналы с дискретным временем. Характеристики наилучших при...