разрешимая формула
Смотреть что такое "разрешимая формула" в других словарях:
РАЗРЕШИМАЯ ФОРМУЛА — (в данной системе) такая формула Аданной формальной системы, что либо она доказуема в этой системе (т. е. является теоремой), либо опровержима (т. е. доказуемо ее отрицание ). Если всякая замкнутая формула данной формальной системы разрешима в… … Математическая энциклопедия
Разрешимая теория — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если … Википедия
ГАЛУА ТЕОРИЯ — в наиболее общем смысле теория, изучающая те или иные математич. объекты на основе их групп автоморфизмов. Так, напр., возможны Г. т. полей, колец, топологич. пространств и т. п. В более узком смысле под Г. т. понимается Г. т. полей. Возникла эта … Математическая энциклопедия
ПРЕДСТАВЛЕНИЕ АЛГЕБРЫ ЛИ — в векторном пространстве V гомоморфизм r алгебры Ли Lнад полем kв алгебру Ли всех линейных преобразований пространства Vнад k. Два представления и наз. эквивалентными (или изоморфными), если существует изоморфизм , для к рого a(r1 (l) v1).r2(l)a… … Математическая энциклопедия
БЕСКОНЕЧНОМЕРНОЕ ПРЕДСТАВЛЕНИЕ — группы Ли представление группы Ли в бесконечномерном векторном пространстве. Теория представлений групп Ли есть часть общей теории, представлений то пологич. групп. Специфика групп Ли позволяет использовать в этой теории средства анализа (в… … Математическая энциклопедия