Akademik

Teorema
(Del gr. theorema, meditación.)
► sustantivo masculino
1 LÓGICA Proposición que afirma una verdad demostrable a través de un razonamiento.
2 LÓGICA, MATEMÁTICAS Expresión de un sistema formal, demostrable en el interior de dicho sistema.

* * *

teorema (del lat. «theorēma», del gr. «theṓrēma») m. Afirmación susceptible de demostración científica. ⊚ Mat. Particularmente, enunciado de cierta relación o propiedad seguido de su *demostración.

* * *

teorema. (Del lat. theorēma, y este del gr. θεώρημα). m. Proposición demostrable lógicamente partiendo de axiomas o de otros teoremas ya demostrados, mediante reglas de inferencia aceptadas.

* * *

Un teorema es una afirmación que puede ser demostrada como verdadera dentro de un marco lógico. Demostrar teoremas es una actividad central en matemáticas. Un teorema generalmente posee un número de condiciones que deben ser enumeradas o aclaradas de antemano y que se denominan hipótesis. Luego existe una conclusión, una afirmación matemática, la cual es verdadera bajo las condiciones en las que se trabaja. En matemáticas generales una afirmación debe ser interesante o importante dentro de la comunidad matemática para ser considerada un teorema. Las afirmaciones menos importantes se denominan: ● Lema: una afirmación que forma parte de un teorema más largo. Por supuesto, la distinción entre teoremas y lemas es arbitraria. El Lema de Gauss y el Lema de Zorn, por ejemplo, son considerados demasiado importantes per se para algunos autores, por lo cual consideran que la denominación lema no es adecuada. ● Corolario: una afirmación que sigue inmediatamente a un teorema. Una proposición A es un corolario de una proposición o teorema B si A puede ser deducida sencillamente de B. ● Proposición: un resultado no asociado a ningún teorema en particular.

* * *

► masculino Proposición que afirma una verdad demostrable. Consta de tres partes: hipótesis (lo que se supone), tesis (lo que se va a demostrar) y demostración (la prueba de la tesis).
► LÓGICA Proposición que se obtiene deductivamente de otra u otras proposiciones.

* * *

(as used in expressions)
álgebra, teorema fundamental del
aritmética, teorema fundamental de la
teorema de Bernoulli
binomio, teorema del
cálculo, teorema fundamental del
coseno, teorema del
Fermat, último teorema de
Gödel, teorema de
límite central, teorema del
Pitágoras, teorema de
Rolle, teorema de
senos, teorema de los
valor medio, teoremas del

Enciclopedia Universal. 2012.