O que é um teorema? | FiloSchool

O que é um teorema?

Blogs Matemática

Posted 2021-11-07 13:33:18

100

Na matemática , um teorema é uma afirmação que pode ser provada como verdadeira, por meio de outras afirmações já demonstradas, como outros teoremas, juntamente com afirmações anteriormente aceitas, como axiomas .

Prova é o processo de mostrar que um teorema está correto. O termo teorema foi introduzido por Euclides, em Elementos , para significar "afirmação que pode ser provada". Em grego, originalmente significava "espetáculo" ou "festa".

Atualmente, é mais comum deixar o termo "teorema" apenas para certas afirmações que podem ser provadas e de grande "importância "matemática", o que torna a definição um tanto subjetiva.

É importante notar que "teorema " é diferente de "teoria ". Sobre afirmações que podem ser provadas Para se produzir um teorema é preciso demonstrá-lo (i.e., prová-lo), por mais que a demonstração em si não faça parte do teorema (um teorema consiste em apenas uma implicação que pode ser provada).

Obviamente, um teorema pode ter mais de uma única demonstração. A ideia de que afirmações verdadeiras precisam ser provadas gera um problema cíclico: a própria prova para determinada afirmação deve ser verdade. Mas, para que seja aceita como verdadeira neste contexto, será necessária uma prova para ela, uma prova para a própria prova. Isso se resolve tomando algumas afirmações como verdades a priori , as chamadas hipóteses do teorema (veja que hipótese aqui é bem diferente de conjectura, abaixo). Chamamos o conjunto das afirmações concluídas (ou seja, aquilo que efetivamente é provado) de tese .

O Teorema é, assim, a implicação das hipóteses na tese. É importante aqui ressaltar que as regras de inferência devem fazer parte das hipóteses. É extremamente comum agrupar várias hipóteses tidas como verdadeiras numa teoria, definido-se como qualquer outra verdade, dentro da teoria, uma implicação destas.

Neste caso, tais hipóteses são classificadas ou como axiomas (ou postulados , este último nome mais usado em teorias em ciências naturais ) ou como definições. As definições são aquelas usadas para reservar palavras, fixando o seu sentido, e os axiomas tratam das relações entre os termos reservados.

Para que uma teoria possa ser construída deve haver palavras reservadas aceitas sem definição (os chamados entes primitivos ), cujo significado formalmente virá de acordo com os axiomas (o exemplo mais clássico de ente primitivo é "ponto", como usado por Hilbert em Grundlagen der Geometrie ( Bases de geometria )).

Numa teoria axiomática, apenas as hipóteses novas (que não são axiomas) são apresentadas no enunciado de um teorema. Deve-se notar, também, que o modo que a inferência lógica é feita (o porque de cada "salto" dado entre cada passo da demonstração) faz parte das hipóteses (ou pelo menos algum conjunto de hipóteses que implique nos "saltos" dados), formalmente falando. Em geral esse conjunto de hipóteses que nos fornecem os "saltos" são os axiomas da lógica usada.

Dentro do estudo de Lógica Matemática , o ramo que investiga as demonstrações é chamado Teoria da Prova. O resultado mais famoso desta é o Teorema da Incompletude de Gödel, o qual afirma que, dentro de certas hipóteses muito razoáveis, em toda teoria axiomática consistente (i.e., sem contradições lógicas) existem afirmações que não são nem verdades nem mentira dentro da teoria, no sentido de que caso alguma delas for considerada um novo axioma, ou caso sua negação for considerada um novo axioma, a teoria continuará consistente.

Teorema._Matemática.

1

Effettua l'accesso per mettere mi piace, condividere e commentare!

Sponsorizzato

💸 Queres levantar dinheiro do PayPal no M-Pesa? Faz já a troca na TrocaPay: 879369395 ⚡ Simples, rápido e seguro!

Sócrates, vida e obra

Sócrates, vida e obra Sócrates nasceu em 469 a. C. em Atenas de pai escultor...

By 2021-12-01 15:23:48 0 109

Materialismo Histórico

Esta corrente surge por volta do 1848, como fruto da conjura Europeia que então...

By 2022-07-07 08:55:48 0 95

Técnicas das Praticas Pedagógicas que influenciam no ensino e Aprendizagem

Introdução O presente trabalho visa compreender as Técnicas das Praticas...

By 2022-10-11 14:08:22 0 136

Consequências da vibração do solo

A vibração do solo, os movimentos do solo, provocados pelas ondas sísmicas,...

By 2022-07-12 11:35:43 0 89

Morfologia Interna das Raízes

Morfologia Interna das Raízes (Anatomia) A anatomia de uma raiz é...

By 2022-06-17 07:59:02 0 81