разрешимая теория


разрешимая теория
теория, для которой существует эффективная процедура (алгоритм), позволяющая о каждом утверждении, сформулированном в терминах этой теории, решить, выводимо оно в теории или нет (см.: Разрешения проблема).
Р. т. являются, напр., элементарная алгебра Буля, теория сложения целых чисел и некоторые иные простые математические теории. Неразрешима арифметика целых чисел (т. е. теория четырех главных арифметических действий над целыми числами) и каждая дедуктивная теория, содержащая арифметику.

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Смотреть что такое "разрешимая теория" в других словарях:

  • Разрешимая теория — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если …   Википедия

  • Теория Галуа — раздел алгебры, изучающий симметрии корней многочленов. Симметрии описываются в терминах группы перестановок корней многочлена (группа уравнения) термин, впервые использованный Эваристом Галуа. Содержание 1 Приложение к классическим задачам …   Википедия

  • РАЗРЕШИМАЯ ГРУППА — группа, обладающая конечным субнормальным рядом с абелевыми факторами (см. Подгрупп ряд). Она также обладает нормальным рядом с абелевыми факторами (такие ряды наз. р а зр е ш и м ы м и). Длина кратчайшего разрешимого ряда группы наз. ее д л и н… …   Математическая энциклопедия

  • Разрешимая группа — В алгебре группа называется разрешимой, если в ней существует цепочка вложенных коммутантов, последний из которых состоит из нейтрального элемента. Цепочка коммутантов определяется так:   это сама группа а , то есть это коммутант предыдущего …   Википедия

  • КОНСТРУКТИВНЫХ МОДЕЛЕЙ ТЕОРИЯ — один из разделов математики, возникший на границе моделей теории, алгебры и теории рекурсивных функций и связанный с изучением вопросов эффективности в моделях и алгебрах. Статья А. И. Мальцева Конструктивные алгебры [1] явилась первой обзорной… …   Математическая энциклопедия

  • ЛИ РАЗРЕШИМАЯ ГРУППА — группа Ли, разрешимая как абстрактная группа. В дальнейшем рассматриваются вещественные или комплексные Ли р. г. Нильпотентная, в частности абелева, группа Ли разрешима. Если F={Vi} полный флаг в конечномерном векторном пространстве V(над или ),… …   Математическая энциклопедия

  • ЛИ РАЗРЕШИМАЯ АЛГЕБРА — алгебра Ли над полем К, удовлетворяющая одному из следующих эквивалентных условий: 1) члены производного ряда для равны {0} при достаточно большом k; 2).существует конечная убывающая цепочка идеалов алгебры таких, что и (т. е. алгебры Ли абелевы) …   Математическая энциклопедия

  • ГАЛУА ТЕОРИЯ — в наиболее общем смысле теория, изучающая те или иные математич. объекты на основе их групп автоморфизмов. Так, напр., возможны Г. т. полей, колец, топологич. пространств и т. п. В более узком смысле под Г. т. понимается Г. т. полей. Возникла эта …   Математическая энциклопедия

  • ЛОКАЛЬНО РАЗРЕШИМАЯ ГРУППА — группа, в к рой каждая конечно порожденная подгруппа разрешима (см. Разрешимая группа). Класс Л. р. г. замкнут относительно взятия подгрупп и гомоморфных образов, но не замкнут относительно расширений. Периодическая Л. р. г. локально конечна. Лит …   Математическая энциклопедия

  • ОБОБЩЕННО РАЗРЕШИМАЯ ГРУППА — группа одного из обобщенно разрешимых классов групп. Класс групп наз. обобщенно разрешимым, если он содержит все разрешимые группы и пересекается с классом конечных групп по классу всех конечных разрешимых групп. Рассматривалось довольно много… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.