Определение слова «теорема»

Толковый словарь Ефремовой:

теорема ж.
Положение, истинность которого нуждается в доказательстве и устанавливается путём доказательства (в математике).

Толковый словарь Ушакова:

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

Большой энциклопедический словарь:

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

Толковый словарь Даля:

теорема
См. теория

Большой словарь иностранных слов:

Теоремы, ж. [от греч. theorema, букв. зрелище] (науч.). Положение, справедливость к-рого устанавливается путем доказательств, основанных на аксиомах или на других, уже доказанных положениях (мат.). || Положение, к-рое может быть выведено из основных положений логики (филос.).

Толковый словарь Кузнецова:

теорема
ТЕОРЕМА -ы; ж. [греч. therma] Математическое положение, истинность которого устанавливается путём доказательства. Геометрическая т. Доказать теорему.

Малый академический словарь:

теорема
-ы, ж.
Математическое положение, истинность которого устанавливается путем доказательства.
Теорема Пифагора. Доказать теорему.
[греч. ]

Математическая энциклопедия:

Математическое утверждение, истинность к-рого установлена путем доказательства. Понятие Т. развивалось и уточнялось вместе с понятием математич. доказательства. При использовании аксиоматического метода Т. рассматриваемой теории определяются как высказывания, выводимые чисто ло-гич. путем из нек-рых заранее выбранных и фиксированных высказываний, называемых аксиомами. Поскольку аксиомы предполагаются истинными, то истинными должны быть и Т. Дальнейшее уточнение понятий доказательства и Т. связано с предпринятым в математич. логике исследованием понятия логического следствия, в результате чего для широкого класса математич. теорий процесс логич. вывода удалось свести к преобразованию формул, т. е. математич. утверждений, записанных на подходящем формализованном языке, по точно сформулированным правилам ( вывода правилам), относящимся лишь к форме (а не к содержанию) предложений. В возникающих таким образом формальных теориях доказательством наз. конечная последовательность формул, каждая из к-рых либо является аксиомой, либо получается из нек-рых предыдущих формул этой последовательности по одному из правил вывода. Т. наз. формула, являющаяся последней формулой в нек-ром доказательстве. Такое уточнение понятия Т. позволило получить, пользуясь строгими математич. методами, ряд важных результатов о математич. теориях. В частности, было установлено, что аксиоматич. теории, представляющие многие существенные разделы математики (напр., арифметику), неполны, т. е. существуют предложения, истинность или ложность к-рых нельзя установить чисто логич. путем на основе аксиом. Эти теории, как правило, неразрешимы, т. е. не существует единого метода (алгоритма), позволяющего установить, является ли Т. произвольное данное высказывание. В. Е. Плиско.

Орфографический словарь Лопатина:

орф.
теорема, -ы

Толковый словарь Ожегова:

ТЕОРЕМА, ы, ж. В математике: утверждение, истинность к-рого устанавливается путём доказательства.

Научно-технический словарь:

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

Социологический словарь:

ТЕОРЕМА (от греч. theoreo — рассматриваю) — англ. theorem; нем. Theorem. Утверждение, истинность к-рого устанавливается с помощью системы бесспорных доказательств (аксиом, ранее доказанных Т. и т. д.).

Этимологический словарь Макса Фасмера:

теорема
Через франц. thorme от лат. theorma, греч. , первонач. "зрелище".

Грамматический словарь Зализняка:

Теорема, теоремы, теоремы, теорем, теореме, теоремам, теорему, теоремы, теоремой, теоремою, теоремами, теореме, теоремах

Смотреть другие определения →