Fundamentos da matemática
Os Fundamentos da Matemática são uma área de estudo que integra problemas da filosofia da matemática, da lógica e da própria matemática. Surgiu no final do século XIX e se desenvolveu no início do século XX, como uma resposta à crise gerada pelos paradoxos. Do ponto de vista lógico, investiga as relações entre lógica e matemática. Matematicamente, abrange pesquisas em lógica matemática, teoria de conjuntos, teoria dos tipos, teoria de modelos, teoria da prova, teoria da recursão e topologia.
Pontos-chave
- Os Fundamentos da Matemática surgiram como resposta à crise dos paradoxos no final do século XIX.
- A área integra filosofia da matemática, lógica e matemática, explorando suas interconexões.
- Matemáticos gregos antigos já debatiam questões fundamentais, como a irracionalidade da raiz de 2.
- O platonismo influenciou a visão de objetos matemáticos como abstratos e independentes.
- A teoria de conjuntos de Cantor e os paradoxos subsequentes impulsionaram a busca por novos fundamentos.
Imagem: ER's Eyes - Our planet is beautiful. · BY-NC-SA · Openverse
A evolução dos fundamentos da matemática, desde os questionamentos dos gregos antigos até as grandes crises e as respostas que moldaram a disciplina.
Matemáticos Gregos Antigos e Seus Dilemas
Embora a matemática já existisse em outras civilizações, o interesse teórico e fundamental começou com os gregos. Filósofos debatiam a primazia da aritmética ou geometria. Zenão de Eleia propôs paradoxos sobre a impossibilidade da mudança. A Escola Pitagórica, que inicialmente aceitava apenas números naturais e racionais, foi abalada pela descoberta da irracionalidade da √2 (diagonal de um quadrado), aceitando-a com relutância. Eudoxo de Cnido, estudante de Platão, resolveu a discrepância entre racionais e reais ao reduzir a comparação de relações irracionais para múltiplos (relações racionais), antecipando a definição de números reais de Richard Dedekind.
Platonismo na Filosofia da Matemática
A partir do final do século XIX, uma visão platônica da matemática tornou-se comum entre os matemáticos. Segundo essa visão, os conceitos ou objetos matemáticos são abstratos e distintos das experiências diárias: figuras geométricas são ideias separadas de desenhos ou objetos reais, e números não se confundem com a contagem de objetos concretos. Sua existência e natureza levantam questões filosóficas: Como os objetos matemáticos diferem das representações concretas? Eles existem nas representações, em nossa mente ou em outro lugar? Como podemos conhecê-los?
A Idade Contemporânea e a Teoria de Conjuntos
O matemático Georg Cantor, ao estudar séries trigonométricas, foi levado a elucidar o conceito de conjunto. Assim, ele deu origem à teoria de conjuntos, desenvolvendo a primeira teoria matemática dos números infinitos e o início da topologia dos conjuntos de pontos, surgida das questões do Analysis Situs, agora no contexto da teoria de conjuntos. Richard Dedekind, em contato constante com Cantor, utilizou os desenvolvimentos da teoria de conjuntos para elucidar o conceito de continuidade e definir os números reais, como Hilbert expressou em referência a Dedekind.
O Surgimento dos Paradoxos Matemáticos
Em resposta à teoria de ordinais transfinitos de Cantor, Burali-Forti anunciou que uma contradição poderia ser derivada dessa teoria, posteriormente conhecida como paradoxo de Burali-Forti. Em 1902, Bertrand Russell escreveu uma carta a Frege, informando que uma contradição (hoje conhecida como paradoxo de Russell) poderia ser derivada no sistema das Leis Fundamentais da Aritmética, embora algumas fontes afirmem que Ernst Zermelo, do círculo de Hilbert, já a conhecia. Esses e outros paradoxos posteriores geraram uma 'crise de fundamentos' (Grundlagenkrisis), questionando os métodos e a lógica utilizados na matemática.
Respostas à Crise e Correntes Filosóficas
As respostas à crise de fundamentos se desenvolveram em diferentes direções, formando três correntes principais: logicismo, formalismo e intuicionismo. Russell, aderindo à ideia de Frege da unidade entre lógica e matemática, escreveu, com Whitehead, os 'Principia Mathematica', desenvolvendo lógica e matemática de forma contínua, o que constituiu a base do logicismo. Hilbert, embora não concordasse com a unidade, considerava a formalização da lógica de Frege importante. Ele propôs a formalização e axiomatização das áreas da matemática para demonstrar sua consistência (ausência de contradições), formando a base do Programa de Hilbert e o início do formalismo, continuado por figuras como Paul Bernays, Stephen Kleene, Haskell B. Curry, Ernst Zermelo e John von Neumann.
Apresentação da Teoria de Conjuntos de Zermelo-Fraenkel com Escolha (ZFC) como a base axiomática para a maior parte da matemática moderna, desenvolvida para evitar os paradoxos.
Visão geral das principais publicações históricas e atuais que abrigam pesquisas na área dos fundamentos da matemática, destacando a especialização crescente.
