Новые поступления (книга в стадии обработки) Ершов, Ю. Л. Определимость и вычислимость [Текст] / Ю. Л. Ершов. - 2-е изд.,испр.и доп. - М. : Экономика, 2000. - 318 с. ; 20см. - ISBN 5282020211 : 62.00 р.
Рубрики: Математика--Вычислительная математика Кл.слова (ненормированные): математика -- вычислительная математика -- определимость -- вычислимость -- ограниченные кванторы -- теория допустимых множеств -- теорема Гёделя -- теорема о неполноте -- теорема Ганди -- динамическая логика Аннотация: Новое доказательство теоремы Геделя о неполноте,основанное на систематическом использовании формул с ограничеснными кванторами.Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами.Для научных работников,аспирантов,студентов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |