Определимость и вычислимость
Ершов Ю.Л.
Книга открывает учрежденную в 1995 г. Сибирским фондом алгебры и логики математическую книжную серию под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation.
В книге дается новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами; новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Включены также избранные темы, посвященные Σ-определимости, динамической логике, Σ-предикатам конечных типов.
Для научных работников - специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.
В книге дается новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами; новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Включены также избранные темы, посвященные Σ-определимости, динамической логике, Σ-предикатам конечных типов.
Для научных работников - специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.
Categorias:
Ano:
1996
Editora:
Научная книга
Idioma:
russian
Páginas:
300
ISBN 10:
5881190076
ISBN 13:
9785881190071
Série:
Сибирская школа алгебры и логики
Arquivo:
DJVU, 2.69 MB
IPFS:
,
russian, 1996