ТЕОРЕМА


ТЕОРЕМА
ТЕОРЕМА
(от греч. theoreo – рассматриваю)
научное положение.

Философский энциклопедический словарь. 2010.

ТЕОРЕ́МА
(греч. ϑεώρημα, от ϑεωρέω – рассматриваю, исследую) – доказанное предложение нек-рой дедуктивной теории. В содержательных (неформальных) теориях Т. доказываются весьма приблизительно фиксируемыми (чаще – молчаливо подразумеваемыми) средствами "обычной логики" и часто противопоставляются "не требующим доказательства" (принимаемым за истинные в силу своей "очевидности") аксиомам. Впрочем, если даже точный перечень аксиом и не фиксируется, то в (полном) доказательстве каждой Т. все же проводится различение посылок на доказанные ранее Т. и аксиомы; фактически статус последних может специально и не оговариваться – этой цели может служить к.-л. косвенная мотивировка применяемой аргументации или даже сам факт умолчания о причинах, позволяющих пользоваться данной посылкой. Такой, напр., характер имеют Т. в большей части учебных руководств по различным разделам (неаксиоматизированной) математики.
Если же данная дисциплина строится на аксиоматич. основе (хотя бы и в содержат. форме), то (нелогические) аксиомы явно перечисляются, как, напр., при изложении различных разделов абстрактной алгебры или топологии, а из нематематич. дисциплин – теоретич. механики или термодинамики.
В формальных аксиоматич. системах (исчислениях) Т. наз. доказуемая формула, т.е. формула, выводимая по правилам вывода данной системы из ее аксиом. При этом аксиомы теории также причисляются к Т. (доказательство каждой такой Т. состоит из одной формулы – из нее самой); это вполне естеств. соглашение оправдывается не только индуктивным характером определения понятия доказательства (см. раздел Рекурсивные и индуктивные определения в ст. Определение), но и тем обстоятельством, что один и тот же класс доказуемых формул может задаваться различными системами аксиом, и в ряде случаев выбор определенных формул (фиксированной теории) в качестве аксиом диктуется чисто технич. соображениями, так что противопоставление к.-л. аксиомы и (дедуктивно) эквивалентной ей Т. оказывается весьма относительным.
Иногда Т., играющие вспомогат. роль и нужные лишь для доказательства к.-л. другой Т., наз. леммами; Т., доказательство к-рых весьма просто получается посредством ссылки на другие Т., наз. с л е д с т в и я м и этих других Т. Ввиду недостаточной определенности таких понятий, как "вспомогательный" и "просто", термины "лемма" и "следствие" также носят несколько условный характер, и эти наименования свидетельствуют не столько о характере самих Т., сколько о стиле или уровне изложения предмета.
Т., доказываемые содержат. средствами метатеории к.-л. теории, наз. м е т а т е о р е м а м и, относящимися к данной ("предметной") теории. Примеры метатеорем: теорема о дедукции для исчисления высказываний или предикатов, теорема Гёделя о полноте исчисления предикатов, теорема Гёделя о неполноте формальных систем, включающих формальную арифметику, теорема Чёрча о неразрешимости разрешения проблемы для исчисления предикатов, теорема Тарского о невыразимости (неопределимости, см. Определимость) предиката истинности для широкого класса логич. исчислений средствами самого исчисления (см. Логическая истинность) и др. Вообще метатеоремами являются любые Т. о Т., какими бы средствами и в рамках какой бы теории они не доказывались; примерами могут служить т.н. принципы двойственности, играющие важную роль во мн. разделах математики. См. Вывод(в математической логике), Доказательство, Метод аксиоматический и лит. при этих статьях.
Ю. Гастев. Москва.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. . 1960—1970.


.

Синонимы:

Смотреть что такое "ТЕОРЕМА" в других словарях:

  • Теорема Лёба — Теорема Лёба  теорема в математической логике о взаимосвязи между доказуемостью утверждения и самим утверждением. Установлена математиком Мартином Хуго Лёбом в 1955 году. Теорема Лёба гласит, что во всякой теории, включающей аксиоматику… …   Википедия

  • ТЕОРЕМА — (греч. theorema, от theorein рассматривать). Предложение, долженствующее быть подтвержденным; истина, требующая доказательства, преимущественно в математике. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. ТЕОРЕМА… …   Словарь иностранных слов русского языка

  • ТЕОРЕМА — Пифагора. Жарг. шк. Шутл. Учительница математики. ВМН 2003, 131. Теорема Пофигатора. Жарг. шк. Шутл. Теорема Пифагора. ВМН 2003, 108. Теорема Фаллоса. Жарг. студ. (матем.). Шутл. Теорема Фалеса. (Запись 2003 г.). Теорема хана банаха. Жарг. студ.… …   Большой словарь русских поговорок

  • теорема — См …   Словарь синонимов

  • ТЕОРЕМА — (греч. theorema от theoreo рассматриваю), в математике предложение (утверждение), устанавливаемое при помощи доказательства (в противоположность аксиоме). Теорема обычно состоит из условия и заключения. Напр., в теореме: если в треугольнике один… …   Большой Энциклопедический словарь

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

  • ТЕОРЕМА — ТЕОРЕМА, теоремы, жен. (от греч. theorema, букв. зрелище) (научн.). Положение, справедливость которого устанавливается путем доказательств, основанных на аксиомах или на других, уже доказанных положениях (мат.). Доказать теорему. Пифагорова… …   Толковый словарь Ушакова

  • ТЕОРЕМА — «ТЕОРЕМА» (Теогеmа) Италия, 1968, 100 мин. Философская драма. Возможно, одна из самых противоречивых картин в истории мирового кино. Она вызвала взаимоисключающие трактовки, нападки на режиссера слева и справа, расколола представителей Ватикана… …   Энциклопедия кино

  • Теорема Бёма — Якопини  положение структурного программирования, согласно которому любой исполняемый алгоритм может быть преобразован к структурированному виду, то есть такому виду, когда ход его выполнения определяется только при помощи трёх структур… …   Википедия

  • теорема — ы, ж. Следуя логике лотмановского подхода к искусству можно предложить понятие эротемы как структурно тематической единицы эроса (термин образован с тем же французским суффиксом ем , что и другие обозначения структурных единиц языка: лексема,… …   Исторический словарь галлицизмов русского языка

Книги

Другие книги по запросу «ТЕОРЕМА» >>