RUSSIAN

Определимость и вычислимость

By Ершов Ю.Л.

Book information

Publisher
Научная книга
Year
1996
ISBN
5-88119-007-6
Language
russian
Format
DJVU
Filesize
3 MB (2818785 bytes)
Series
Сибирская школа алгебры и логики
Pages
300\300
Topic
Mathematics Logic
Library
Envoy
DPI
600
Time added
2015-11-28 18:15:48

Description

Книга открывает учрежденную в 1995 г. Сибирским фондом алгебры и логики математическую книжную серию под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. В книге дается новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами; новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Включены также избранные темы, посвященные Σ-определимости, динамической логике, Σ-предикатам конечных типов. Для научных работников - специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.

Similar books