Определимость и вычислимость
Ершов Ю.Л.
Книга открывает учрежденную в 1995 г. Сибирским фондом алгебры и логики математическую книжную серию под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation.
В книге дается новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами; новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Включены также избранные темы, посвященные Σ-определимости, динамической логике, Σ-предикатам конечных типов.
Для научных работников - специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.
В книге дается новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами; новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Включены также избранные темы, посвященные Σ-определимости, динамической логике, Σ-предикатам конечных типов.
Для научных работников - специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.
Kategori:
Tahun:
1996
Penerbit:
Научная книга
Bahasa:
russian
Halaman:
300
ISBN 10:
5881190076
ISBN 13:
9785881190071
Nama seri:
Сибирская школа алгебры и логики
File:
DJVU, 2.69 MB
IPFS:
,
russian, 1996