Justificando a validade da matemática

7
5466
Crédito da Imagem: Tigrfire.

Por Renji Rodrigo

Em dezembro, num grupo de debates de matemática, li a seguinte dúvida:

[pull_quote_center]Como justificar a validade da matemática?[/pull_quote_center]

Vou escrever o que aprendi sobre isso de modo intuitivo, deve haver falhas e conceitos que não representam bem os conceitos de filosofia da matemática e lógica, por isso, leiam com ceticismo e busquem fontes extras para aceitar ou negar (digo isso por tentativa de sinceridade intelectual).

Conceito intuitivo de axioma

Algo que é tomado como verdadeiro (uma proposição), sem demonstração.

Porque tomar algo sem demonstração?

Pois se tomássemos A_1 e quiséssemos provar, teríamos a principio que usar um conceito A_2, porém esse conceito A_2 se for aceito sem demonstração é axioma, e recaímos no problema anterior. Se queremos demonstrar, teremos que usar outro conceito A_3, se com esse conceito não formos provar, então é axioma, se formos provar precisamos de um conceito A_4, então, não aceitando axiomas, tomamos uma lista infinita de proposições (A_1,A_2, …,A_n,.. ) sem provas, das quais a principio, não conseguimos chegar ao fim, ou entendimento ( tendo tempo finito para fazer cada demonstração, não as obtemos).

A) Então se partimos de um conceito A, que não provamos, para construir uma teoria, esse conceito é um axioma.

Outro tipo de caso que poderia acontecer é o circular. Queremos Provar B, mas depende de A, e para provar A, isso depende de B e ficamos um círculo onde nada podemos provar.

Geralmente os axiomas ‘iniciais’ da matemática, foram tomados como proposições consideradas evidentes, de tal modo que não se pedia demonstração de sua validade. Esse esquema acima de proposições sem provas, não valeria, a principio apenas para a matemática, mas qualquer sistema onde se quer argumentar e demonstrar uma proposição (filosofia, etc).

Mas, não precisamos é claro, nos prender a esse pedido em teorias formais, os axiomas tomados poderiam ser contra intuitivos.

B) Exemplo de caso assim, que apareceu antes de qualquer motivação física é a negação do quinto axioma de Euclides (das paralelas).

Quinto axioma: Dado uma reta r e um ponto p fora dela, existe apenas uma reta s que passa por p paralela a r.

Negar tal axioma, dizer que exista mais de uma (com outros axiomas do que se chama geometria neutra), gera outra geometria com axioma que a principio não possui motivação física ou qualquer auto evidência.

Então sim, podemos tomar axiomas que negam aquilo que conhecemos de física em um dado momento (se formos achar algo para modelar com física posteriormente já é outra história).

O problema não fica tanto se um axioma é verdadeiro ou falso (o valor lógico dele dentro de uma teoria é postulado, assumido). Um problema que fica é a consistência lógica dos axiomas tomadas, ou que ele não levem a contradição. Apesar que podemos querer argumentar, intuitivamente (sem grande formalidade), do porque adotar um certo axioma ou outro. Mas axiomas diferentes, podem gerar teorias diferentes, que poderiam ter seu próprio interesse teórico.

Noção intuitiva:

A) O que teríamos como consistência lógica? Seria não poder em nossa teoria provar que uma mesma coisa é verdadeira e falsa ao mesmo tempo. Esse tipo de coisa, que a principio não queremos em uma teoria Matemática.

Comentando a frase:

[pull_quote_center]Apesar da matemática ser considerada exata em sua ciência, o axioma pela qual ela se estrutura não é demonstrado a priori, portanto, não deveríamos levá-la tão a sério.[/pull_quote_center]

Na verdade, se seguir isso, não poderíamos levar a sério, nem filosofia, nem matemática, nem qualquer outro saber teórico formal.

Noção intuitiva:

A) Modelo: Uma teoria matemática (com seus axiomas e definições), que é usado para tentar descrever um certo tipo de fenômeno.

A questão da utilidade da matemática é que, se temos uma teoria-modelo, que satisfaz um certo grupo de axiomas, ao se estudar as implicações de tais axiomas, podemos deduzir informações sobre a teoria-modelo e comparar com a realidade.

Se as implicações do modelo matemático correspondem bem ao tomado pela experiência o modelo nos serve bem e podemos tentar o usar para obter mais informação sobre o mundo real, se o modelo não funciona bem o descartamos e procuramos outro que se encaixe melhor as evidências empíricas.

A matemática na física talvez seja boa evidência de eficácia do modelo axiomático, do qual se constrói a teoria matemática, que depois é usada como modelo, para descrever um fenômeno físico.

Apesar disso a matemática não é criada apenas para modelar problemas científicos (naturais). Pois temos o que se chama matemática pura, onde o interesse e desenvolver os sistemas formais axiomáticos por si mesmos.

Porém, em geral as pesquisas consideradas importantes, em matemática pura são aquelas relacionadas, geralmente (me parece), a teorias fortemente relacionados a algo que já foi feito (resolver problema em aberto), ou então, alguma técnica de modelagem de problemas práticos ou algo que poderia ser útil como para teorias físicas, biologia, computação etc, que por sua vez também alimentam a matemática pura.

CONTINUAR LENDO

Deixe um comentário

7 Comentários em "Justificando a validade da matemática"

Notify of
avatar
Sort by:   newest | oldest | most voted
Ronaldo
Visitante

Não seria a matemática mais uma simples e incompleta forma de linguagem e assim sujeita às mesmas inconsistências e mutações?

Felipe
Visitante

Não. A Matemática não é uma linguagem, mas sim um sistema Lógico, Ela não é simples e Em relação a sua imcompletude, podemos evitar esse problema adicionando um novo axioma.

Antonio
Visitante

A matemática é sim uma linguagem. É por meio desta que físicos expressam suas teorias. E se Einstein não soubesse o linguajar matemático, como poderia comprovar sua teoria das massas?

Vivas
Visitante

Linguagem matemática é diferente da matemática em si, os símbolos, letras gregas, parenteses, isso é linguagem, que transmite para nosso intendimento, o sistema lógico, conhecido como matemática. Se fosse apenas uma linguagem, já teríamos resolvido todos os seus problemas.

Santiago Alves Castro
Visitante

Nem todas pesquisas de ponta na matemática procuram resolver um problema em aberto ou um problema que tenha aplicação prática na realidade. A criptografia é um exemplo, ou a matemática usada em computação quântica, foi criada a princípio por “diversão lógica” sem um fim a vista.

Felipe Dias
Visitante
Legal. Creio que não seria possível uma justificação da matemática pela própria matemática, pois isso seria circular, acho que tal justificação está mais no âmbito gnosiológico, acho que faltou explorar isso no texto. É verdade que precisamos de um principio/fundamento para qualquer tipo de prova, seja matemática, racional, etc, pois é impossível ir ao infinito, e o tal fundamento para qualquer justificação é o principio de identidade, o qual a inteligência capta em uma intuição com o real. Em suma, não é por ser impossível ir ao infinito em números de explicações que justificamos a matemática, isso em si não… Read more »
Rafael Castro G. Silva
Visitante

Poderia ser interessante considerar Kurt Godel nesta discussão.
O teorema de Godel fala das limitações da formalização do sistema axiomático.

Só perturbar um pouco, não estou com tempo para contribuir mesmo.
Abraços.

wpDiscuz