- ЛЁВЕНХЕЙМА - СКОЛЕМА ТЕОРЕМА
- см. Гёделя теорема о полноте.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.
ЛЁВЕНХЕЙМА - СКОЛЕМА ТЕОРЕМА
Смотреть что такое "ЛЁВЕНХЕЙМА - СКОЛЕМА ТЕОРЕМА" в других словарях:
СКОЛЕМА ФУНКЦИЯ — функция Скулема, сколемовская функция, понятие логики предикатов. Если А( х 1 ,. . . , х n, у).предикатная формула от индивидных переменных х 1,... , xn, у, области изменения к рых суть множества Х 1, . . . , Х п, Y соответственно, то функция f … Математическая энциклопедия
СКОЛЕМА ПАРАДОКС — следствие теоремы Лёвенхейма Сколема (см. Гёделя теорема о полноте), состоящее в том, что всякая непротиворечивая формальная аксиоматич. теория, заданная счетным семейством аксиом, выполнима в счетной области. В частности, если предположить… … Математическая энциклопедия
ГЁДЕЛЯ ТЕОРЕМА О ПОЛНОТЕ — утверждение о полноте классического исчисления предикатов: всякая предикатная формула, истинная на всех моделях, выводима (по формальным правилам классич. исчисления предикатов). Г. т. о п. показывает, что множество выводимых формул этого… … Математическая энциклопедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
МОДЕЛЕЙ ТЕОРИЯ — раздел математической логики, изучающий математические модели. Начало М. т. относится к 30 м гг. 20 в., когда были доказаны следующие две основные теоремы. Теорема 1 (теорема Гёделя Мальцева). Если каждая конечная подсовокупность совокупности… … Математическая энциклопедия
Метатеорема — (от Мета... теорема относительно объектов (понятий, определений, аксиом, доказательств, правил вывода, теорем и др.) какой либо научной теории (т. н. предметной, или объектной, теории), доказываемая средствами метатеории (См. Метатеория)… … Большая советская энциклопедия
Моделей теория — раздел математики, возникший при применении методов математической логики в алгебре. Ко 2 й половине 20 в. М. т. оформилась в самостоятельную дисциплину, методы и результаты которой находят применение как в алгебре, так и в др. разделах… … Большая советская энциклопедия
ТЕОРЕТИКО-МНОЖЕСТВЕННАЯ ЛОГИКА — (теоретико множественная логика п р е д и к а т о в) – логика, трактуемая с т. зр. теории множеств. К Т. м. л. в широком с м ы с л е можно отнести любые интерпретации логич. исчислений, в основу к рых положено объемное, экстенсиональное понимание … Философская энциклопедия
НЕПРОТИВОРЕЧИВОСТЬ — отсутствие в системе идей логического противоречия, т.е. некоторого утверждения и его отрицания. Н. постулируется логическим противоречия законом и входит в ядро тех требований, которые предъявляются к рациональному мышлению (см. РАЦИОНАЛЬНОСТЬ ) … Философская энциклопедия
