Вид документа : Однотомное издание Шифр издания : 519/Е 80 Автор(ы) : Ершов Ю. Л. Заглавие : Определимость и вычислимость . -2-е изд.,испр.и доп. Выходные данные : М.: Экономика, 2000 Колич.характеристики :318 с. ; 20см ISBN, Цена 5282020211: 62.00 р. ГРНТИ : 27.41 УДК : 519.6 ББК : 22.19 Предметные рубрики: Математика-- Вычислительная математика Ключевые слова (''Своб.индексиров.''): математика--вычислительная математика--определимость--вычислимость--ограниченные кванторы--теория допустимых множеств--теорема гёделя--теорема о неполноте--теорема ганди--динамическая логика Аннотация: Новое доказательство теоремы Геделя о неполноте,основанное на систематическом использовании формул с ограничеснными кванторами.Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами.Для научных работников,аспирантов,студентов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А.