Fundamentos da matemtica

Origem: Wikipdia, a enciclopdia livre.

Denomina-se fundamentos da matemtica a uma rea de estudo que abrange tanto problemas da filosofia da
matemtica, como da lgica e da matemtica. Ela teve a sua origem nas ltimas dcadas do sculo XIX e
desenvolveu-se durante as primeiras dcadas do sculo XX, como uma resposta crise dos fundamentos gerada
pelos paradoxos[1]. Do ponto de vista lgico, tem como questo fundamental as relaes entre a lgica e a
matemtica. Do ponto de vista matemtico abrange pesquisas nas reas de lgica matemtica, teoria de
conjuntos, teoria dos tipos, teoria de modelos, teoria da prova, teoria da recurso e topologia.

Fundamentos da matemtica o estudo de conceitos bsicos da matemtica (nmeros, figuras geomtricas,

conjuntos, funes...) e como eles formam hierarquias de conceitos e estruturas mais complexas, especialmente
e fundamentalmente estruturas importantes da linguagem matemtica (frmulas, teorias e sua teoria dos
modelos dando um significado para frmulas, definies, provas, algoritmos...) tambm chamado conceitos da
metamatemtica, com um olhar para os aspectos filosficos e a unidade matemtica. A pesquisa por
fundamentos da matemtica uma questo central da filosofia da matemtica; a abstrao da natureza dos
objetos da matemtica presenteia especialmente desafios filosficos.

Os fundamentos da matemtica so como um todo que no contm os fundamentos de todos os tpicos

matemticos. Geralmente, os fundamentos de um campo de estudo se debrua mais ou menos em analisar
sistematicamente os mais bsicos ou conceitos fundamentais, essa concepo unitria e a sua ordem natural de
hierarquia de conceitos, que pode ajudar a juntar com o resto do conhecimento humano. O desenvolvimento,
apario e esclarecimento de fundamentos pode aparecer depois em um campo da histria, e pode ser visto por
qualquer um que esteja muito interessado nessa parte.

A procura sistemtica dos fundamentos da matemtica comeou no fim do sculo XIX e formou uma nova
disciplina da matemtica chamada lgica matemtica, que tem fortes ligaes com a teoria da computao. Ela
trouxe uma crise de pensamentos sobre resultados paradoxos, at as descobertas serem estabilizadas durante o
sculo XX como uma grande e coerente vertente do conhecimento matemtico com aspectos rgidos ou
componentes (teoria dos conjuntos, teoria dos modelos, teoria da prova...), que detalharam propriedades e
possveis variantes sendo ainda um ativo campo de pesquisa. Seu alto nvel de tcnicas sofisticadas inspirou
muitos filsofos a supor que ela pode servir como um modelo ou exemplo de fundamentos de outras cincias.

ndice
1 Histria
1.1 Matemticos gregos antigos
1.2 Platonismo como uma tradicional filosofia matemtica
1.3 Idade Contempornea
1.4 Surgimento de Paradoxos
1.5 Respostas crise e principais correntes da polmica sobre fundamentos
2 Teoria de conjuntos
3 Publicaes
4 Bibliografia
5 Referncias
6 Ver tambm
7 Ligaes externas

Histria
Veja tambm: Histria da lgica e Histria da matemtica.

Matemticos gregos antigos

Enquanto a prtica da matemtica foi previamente desenvolvida em outras civilizaes, interesses especiais em
em sua teoria e aspectos fundamentais realmente comearam com os gregos antigos. Inicialmente os filsofos
gregos discutiram para saber quem mais bsica, a aritmtica ou a geometria. Zeno de Eleia (490 a.C - 430
a.C) produziu quatro paradoxos que parecem mostrar a impossibilidade da mudana.

A Escola Pitagrica de matemtica originalmente insistia que somente existiam nmeros naturais e racionais. A
descoberta dos irracionalidade da 2, a relao da diagonal de um quadrado com seus lados (por volta do
sculo V a.C), foi um choque para eles que s aceitaram aps muita relutncia. A discrepncia entre os
racionais e os reais foi finalmente resolvida por Eudoxo de Cnido (480-355 a.C), um estudante de Plato, que
reduziu a comparao da relao irracional para comparao de mltiplos (relao racional), antecipando, desse
modo, a definio de nmeros reais por Richard Dedekind (1831-1916).

Em Analticos posteriores, Aristteles (384 a.C - 322 a.C) estabelece o mtodo axiomtico para organizar um
campo do conhecimento lgico de significados primitivos de conceitos, axiomas, postulados, definies, e
teoremas. Aristteles pegou a maioria dos exemplos da aritmtica e da geometria. Esse mtodo atingiu seu
maior ponto com os Elementos de Euclides (300 a.C), um tratado monumental na estrutura geomtrica com um
elevado grau de rigidez: Euclides justificou cada proposio de uma demonstrao com uma forma de cadeia
de silogismos (pense que ele nem sempre se conformou estritamente com o modelo de Aristteles). A lgica de
silogismos de Aristteles, junto com o axiomtico mtodo exemplificado pelos Elementos de Euclides, so
universalmente conhecidos como elevadas conquistas cientficas dos gregos antigos.

Platonismo como uma tradicional filosofia matemtica

Comeando do fim do sculo XIX, uma viso Platonista da matemtica tornou-se comum entre as prticas
matemticas.

Os conceitos ou, como os Platonistas teriam dito, os objetos da matemtica so abstratos e remontam de um
percentual de experincias dirias: figuras geomtricas so compreendem as ideias de serem distinguveis de
desenhos efetivos e formas de objetos, e nmeros no so confundidos com o contador de objetos concretos. A
existncia deles e o natural presente especial de conquistas filosficas: Como fazer objetos matemticos
deferirem de representaes concretas? Eles so localizados na representao, ou na nossa mente, ou em algum
lugar tambm? Como ns podemos saber deles?

Idade Contempornea

O matemtico Georg Cantor comeou as suas pesquisas estudando sries trigonomtricas, mas logo foi
direcionado por elas a elucidar o conceito de conjunto. Dessa maneira ele deu origem teoria de conjuntos,
desenvolvendo a primeira teoria matemtica dos nmeros infinitos e o incio da topologia dos conjuntos de
pontos surgida a partir das questes do Analysis Situs, agora colocadas no contexto da teoria de conjuntos[2].
Richard Dedekind, em constante contato com Cantor, utiliza os desenvolvimentos da teoria de conjuntos na sua
elucidao do conceito de continuidade e na sua definio dos nmeros reais. Como expressa Hilbert com
referncia a Dedekind:

"O matemtica viu-se forado a ser um filsofo, para poder seguir sendo matemtico"[3]

Em outro sentido, Gottlob Frege afirma que a matemtica deve fortalecer as suas bases lgicas, colocando
claramente sua posio no livro Fundamentos da aritmtica[4] e depois nas Leis fundamentais da aritmtica[5],
onde comea com um desenvolvimento da lgica matemtica para passar matemtica, como maneira de
justificar a unidade de ambas.
Surgimento de Paradoxos

Como resposta teoria de Cantor dos ordinais transfinitos, Burali-Forti anuncia que nessa teoria pode ser
derivada uma contradio, posteriormente denominada paradoxo de Burali-Forti[6]. Em 1902, Bertrand Russell
escreve uma carta para Frege[7] na qual anuncia que no sistema das Leis fundamentais da aritmtica pode ser
derivada uma contradio, hoje conhecida como paradoxo de Russell, mas certas fontes afirmam que j era
conhecida com anterioridade por Ernst Zermelo, pertencente ao crculo de Hilbert[8].

Esses paradoxos, mais outros enunciados posteriormente, geram uma crise de fundamentos (em alemo:
Grundlagenkrisis), na qual so questionados os mtodos e a lgica utilizada pela matemtica.

Respostas crise e principais corr entes da polmica sobr e fundamentos

As respostas crise de fundamentos desenvolveram-se em diferentes direes, formando-se trs correntes

principais denominadas de logicismo, formalismo e intuicionismo.

Russell aderiu ao pressuposto de Frege da unidade de lgica e matemtica e escreveu, junto com Whitehead, o
monumental texto dos Principia Mathematica, no qual so desenvolvida de uma maneira contnua a lgica e a
matemtica. Esse aprofundamento das ideias de Frege como resposta crise constitui a base da tendncia
logicista.

Hilbert no participa da ideia de unidade da lgica e a matemtica, mas considera que a formalizao da lgica
que culmina na obra de Frege uma parte importante de uma outra resposta. Hilbert prope a formalizao e
axiomatizao das diferentes reas da matemtica, para assim poder dar uma demonstrao da consistncia de
essas teorias, ou seja, de que no possvel a derivao de contradies nelas, constituindo a base do Programa
de Hilbert e o incio da corrente formalista, continuada por figuras como Paul Bernays, Stephen Kleene,
Haskell B. Curry, Ernst Zermelo e John von Neumann.

Em desacordo com as posies anteriores, L. E. J. Brouwer afirma que a matemtica chegou a paradoxos por
ter-se afastado das intuies claras e dos mtodos construtivos bem definidos, de modo que os mtodos da
lgica clssica que pode ser aplicada sem problemas a objetos concretos e em situaes empricas, so
extrapolados de maneira abusiva quando aplicados na matemtica. Em particular, rejeita o princpio de terceiro
excludo e as demonstraes de existncia de um objeto matemtico que no so construtivas[9]. Assim,
Brouwer deu origem corrente intuicionista, s vezes denominada construtivista, tendo depois em Arend
Heyting um importante defensor.

Teoria de conjuntos
Seguindo a proposta de Hilbert, Zermelo prope em 1908 um sistema de axiomas para fundamentar a teoria de
conjuntos[10], evitando os paradoxos conhecidos, como os de Cantor, Burali-Forti e Russell. Com contribuies
posteriores, essa teoria deu lugar Teoria de Conjuntos de Zermelo-Fraenkel com Escolha, ZFC, na qual pode
ser formalizada a maior parte da matemtica atual.

Essa teoria geralmente formalizada na lgica de primeira ordem com igualdade e tem como nico smbolo
no lgico no definido a relao de pertinncia.

Publicaes
Muitos importantes trabalhos iniciais na rea apareceram em Fundamenta Mathematicae, Journal of Symbolic
Logic e no Zeitschrift fr mahematische Logik und Grundlagen de Mathematik (hoje Mathematic Logic
Quaterly). A editora North Holland dedica uma srie denominada Studies in Logic and Foundations of
Mathematic. Hoje a produo dessa rea est mais especializada em diversas publicaes peridicas de lgica
matemtica e filosofia da matemtica.
Bibliografia
FRAENKEL, Abraham A.; BAR-HILLEL, Yehoshua (1958). Foundations of Set Theory. Amsterdam:
North Holland (Elsevier)

HEIJENOORT, Jean van (1967). From Frege to Gdel: a source book in mathematical logic, 18791931
(em ingls). Cambridge, Massachusetts: Harvard University Press

ZERMELO, Ernst (1908). Untersuchungen ber die Grundlagen der Mengenlehre. I. Mathematische
Annalen (em alemo). 65 (2): 261281 Reimpresso com traduo ao ingls em Zermelo 2010,
pp. 188229, e traduo ao ingls em van Heijenoort 1967, pp. 199215.

ZERMELO, Ernst (2010). Collected Works Gesammelte Werke (em alemo e ingls). I. Heidelberg:
Springer. ISBN 978-3-540-79383-0

Referncias
1. Ver FRAENKEL BAR-HILLEL (1958), p. 1215, The three crisis'.
2. Ver Dauben, Joseph Warren (1998). Georg Cantor: his Mathematics and Philosophy of the Infinite. Princeton: Princeton
University Press, Captulo II: The Origins of Cantorian Set Theory: Trigonometric Series, Real Numbers, and Derived
Sets.
3. Ver Corry, Leo (2004). David Hilbert and the Axiomatization of Physics (1898-1918): om fr Grundlagen der Geometrie
to Grundlagen der Physik. Dordrecht: Kluwer, p. 379.
4. Frege, Gottlob (1884).Die Grundlagen der Arithmetik: eine logisch-mathematische Untersuchung ber den Begriff der
Zahl. Breslau: W. Koebner
5. Frege, Gottlob (1893--1903).Grundgesetze der Arithmetik. Jena: Hermann PohleVerifique data em: |ano= (ajuda)
6. HEIJENOORT (1967), p. 104112. Ver tambm FRAENKEL BAR-HILLEL (1958), p. 9.
7. HEIJENOORT (1967), p. 124125.
8. Ibid, p. 6.
9. Brouwer, L.E.J. (1976). On the significance of the principle of excluded middle in mathem atics, especially in function
theory. In: van Heijenoort, Jean.A Source Book in Mathematical Logic, 1879-1931. Cambridge MA: Harvard
University Press. pp. 334345.ISBN 0-674-32449-8
10. ZERMELO (1908).

Ver tambm
Filosofia da matemtica
Lgica matemtica
Paradoxo

Ligaes externas
Foundations of Mathematics mailing list (http://www.cs.nyu.edu/mailman/listinfo/fom/)
David Hilbert: The Foundations of Mathematics (http://www.marxists.org/reference/subject/philosophy/
works/ge/hilbert.htm) (1927)
Kurt Gdel: The modern development of the foundations of mathematics in the light of philosophy (htt
p://www.marxists.org/reference/subject/philosophy/works/at/godel.htm) (1961)
Solomon Feferman: The development of programs for the foundations of mathematics in the first third of
the 20th century (http://math.stanford.edu/~feferman/papers/foundations.pdf)
Stephen G. Simpson: What is Foundations of Mathematics? (http://www.math.psu.edu/simpson/hierarch
y.html)
Stephen G. Simpson: Logic and Mathematics (http://www.math.psu.edu/simpson/papers/philmath/)
Set Theory and Foundations of Mathematics (http://www.settheory.net/)
Obtida de "https://pt.wikipedia.org/w/index.php?title=Fundamentos_da_matemtica&oldid=44876470"

Categorias: Lgica matemtica Histria da matemtica Filosofia da matemtica

Esta pgina foi modificada pela ltima vez (s) 00h29min de 22 de fevereiro de 2016.
Este texto disponibilizado nos termos da licena Creative Commons - Atribuio - Compartilha Igual
3.0 No Adaptada (CC BY-SA 3.0); pode estar sujeito a condies adicionais. Para mais detalhes,
consulte as condies de uso.