Электронные словари и энциклопедии: Большой энциклопедический словарь, Словарь Даля, Словарь Ожегова и т.д.

Философский словарь
"ТЕОРЕМА"

Главная - Философский словарь - буква Т - ТЕОРЕМА
Философский словарь
Искать!

(греч. theoreo — рассматриваю, обдумываю) — в совр. формальной логике и математике любое предложение нек-рой строго построенной дедуктивной (напр., аксиоматической) теории, к-рое доказано (выведено) на основе применения к исходным положениям этой теории (аксиомам) и (или) к уже доказанным предложениям теории допустимых для этой теории правил вывода. В синтаксических системах класс Т. эквивалентен классу выводимых формул; в семантических системах класс аксиом и Т. совпадает с классом истинных предложений данной теории. Различение между аксиомами и Т. условно: одни и те же предложения нек-рой теории в одних случаях могут быть приняты в качестве аксиом, в др.— доказываться как Т. В силу этого к Т. часто относят и аксиомы. Т., к-рые формулируются относительно нек-рой теории (обычно формальной или формализованной) и доказываются содержательными средствами метатеории этой теории, называются метатеоремами (напр., Т. о дедукции).



Поделитесь с друзьями:


Вы можете поставить ссылку на это слово:

будет выглядеть так: ТЕОРЕМА


будет выглядеть так: Что такое ТЕОРЕМА

Наиболее востребованные слова:    ВОДОПОТРЕБЛЕНИЯ НОРМА / Большой энциклопедический словарь. Сельское хозяйство
   Прованс / Энциклопедический словарь
   Флудить / Словарь компьютерного жаргона
   Русский Алфавит / Энциклопедический словарь
   Политическая Карта Мира / Энциклопедический словарь
   СЕКВЕСТИРОВАНИЕ / Бухгалтерский словарь
   Аспект / Словарь Даля
   Группы Крови / Энциклопедический словарь
   АВИЗО / Бухгалтерский словарь
   Рентабельность / Бизнес словарь
   Алфавит / Энциклопедический словарь
   Гетеро... / Сексологический словарь
   Копрофилия / Толковый словарь психиатрических терминов
   Фонетический / Словарь Даля
   Географические Карты / Энциклопедический словарь
   Диверсификация / Бизнес словарь
   Личности структура по Платонову / Толковый словарь психиатрических терминов
   Реализм / Энциклопедический словарь
   Римские Цифры / Энциклопедический словарь
   Интерпретация / Словарь логики
   Логика / Словарь логики
   Синонимы / Энциклопедический словарь
   СЧЕТ-ФАКТУРА / Бухгалтерский словарь
   Части Речи / Энциклопедический словарь
   Филолог / Энциклопедический словарь
2010-2013. Толковый словарь DicDic. Словарь - ТЕОРЕМА - Философский словарь - Толковый словарь DICDIC