Nome: Bruna Elisabete de Souza

Fundamentos da matemtica
Antigamente os matemticos pensavam que os conhecimentos provindos do seu estudo eram
cerceados de uma confiabilidade absoluta, eles acreditavam que uma vez partindo de
pressupostos "auto evidentes" e manipulando eles atravs de certas regras de inferncia,
qualquer proposio obtida seria irrevogavelmente verdadeira, essa era a ideia de prova
matemtica.
Mas o que seria uma verdade auto evidente e uma regra de inferncia? A princpio uma
afirmao auto evidente, era uma proposio cujo a sua veracidade era to simples de ser
verificada que, aparentemente ao menos, a sua validade no era questionada, um exemplo o
clebre princpio da no contradio que diz que "Uma proposio no pode ser verdadeira e
falsa ao mesmo tempo com respeito ao mesmo predicado", esse princpio que se manteve
inconteste desde Aristteles at muito recentemente onde, a partir do advento das lgicas no
clssicas, como as lgicas polivalentes e as lgicas paraconsistentes, o princpio de no
contradio comeou a ser questionado, esta era apenas uma das muitas "verdades auto
evidentes" que comearam a ser postas em dvida ou at mesmo provadas como falsas. Depois
de muito tempo alguns filsofos e matemticos preocupados com os fundamentos da
matemtica, pararam de tentar encontrar verdades auto evidentes, e partiam apenas de
princpios que no eram questionados naquela teoria, mas que em outras teorias poderiam ser
derivadas de outros princpios ou at mesmo ser negada.
A respeito das regras de inferncia, a escolha de quais regras so ou no vlidas, tambm gerou
grandes controvrsias, em certo momento, lgicos e matemticos tentaram encontrar os
fundamentos da matemtica, essa busca foi expressa nos dez problemas de Hilbert, que se
tratavam de questes ao qual era esperado que os lgicos e matemticos conseguissem resolver
at o final do sculo XX, o dcimo problema era o de encontrar um conjunto universal de regras
de inferncia, ou seja, um conjunto de regras que explique como se devem manipular todos os
smbolos lgicos e matemticos, dessa maneira, ambas se tornariam universais, haveria um
nico tipo de lgica e um nico tipo de matemtica que derivariam apenas verdades absolutas,
tendo ento um grau de confiabilidade incontestvel.
Obviamente o sonho de uma matemtica universal no foi realizado, isso porque a sua
universalidade uma tantalizao, o matemtico alemo Kurt Gdel provou em 1931 os
teoremas da incompletude, que em linhas gerais fala que nenhuma aritmtica baseada em uma
lgica de ordem superior pode ser completa, ou seja, sempre haver uma proposio que no
poder nem ser negada e nem afirmada pela teoria., e alm disso no h como construir uma
lgica subjacente a matemtica que seja completa, que d conta de resolver todos os clculos
da teoria sem perder a sua consistncia.
Os fundamentos da matemtica na poca j sofriam vrios problemas por causa dos paradoxos
encontrados na teoria dos conjuntos de Cantor, e na lgica que estava sendo construda por
Gottlob Frege. Em suma, a prova de Gdel foi um golpe fatal para uma tentativa de construir
uma fundamentao universal.
Posteriormente a ideia de que as verdades matemticas eram absolutas foi deixando de ser
aceita, e seu status de confiana j no era mais o mesmo, mas, uma ideia que ainda se mantm
da matemtica que ela, de certa forma mais confivel que outras reas de estudo, como a
fsica, a biologia porque, o seu objeto de estudo no tangvel, e por isso menos suscetvel a
mudanas.
Nesse caso necessrio explicar que as entidades matemticas tm uma existncia abstrata e
independente da realidade fsica, e nesse sentido que as relaes matemticas so eternas e
imutveis, porm os processos que utilizamos para compreender as relaes matemticas so
processos fsicos, como o nosso conhecimento a respeito desses processos fsicos um
conhecimento falvel, o saber matemtico obtido a partir desses processos tambm falvel,
portanto no mais confivel que os conhecimentos sobre a realidade fsica por exemplo,
todavia para compreender melhor a fora que essa argumentao tem na teoria de Deutsch,
vamos retomar algumas explicaes importantes.
Na teoria do israelita um gerador de realidade virtual tudo aquilo que simula um determinado
ambiente e que age de maneira autnoma e complexa, nesse sentido em que o nosso crebro,
e um computador so geradores de realidades virtuais, e nessa forma que o todo da realidade
fsica tambm um gerador de realidade virtual.
Supondo ento que a lei de Turing seja verdadeira todo e somente os ambientes fisicamente
possveis podem ser reproduzidos em realidade virtual.
As entidades matemticas para Deutsch tem uma existncia em certa medida platnica, ou seja,
elas so entidades abstratas que so intangveis e tem uma existncia independente da realidade
fsica, a questo que fica , como ento podemos ter conhecimento dessas entidades abstratas?
As entidades matemticas podem ser compreendidas na medida em que as relaes entre elas
tm um comportamento anlogo as relaes entre algumas entidades fsicas, e a partir o estudo
dessas relaes pode se construir experimentos para testar as hipteses sobre como funciona as
relaes matemticas, esses experimentos so chamados de provas e servem para validar os
nossos conhecimentos sobre as entidades matemticas.
Quando queremos testar as propriedades de um crculo, primeiro simulamos ele na realidade
virtual, o que significa fazer uma reproduo fsica das propriedades relevantes de um crculo,
o que inclui desde desenhar um crculo em um programa de computador, imaginar o crculo
em nossas mentes, desenhar o crculo em um papel, at fazer uma descrio detalhada das
propriedades de um crculo em qualquer um desses meios, ento aplicamos as regras de
inferncia supracitadas para derivar uma prova que em uma analogia com um experimento
cientifico seriam os resultados dos testes. Em suma, da mesma forma que se pode utilizar de
entidades fsicas para simular entidades matemticas, pode se utilizar a linguagem matemtica
para descrever entidades fsicas, e a correspondncia de relaes entre esses objetos permite
que se usem provas matemticas para provar teorias cientificas e que se faam experimentos
para comprovar hipteses matemticas.
Alguns poderiam questionar se essa concepo a respeito das provas matemticas no a
subestima por retirar o grau de confiabilidade superior que ela tem em relao a fsica, biologia
e todas as cincias em geral. Voltando agora ao ponto anterior, no porque as teorias sobre a
matemtica no tm um grau de certeza absoluto que elas iro deixar de funcionar, ns temos
um conhecimento suficientemente amplo sobre as entidades fsicas e como elas funcionam, e
tambm conseguimos distinguir bem em quais aspectos um objeto fsico se comporta de
maneira anloga a uma entidade matemtica, garantindo que os conhecimentos matemticos
obtidos sejam suficientemente seguros para justificar o sucesso da matemtica, e para que
atravs das provas matemticas, possamos entender parte da estrutura da realidade.