Значение слова «теорема»

Словарь русского языка (МАС)

• ТЕОРЕ́МА, -ы, ж. Математическое положение, истинность которого устанавливается путем доказательства. Теорема Пифагора. Доказать теорему.

  [Греч. θεώρημα]

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

теорема ж.

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

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

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

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

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

| Положение, которое может быть выведено из основных положений логики (филос.).

Викисловарь

• теоре́ма

  1. матем. положение, утверждение, истинность которого нуждается в доказательстве и устанавливается путём доказательства ◆ Если вы не знаете, какие углы называются смежными, не знаете теоремы о сумме смежных углов, то вы это доказательство не поймёте. А. В. Погорелов, «Геометрия, учебник для 7-11 классов», 1999 г.

  Фразеологизмы и устойчивые сочетания

  • доказывать теорему
  • теорема аддитивности
  • теорема Коши
  • теорема Пифагора

Википедия

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

  Многие математические теоремы являются условными утверждениями. В этом случае доказательство выводит заключение из условий, называемых гипотезами или предпосылками. В свете интерпретации доказательства как оправдания истины, заключение часто рассматривается как необходимое следствие гипотез, а именно, что заключение верно в случае, если гипотезы верны, без каких-либо дополнительных предположений. Тем не менее, условия могут интерпретироваться по-разному в некоторых дедуктивных системах, в зависимости от значений, присвоенных правилам вывода и символа условия.

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

  Поскольку теоремы лежат в основе математики, они также играют центральную роль в ее эстетике. Теоремы часто описываются как «тривиальные», «сложные», «глубокие» или даже «красивые». Эти субъективные суждения варьируются не только от человека к человеку, но и со временем: например, когда доказательство упрощено или лучше понято, теорема, которая когда-то была трудной, может стать тривиальной. С другой стороны, глубокая теорема может быть сформулирована просто, но ее доказательство может включать в себя удивительные и тонкие связи между различными областями математики. Особенно известным примером такой теоремы является Великая теорема Ферма.