Теорема Гёделя
Book information
Description
Книга посвящена теореме Геделя о неполноте. Эта теорема была изложена в 1931 году в небольшой статье К.Геделя, которая впоследствии сыграла решающую роль в истории логики и математики. Авторы настоящей книги, не пытаясь дать общий очерк идей и методов математической логики, строят изложение вокруг центральных, с их точки зрения, проблем этой науки - проблем непротиворечивости и полноты. Доказательство того факта, что для достаточно богатых математических теорий требования эти несовместимы, и есть то поразительное открытие Геделя, которому посвящена книга. Для специалистов по математической логике, студентов и аспирантов, а также всех заинтересованных читателей.
Similar books
Введение в теорию множеств и математическую логику
Збірник вправ і задач з математичної логіки
DJVU
Логические теории временных контекстов (Временная логика)
DJVU
Введение в математическую логику и роды структур
Вокруг теоремы Геделя
Математическая логика и теория алгоритмов
Введение в математическую логику
DOCX