аксиоматизируемость

См. также в других словарях:

• Теория моделей — Теория моделей  раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория …   Википедия

• Моделей теория — Теория моделей  это раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория… …   Википедия

• КАРНАП — (Саrnар) Рудольф (1891 1970) аналитический философ и логик, один из лидеров Венского кружка, ведущий представитель логического позитивизма. Приват доцент Венского (1926 1931), проф. Германского (Прага, 1931 1935) ун тов; после эмиграции в США… …   Философская энциклопедия

• МЕТАЯЗЫК — (от греч. meta после, за, позади) язык, средствами которого исследуются и описываются свойства языка, называемого предметным, или объектным. Напр., когда мы начинаем изучать иностранный язык, знакомиться с его лексикой, с его грамматической… …   Философская энциклопедия

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

• АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… …   Математическая энциклопедия

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

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

• НЕКЛАССИЧЕСКАЯ ТЕОРИЯ МОДЕЛЕЙ — теория моделей, отличающаяся от классической тем, что либо формальный язык, с к рым она имеет дело, отличен от языка первого порядка либо логика, лежащая в ее основе, отлична от классической (двузначной). В дальнейшем, если не оговорено противное …   Математическая энциклопедия

• Гёдель, Курт — Курт Гёдель нем. Kurt Friedrich Gödel …   Википедия

• Клини, Стивен Коул — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Стивен Коул Клини (правильнее  Клейни, англ. Stephen Cole Kle …   Википедия