Определимость и вычислимость
Год выпуска: 1996
Автор: Ершов Ю.Л.
Жанр: Монография
Издательство: Новосибирск, Научная книга; М., Экономика
Серия: Сибирская школа алгебры и логики
ISBN: 5-88119-007-6 (русск.), 0-306-11039-3 (англ.)
Формат: DjVu
Качество: Отсканированные страницы + OCR
Количество страниц: 148 - файл. Сканировано разворотами по 2 страницы.
Описание: Книга открывает учрежденную в 1995 г. Сибирским фондом алгебры и логики математическую книжную серию «Сибирская школа алгебры и логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation.
Новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Избранные темы, посвященные Е-определимости, динамической логике, Е-предикатам конечных типов и т.д.
Для научных работников — специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.
Язык: Русский
Примеры страниц (кликабельно)
Опубликовано группой
