Algoritmo,
axioma, conjectura, corolário, lema e teorema! Provavelmente você já se
deparou com alguma dessas palavras lendo livros matemáticos, ou algo do
tipo. Estas não são palavras muitos comuns no nosso cotidiano, porém
são bastante usadas na linguagem matemática.
- Algoritmo: Algoritmos nada mais são que um conjunto de instruções bem definidas e não ambíguos necessários para a resolução de uma tarefa. Além da matemática, são bastante empregados na Ciência da Computação. Temos como exemplo o algoritmo do MDC de Euclides;
- Axioma: Um axioma é uma hipótese inicial considerada como óbvia de qual outros enunciados são derivados. Por ser uma hipótese inicial, não é demonstrável por derivações formais ou princípios de indução. É usado em deduções, visando obter resultados mais facilmente. Um exemplo é o Axioma de Peano, usado para provar algo que sabemos ser verdadeiro;
- Conjectura: Conjecturas são basicamente hipóteses. São ideias que não foram provadas verdadeiras, baseadas em suposições com fundo não verificado. Uma conjectura bastante famosa é a Conjectura de Goldbach;
- Corolário: Um corolário é uma dedução imediata de um teorema. Por serem deduzidos de teoremas, sempre são verdadeiros;
- Lema: Em matemática, lema é uma proposição que prepara a demostração de outra, um passo intermediário para atingir um resultado maior;
- Teorema: Teorema é um termo que designa uma afirmação que pode ser provada e que tem grande importância matemática. Um conhecidíssimo teorema é o teorema elaborado por Pitágoras.
Fonte: http://www.fazendomatematica.com/
