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

мат. axiomatizable theor

Большой англо-русский и русско-английский словарь. 2001.

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

  • множеств теория —         МНОЖЕСТВ ТЕОРИЯ учение о множествах, зародившееся в середине 19 в. и изучающее свойства множеств произвольной природы. Создание М. т. было подготовлено работами математиков, ставивших целью разработку оснований анализа. Первые работы в… …   Энциклопедия эпистемологии и философии науки

  • ЭЛЕМЕНТАРНАЯ ТЕОРИЯ — совокупность замкнутых формул логики предикатов 1 й ступени. Э. т. Th(К) класса К алгебраических систем сигнатуры наз. совокупность всех замкнутых формул логики предикатов 1 й ступени сигнатуры истинных на всех системах из класса К. Если класс… …   Математическая энциклопедия

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

  • Гёдель — Гёдель, Курт Курт Гёдель нем. Kurt Friedrich Gödel 200px Курт Гёдель Дата рождения: 28 апреля 1906(1906 04 28) Место рождения …   Википедия

  • Теорема Гёделя о неполноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о неполноте и вторая теорема Гёделя[ 1]  две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой… …   Википедия

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

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

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