Formalismo hilbertiano vs.

pensamento intuitivo
Augusto J. Franco de Oliveira
(CEHFC e Dep. Mat., Un. vora)

David Hilbert (1862-1943) Sumrio

Nesta exposio procuramos contextualizar historicamente e explicar a gnese do formalismo hilbertiano, e caracteriz-lo como um formalismo benigno compatvel com o pensamento intuitivo, tanto no esprito e nas intenes explcitas como na metodologia desenvolvida pelo seu autor para realizar o seu famoso programa de consistncia.

Seminrio do Centro de lgebra da Universidade de Lisboa, 27 de Fevereiro de 2004.

ndice
1. Introduo e fontes.......................................................................3 2. Antecedentes histricos............................................................... 5 3. Hilbert, a lgica e os fundamentos...............................................9 4. Formalismo e programa de consistncia....................................17 5. Bibliografia................................................................................ 21 Anexo........................................................................................24

1. Introduo e fontes1
O chamado programa de consistncia de Hilbert e a corrente filosfica e fundacional associada o Formalismo , bases do ramo da Lgica Matemtica conhecido por Teoria da Demonstrao (Beweistheorie), tambm conhecida por Metamatemtica, foram concebidos gradualmente por David Hilbert ao longo das primeiras trs dcadas do sc. XX como resposta grave crise fundacional originada pela descoberta dos paradoxos ou antinomias lgicas e semnticas na viragem do sculo. Em poucas palavras, o referido programa de consistncia pretende justificar a matemtica abstracta, infinitria (das totalidades infinitas) representada numa teoria formal, mediante uma prova finitista de consistncia da teoria formal em causa. Na realidade, o programa de consistncia apenas uma parte, a mais facilmente compreensvel, de um programa mais geral, o programa de conservao, que consiste em mostrar que a matemtica infinitria (a matemtica abstracta do infinito, das demonstraes no construtivas, dos objectos ideais o grosso da matemtica clssica, em suma), uma extenso conservativa da matemtica finitista (a matemtica combinatorial, dos objectos e manipulaes concretas), o que significa, grosso modo, que qualquer propriedade concreta dos objectos concretos que seja demonstrada abstracta ou infinitariamente tambm pode ser demonstrada finitisticamente.2 Por outro lado, a doutrina formalista na filosofia da matemtica geralmente entendida em duas vertentes: a vertente ontolgica, oposta ao platonismo ou realismo, segundo a qual os objectos matemticos abstractos (como os conjuntos infinitos) no tm existncia real, e a vertente epistemolgica, segundo a qual o conhecimento matemtico e a sua justificao s podem ser explicados em termos de derivabilidade num sistema formal. O prprio Hilbert no tem posies extremas a este respeito, mas um aspecto importante do formalismo hilbertiano, , sem dvida, geralmente entendido como a doutrina de que a matemtica o desenvolvimento de sistemas de axiomas (que, uma vez formalizados como teorias em linguagens de primeira ordem tomam o nome de sistemas ou teorias axiomticas formais). Estes programas e concepes foram expostos numa srie de conferncias e artigos proferidas e publicadas entre 1904 e 1930, nomeadamente:

as citaes foram traduzidas das verses em lngua inglesa, conforme referncias bibliogrficas, excepto a definio da pg. 6. 2Mostra-se, em lgica matemtica, que a propriedade de conservao implica a de consistncia, mas s falamos desta ltima aqui.

1Todas

 ([14]) Sobre os fundamentos da lgica e da aritmtica (Heidelberg, 19043) Apndice VII de [12]; ([15]) Pensamento Matemtico (Zurique, 1917); ([16]) As novas fundamentaes da matemtica, Primeiro relatrio (Hamburgo, 1922a); ([17]) Os fundamentos lgicos da matemtica (Leipzig, 1922b); ([18]) Sobre o infinito (Mnster, 1925) Apndice VIII de [12]; ([19]) Os fundamentos da matemtica (Hamburgo, 1927) Apndice IX de [12]; ([20]) Problemas na fundamentao da matemtica (Bolonha, 1928) Apndice X de [12]; ([21]) Os fundamentos da teoria elementar dos nmeros (1931). Eis o que o prprio Hilbert diz, muitos anos mais tarde, em [12], Nota 102 da pg. 219, sobre aquele primeiro artigo de 1904 [14]: Ainda que a exposio que segue tenha sido ultrapassada no seu contedo por novas investigaes minhas sobre os fundamentos da Matemtica (v. Apndices VIIIX de [12]), parece-me, no entanto, razovel reproduzi-la aqui, sobretudo porque nela apliquei pela primeira vez vrias concepes e consideraes motivadas pela exigncia de no contradio, concepo independente dos conjuntos como entes, tendncia para a atitude finitista e simultaneidade no emprego da lgica e da aritmtica. Hilbert inicia neste trabalho, redigido pouco tempo aps a divulgao do famoso paradoxo de Russell (o paradoxo do conjunto de todos os conjuntos que no so membros de si prprios, descoberto por B. Russell em 1902 e comunicado em carta a Frege no mesmo ano), a busca da prova de consistncia ou no contradio da aritmtica. F-lo de uma maneira ainda bastante esquemtica e rudimentar, mas contendo os germes de ideias e mtodos que ele e outros desenvolvero posteriormente nas pesquisas de fundamentos. Todavia, s regressar ao tema dos fundamentos da matemtica na conferncia [15] na Sociedade de Matemtica Suia, em Zurique, a 11 de Setembro de 1917, publicada em 1918, e numa srie de trabalhos publicados nos anos vinte (dos quais trs, dos mais importantes, constituem os apndices VIIIX de [12]), a saber [16][20]. Na literatura filosfica e tcnica, as concepes filosficas e os sucessos relativos e incompletos do programa de Hilbert e da filosofia formalista nos fundamentos tm sido vistas principalmente numa luz negativa, como inevitavelmente condenados a um fracasso inapelvel (como pareceu a alguns, posteriormente, devido aos metateoremas de incompletude de
3Referem-se

aqui as datas das conferncias, preferivelmente s datas da publicao.

Gdel, os quais, em boa verdade, apenas destruiram parte do programa de Hilbert, a parte que pretendia uma prova finitista de consistncia de sistemas fortes), a qual tende a sublinhar uma viso teimosamente parcial da actividade matemtica, em contraste com o platonismo, o logicismo e o intuicionismo rivais. Mas as coisas no so bem assim, pelo menos, se atendermos atentamente s concepes e intenes de Hilbert expressas naqueles trabalhos das primeiras dcadas do sc. XX. Na realidade, as concepes e os mtodos de Hilbert tm um pouco de cada uma daquelas doutrinas rivais, mas tambm tm caractersticas originais que marcam claramente diferenas fundamentais. Como se constata em diversos trechos aqui transcritos, tudo gira volta da concepo da natureza do infinito matemtico e da sua justificao, e talvez uma das dificuldades em entender o pensamento de Hilbert resida no facto de ele parecer, por vezes, contraditrio: em certas ocasies diz defender os transfinitos cantorianos e o grosso da matemtica clssica da poca, informal e infinitria, e noutros passos diz que o infinito no existe. Mas tudo isto concilivel no seu pensamento, como veremos. Para melhor compreender as motivaes e a metodologia de Hilbert temos de ter presentes alguns desenvolvimentos na matemtica e na lgica durante o sc. XIX, os quais culminaram na viragem do sculo com a descoberta dos paradoxos ou antinomias que provocaram a famosa e de m fama crise fundacional que Hilbert enfrentou e tentou resolver (v. tabela final).

2. Antecedentes histricos
Na matemtica do sc. XX, so especialmente relevantes para as questes de filosofia e fundamentos os desenvolvimentos seguintes: Na Geometria: Poncelet desenvolveu a geometria projectiva (propriedades das figuras invariantes para as projeces) e introduziu pontos no infinito, o que permitiu unificar o tratamento das cnicas e aos quais Hilbert se h-de referir como ilustrao do seu conceito de objecto ideal; Gauss, Bolyai e Lobatchevski desenvolveram independentemente as geometrias no euclidianas, levando a uma nova concepo do mtodo axiomtico axiomticas modernas ou autnomas, por oposio s axiomticas clssicas ou heternomas do tipo da de Euclides; Beltrami, Cayley, Klein e Riemann apresentaram modelos de geometrias no euclidianas, enquanto Riemann (variedades) e Klein (Programa Erlangen) deram novos significados ao termo geometria. Pasch, Pieri e o prprio Hilbert, j no final do sculo, forneceram axiomatizaes completas e categricas (monomorfas) da geometria euclidiana e no euclidiana, no esprito moderno. As primeiras frases dos Fundamentos da Geometria [12] so: 5

DEFINIO. Imaginemos trs sistemas diferentes de objectos: aos objectos do primeiro sistema chamemos pontos e representemo-los por E, F , G , ; aos objectos do segundo sistema chamemos rectas e representemo-los por +, ,, - , ; aos objectos do terceiro sistema chamemos planos e representemo-los por !, " , # , . Os pontos chamam-se tambm os elementos da geometria linear, os pontos e rectas os elementos da geometria plana e os pontos, rectas e planos os elementos da geometria do espao ou do espao. Imaginemos os pontos, rectas e planos como tendo certas relaes mtuas e indiquemos estas relaes por palavras tais como estar situado, entre, congruente; a descrio precisa e, para fins matemticos, completa destas relaes, dada por meio dos axiomas da geometria. Na lgebra: o incio do sc. XIX assistiu aos trabalhos de Lagrange, Abel, Ruffini e Galois na teoria das equaes e aos primeiros teoremas de impossibilidade (v. [26]), os quais tambm operaram uma nova concepo e transformao da lgebra das equaes na lgebra estrutural (Hamilton, Cayley, Boole, Sylvester, Grassmann; os mtodos algbricos penetraram na geometria (Klein), na lgica (Boole), na teoria dos nmeros (Kummer, Germain, Dedekind), e na Anlise, com os estudos de Abel sobre as funes elpticas e outras aplicaes (Hamilton, Jacobi, Dirichlet, Riemann). Em geral, toda a matemtica sofreu um processo de algebrizao. Na Anlise, para alm dos desenvolvimentos das sries de Fourier, das funes elpticas, das equaes diferenciais e da anlise complexa, e da introduo dos mtodos analticos na teoria dos nmeros (Dirichlet, Riemann) h que referir como especialmente relevante para os fundamentos o processo de rigorizao ou aritmetizao iniciado com Cauchy e Bolzano e continuado com Dedekind, Dirichlet, Cantor e Weierstrass. O instrumento privilegiado deste processo foi a teoria (intuitiva) dos conjuntos de Dedekind ([5], II) e, principalmente, de Cantor. Todavia, aquela aritmetizao significou a substituio da intuio geomtrica, que to bem servira a matemtica e os matemticos durante sculos, por uma outra, bem menos fivel: a intuio dos conjuntos abstractos. Na lgica e fundamentos, para alm das tentativas incipientes de algebrizao levadas a cabo por Boole, so especialmente relevantes as construes do contnuo real por Cantor e Dedekind (1872) e as axiomticas para os nmeros naturais de Dedekind (1888) e Peano (1889) No que respeita lgica, assistimos ao nascimento da moderna lgica simblica ou lgica matemtica com os trabalhos de Peirce e, principalmente, de Frege. Os sucessos na axiomatizao da aritmtica e da geometria levam ao surgimento da ideia de fundar ou fundamentar toda a matemtica 6

num grande sistema fundacional, compreendendo, desde o incio, a lgica inferencial e a teoria dos conjuntos, projecto que entusiasticamente abraado por Frege e por Peano (j no sc. XX, por Russell, Zermelo, Bourbaki, ...). As tendncias dominantes foram, portanto, as de crescente abstraco, purificao (afastamento das cincias fsicas), algebrizao e axiomatizao (caracterizao implcita abstracta de objectos matemticos, espaos e estruturas), acompanhadas de um certo empobrecimento das componentes de clculo, ou melhor, de uma maior nfase ou importncia fundacional e operativa dos infinitos actuais e dos mtodos existenciais. Todavia, algumas vozes, poucas, mas respeitveis levantaram-se contra estas tendncias, como Kronecker e Poincar, mas por razes diferentes. A natureza da matemtica mudou irremediavelmente, percorrendo uma grande distncia desde as caracterizaes antigas como cincia da quantidade (Euler) ou cincia dos factos gerais sobre as relaes entre magnitudes (Gauss). J Boole, na tradio dos algebristas ingleses, redefine a matemtica como um clculo simblico, um mtodo baseado no emprego de smbolos, cujas leis de combinao so conhecidas e gerais, e cujos resultados admitem interpretao consistente. Mas a definio de Cantor enfatiza, em alternativa representao simblica, a utilizao de conceitos abstractos, independentemente da eventual adequao ou aplicabilidade s outras cincias: No processo do seu desenvolvimento, a matemtica inteiramente livre e apenas condicionada no sentido auto-evidente de os seus conceitos serem mutuamente consistentes e estarem em relaes exactas, organizadas por definies, com aqueles conceitos que foram introduzidos previamente e que j esto estabelecidos e disponveis (Cantor [4], em Ewald [6], vol. 2, p. 896) Representao simblica e clculo, de um lado, raciocnio conceptual sobre estruturas abstractas, por outro, so as duas maneiras, no inteiramente incompatveis, de encarar a natureza da matemtica e da actividade dos matemticos, as quais, em diferentes graduaes, esto ambas presentes nos programas e metodologias de Hilbert nos estudos fundacionais. A preferncia pela viso simblica e computacional particularmente forte em Kronecker, que se exprime do seguinte modo a esse respeito e tem influncia na concepo da teoria da demonstrao de Hilbert: (...) e todos os resultados da investigao matemtica mais profunda devem, finalmente, ser expressos nas formas simples das propriedades dos inteiros. Mas para que estas formas paream simples necessrio, acima 7

de tudo, possuir uma maneira adequada e reconhecvel de expresso e representao dos prprios nmeros. O esprito humano tem trabalhado neste projecto persistente e laboriosamente desde a pr-histria... (Kronecker [24], em Ewald [6], vol. 2, p. 955) Em alguns aspectos, como a primordialidade dos nmeros inteiros e a importncia dos clculos explcitos, Kronecker antecipa o intuicionismo/construtivista de Brouwer (1908), personagem que entra em cena a meio da pea das preocupaes de Hilbert mas central ao reforo e encaminhamento dessas mesmas preocupaes. A divergncia ou oposio entre os dois pontos de vista tem real importncia para a matemtica (para alm do interesse filosfico ou especulativo) quando referidos abordagem do infinito matemtico. Para Kronecker, s lcito lidar com noes infinitrias (ordinal transfinito cantoriano, nmero real) mediante a representao simblica explcita e, mesmo assim, s so permitidas operaes e relaes de natureza algortmica. Para os defensores dos infinitos cantorianos abstractos, os objectos matemticos infinitos podem ser caracterizados abstractamente e considerados no seu valor nominal, apenas restringidos aos requisitos mnimos de determinao e consistncia. Cantor especialmente sensvel a este respeito e defende vigorosamente a liberdade criativa com restries mnimas pagando, por isso, um elevado preo o da tranquilidade e sanidade mentais) ao avanar que (...) a essncia da matemtica reside na sua liberdade ([4], p. 896) A clivagem ou oposio clculo/abstraco referida tem relevncia na concepo do que se entende ser o papel da lgica em finais do sc. XIX: para os calculistas, a lgica considerada como uma disciplina que se ocupa da representao simblica das noes lgicas e dos mtodos de clculo com elas, em particular, da representao do raciocnio inferencial, ideias que remontam a Leibniz e so abraadas nos trabalhos de Frege, Peano, Russell e Whitehead. Do outro ponto de vista, o da abstraco, exige-se lgica os meios formais de descrio dos objectos e estruturas matemticas, em especial, pelo mtodo axiomtico ou postulacional, desenvolvido principalmente pelos americanos Veblen e Huntington mas que encontra razes nos trabalhos de Dedekind sobre os fundamentos da aritmtica (1888) e da anlise (1872), muito embora o prprio Dedekind considerasse a sua caracterizao (a menos de isomorfismo) dos nmeros naturais como sendo essencialmente de natureza lgica. Finalmente, no final do sc. XIX que comea a emergir (mas no se clarifica totalmente) uma outra clivagem na concepo das matemticas, a qual se torna mesmo indispensvel autonomizao e desenvol-

vimento da moderna lgica matemtica: a distino entre as concepes sintctico-dedutiva e semntico-estrutural do raciocnio matemtico. Chegamos, assim, ao fim do sculo XX onde se confrontam diversas concepes mais ou menos vagas e implcitas da matemtica, da lgica e das relaes entre uma e outra. Isto constitui o pano de fundo para as reflexes e projectos de clarificao e consolidao que Hilbert vai encetar a partir de 1900.

3. Hilbert, a lgica e os fundamentos

Em 1900, por alturas do Congresso Internacional de Matemticos em Paris, Hilbert e Poincar eram considerados os dois maiores matemticos vivos. As razes para isso so conhecidas e no vo ser expostas aqui. Em todo o caso, conveniente registar um importante diferendo com Kronecker e outros construtivistas: sendo Hilbert, desde cedo, adepto fiel dos novos mtodos de Cantor na teoria dos conjuntos recorde-se a clebre frase Ningum nos expulsar do paraso que Cantor criou para ns. ([18], Apndice VIII de [12], p. 243) , e o autor de uma demonstrao existencial, no construtiva, de um importante teorema da teoria dos invariantes, e tendo Kronecker, entre outros (nomeadamente, Brouwer, um pouco mais tarde) insistido em que os teoremas existenciais devem ser demonstrados construtivamente, estava preparado o terreno para a germinao da polmica, levemente sugerida em 1904, que haveria de explodir em 1922. Primeiro, em 1904: Embora na actualidade os matemticos estejam de acordo, no essencial, quanto aos caminhos a percorrer e objectivos a atingir nas suas investigaes sobre os fundamentos da geometria, no acontece o mesmo no que respeita ao problema dos fundamentos da aritmtica; aqui a questo apresenta-se de outra maneira e os investigadores mantm uma variedade de opinies fortemente divergentes e conflituosas. Com efeito: as dificuldades que aparecem ao fundamentar a aritmtica so, em parte, em virtude da sua natureza, distintas daquelas que foram ultrapassadas ao estabelecer os fundamentos da geometria. No exame dos fundamentos desta cincia podiam deixar-se de lado certas dificuldades de carcter puramente aritmtico; porm ao fundamentar a aritmtica, no parece permitido o recurso a outra disciplina bsica. Farei realar, do modo mais claro possvel, as dificuldades essenciais que aparecem nesse problema, submetendo os pontos de vista dos diversos investigadores a uma discusso breve e crtica. Como sabido, L. Kronecker viu no conceito de nmero inteiro o fundamento autntico da aritmtica. Ele props a concepo de que os inteiros e, de facto, o nmero inteiro como um conceito geral (valor paramtrico) so dados directa e imediatamente. Por isso no pde 9

reconhecer que o conceito de inteiro tem de ter uma fundamentao. Poderia cham-lo de dogmtico, na medida em que ele aceita os inteiros com as suas propriedades essenciais como um dogma e j no v mais nada atrs. H. Helmholtz representa o ponto de vista dos empiristas; porm, o ponto de vista experimental puro parece-me ser refutado ao observar-se que por meio da experincia nunca se pode deduzir a possibilidade ou a existncia, possvel ou actual, de um nmero arbitrariamente grande. Pois o nmero de entes, objectos da nossa experincia, por mais extenso que seja, est ainda situado abaixo de um limite finito. Designaria por oportunistas, E. B. Christoffel e todos aqueles adversrios de Kronecker que, guiados pelo sentimento correcto de que sem o conceito de nmero irracional toda a Anlise ficava condenada esterilidade, tratam de salvar a existncia dos nmeros irracionais com a inveno das propriedades positivas desse conceito ou por outros meios semelhantes. Porm, segundo a minha opinio, com os referidos mtodos no se chegaria a uma refutao pertinente do ponto de vista de Kronecker. Entre os sbios que penetraram mais profundamente na essncia do nmero inteiro, menciono os seguintes: G. Frege props-se o problema de fundamentar as leis da aritmtica com os recursos da lgica, no sentido tradicional. Prestou o servio de haver reconhecido correctamente as propriedades essenciais do conceito de nmero inteiro bem como o significado do raciocnio por induo matemtica. Todavia, por coerncia com o seu projecto, ao aceitar como princpio fundamental, entre outros, que um conceito (um conjunto) seja definido e aplicvel imediatamente, somente quando para cada objecto est determinado se ele ou no abrangido pelo conceito,4 e aqui no impe restrio alguma na noo cada objecto, expe-se a cair naqueles paradoxos da teoria dos conjuntos que radicam, por exemplo, na noo de conjunto de todos os conjuntos e que me parecem mostrar que as concepes e os meios de investigao da lgica tradicional no esto altura das severas exigncias da teoria dos conjuntos. Ao invs, desde o princpio que deve ser considerado como objectivo primordial das investigaes sobre a noo de nmero o evitar de tais contradies e o esclarecimento desses paradoxos. R. Dedekind reconheceu claramente as dificuldades matemticas que so encontradas quando se busca uma fundamentao do conceito de nmero inteiro; e de forma sumamente sagaz dedicou-se, em primeiro
normalmente traduzido pela equivalncia E+ + B EB, onde EB uma condio em B (na linguagem da teoria dos conjuntos). Modernamente, B EB a classe determinada (ou definida) pela condio EB, e s conjunto se existir um conjunto F tal que aBEB B F.
4Isto

10

lugar, estruturao de uma teoria dos nmeros inteiros. Em certos aspectos poder-se-ia designar a seu mtodo como transcendental, visto que conduz a uma demonstrao da existncia do infinito por caminhos cuja orientao fundamental utilizada de forma semelhante filosfica,5 caminhos que, certamente, eu no posso tomar como praticveis e seguros, por causa das inevitveis contradies que aparecem com o conceito da totalidade de todos os entes. G. Cantor pressentiu as mencionadas contradies, e para dar expresso a esses sentimentos introduziu a distino entre conjuntos consistentes e inconsistentes. Porm, de acordo com a minha forma de pensar, ao no estabelecer um critrio preciso para essa distino, posso caracterizar a sua concepo sobre este ponto como deixando uma margem para juzos subjectivos que, por conseguinte, no oferece certitude objectiva. ([14], Apndice VII em [12], pp. 221222) E depois, passados quase vinte anos (Hermann Weyl, que fora o discpulo predilecto de Hilbert, convertera-se ao intuicionismo/ construtivismo de Brouwer): (...) O que Weyl e Brouwer fazem consiste em princpio em seguir o caminho desbravado por Kronecker: eles pretendem fundamentar a matemtica deitando pela borda fora todos os fenmenos que os incomodam e estabelecendo uma ditadura de proibies Kronecker. Mas isto significa desmembrar e mutilar a nossa cincia, e se ns segussemos tais reformadores, correramos o risco de perder alguns dos nossos tesouros mais valiosos. Weyl e Brouwer caluniam o conceito geral de nmero irracional, de funo, e at de funo numrica, os nmeros cantorianos [transfinitos] das classes mais altas, etc.; a proposio de que num conjunto infinito de
realidade, a prova da existncia de conjuntos infinitos fornecida por Dedekind do foro psicolgico. Reza assim: 64. Definio. Um sistema W diz-se infinito quando similar a uma sua parte prpria; caso contrrio W diz-se um sistema finito. 65. Teorema. Todo o sistema contendo um nico elemento finito. (...) 66. Teorema. Existem sistemas infinitos. Prova. O domnio dos meus pensamentos, i. e., a totalidade W das coisas que podem ser objectos do meu pensamento, infinita. Pois se = denota um elemento de W , ento o pensamento =w de que = pode ser objecto do meu pensamento tambm elemento de W Se considerarmos este elemento como uma imagem 9= do elemento =, ento a aplicao 9 de W [em W ] assim determinada tem a propriedade de que o sistema imagem W w parte de W ; e W w certamente uma parte prpria de W , pois h elementos de W (e. g. o meu ego) que so diferentes de todo o pensamento =w e, portanto, no esto em W w . Finalmente, claro que se +, , so elementos diferentes de W , ento as suas imagens so tambm diferentes, e por conseguinte a aplicao 9 um similaridade. Portanto, W infinito, como se queria demonstrar. (Dedekind [5], II em Ewald [6] pp. 806807.)
5Na

11

inteiros positivos h sempre um elemento mnimo, e at o tertium non datur lgico (por exemplo, na assero: ou existe um nmero finito de primos, ou h infinitos primos) tudo isto so exemplos de proposies ou modos de inferncia proibidos. Eu penso que, do mesmo modo que Kronecker foi incapaz, na sua poca, de se livrar dos nmeros irracionais (Weyl e Brouwer, todavia, admitem uma verso mutilada e incompleta), tambm Weyl e Brouwer sero incapazes de realizar o seu programa. No: ao contrrio do que Weyl acredita, Brouwer no representa a revoluo, mas apenas uma repetio, com instrumentos antigos, de uma tentativa de golpe que, em tempos, foi tentado com maior ousadia mas, no entanto, falhou redondamente; e agora que o poder do estado foi rearmado e fortalecido por Frege, Dedekind e Cantor, este golpe est condenado ao fracasso. (...) O objectivo de encontrar uma fundao segura para a matemtica tambm o meu. Eu gostaria de reaver para a matemtica a velha reputao de verdade incontestvel, que parece ter perdido em consequncia dos paradoxos da teoria dos conjuntos; mas creio que isso pode ser realizado sem perder, entretanto, nenhuma das grandes realizaes. O mtodo que advogo no outro seno o axiomtico. ([16], em [5], p. 1119) Outra citao, onde Hilbert critica, mais uma vez, com veemncia, uma opo lgica fundamental do intuicionismo de Brouwer: A ideia fundamental na minha teoria da demonstrao no outra seno a de descrever a actividade de compreenso da nossa inteligncia, de estabelecer um protocolo de regras segundo as quais o nosso pensamento actua realmente. O pensamento processa-se como o falar e o escrever: construimos asseres umas aps outras. Se alguma totalidade de observaes e fenmenos merece ser constituda em objecto de investigao sria e exaustiva esta, pois, afinal de contas, parte da tarefa da cincia libertar-nos da arbitrariedade, do sentimento, dos hbitos e preconceitos, e proteger-nos do subjectivismo que j se observa nos pontos de vista de Kronecker e me parece ter culminado no intuicionismo. O desafio mais agudo e apaixonado lanado pelo intuicionismo aquele que contesta a validade do tertium non datur, por exemplo, no caso mais simples, a validade do raciocnio segundo o qual toda a assero contendo uma varivel numrica ou vlida para todos os valores numricos da varivel ou existe um nmero para o qual falsa. O tertium non datur uma consequncia do axioma lgico, &,6 e jamais originou o
6Trata-se

do axioma-esquema E+ p E&B EB, que desempenha, no formalismo de Hilbert, o papel de axioma da escolha. & o smbolo de escolha de Hilbert, adoptado por Bourbaki mas rebaptizado 7 .

12

mais pequeno erro. Alm disso, to claro e compreensvel que exclui aplicaes abusivas. Em particular, o tertium non datur no deve ser minimamente culpado pelos conhecidos paradoxos da teoria dos conjuntos;7 outrossim, estes paradoxos foram devidos introduo de noes inadmissveis e sem sentido, que na minha teoria da demonstrao ficam automaticamente excludas. As demonstraes de existncia com auxlio do tertium non datur so em geral especialmente atractivas pela sua brevidade e elegncia surpreendentes. Tirar ao matemtico o tertium non datur seria o mesmo que querer proibir ao astrnomo o uso do telescpio, ou ao boxeur o emprego dos punhos. A no aceitao do uso do tertium non datur nos teoremas de existncia , em sntese, quase que uma renncia da cincia matemtica. ([19], Apndice IX em [12], p. 270) Hilbert est criticando mas no distorcendo o que, no seu entender, so alguns aspectos limitativos do intuicionismo/construtivismo matemtico de Brouwer, relativamente a conceitos e proposies da matemtica clssica, cantoriana, de que Hilbert no quer abdicar. Alm disso, convm no perder de vista que os trabalhos de Kronecker foram de grande importncia para alguns dos trabalhos de Hilbert, nomeadamente, na teoria algbrica dos nmeros, e que, mesmo que no o reconhea explicitamente, a herana deixada por Kronecker estar presente num aspecto metodolgico fundamental da Teoria da Demonstrao de Hilbert: o raciocnio finitista ou intuicionista estrito necessrio, a nvel metamatemtico, para garantir a segurana da matemtica no intuicionista. Antes de 1899 (ano de publicao da primeira edio dos Fundamentos da Geometria, [12]), alguns aspectos da actividade cientfica de Hilbert exibiam preocupaes de natureza fundacional, como, por exemplo, o seu trabalho nas fundaes da teoria algbrica dos nmeros. Pouco depois, outro artigo igualmente crucial para os fundamentos, desta vez da anlise real, onde apresentada a primeira axiomtica para os nmeros reais, comea assim: Quando observamos e comparamos entre si os numerosos trabalhos sobre os princpios da aritmtica e sobre os axiomas da geometria, percebemos, no obstante as mltiplas analogias e afinidades destes dois assuntos, uma ntida diferena no que respeita ao mtodo de investigao. Recordemos, em primeiro lugar, o modo e a forma de introduzir o conceito de nmero. Partindo da unidade, imaginamos criados, como se faz ordinariamente, os demais nmeros naturais #, $, %, mediante o processo de contagem, e desenvolvemos as suas leis de clculo; depois, por
facto, foi demonstrado por K. Gdel em 1939 que o axioma da escolha consistente relativamente aos restantes axiomas da teoria axiomtica dos conjuntos.
7De

13

necessidades de generalizao na prtica da subtraco, chega-se aos nmeros negativos; em seguida define-se o nmero fraccionrio, digamos como um par de nmeros , com os quais toda a funo linear possui um zero; e finalmente, define-se o nmero real como um corte ou uma sucesso fundamental, chegando-se a que toda a funo inteira racional (e at toda a funo contnua) que muda de sinal possui um zero. A este processo de introduo do conceito de nmero podemos denominar de mtodo gentico, porque o conceito mais geral de nmero real engendrado por sucessivas extenses do conceito simples de nmero. De forma essencialmente distinta se procede na estruturao da geometria. Nesta disciplina procura-se comear com hipteses de existncia de todos os elementos, isto , postula-se partida trs sistemas de entes (nomeadamente, os pontos, as rectas e os planos), e estabelecem-se relaes entre esses elementos essencialmente segundo o padro de Euclides por meio de certos axiomas que so os de incidncia, ordem, congruncia e continuidade. Pe-se ento o problema necessrio de demonstrar a consistncia [ou no-contradio] e a completude destes axiomas, isto , deve-se provar que a aplicao dos axiomas estabelecidos no pode conduzir a contradio e, ainda, que tais axiomas so suficientes para a demonstrao de todos os teoremas geomtricos. Chamaremos mtodo axiomtico a este procedimento de investigao. Coloquemos a questo de se, na realidade, o mtodo gentico precisamente o nico apropriado para o estudo do conceito de nmero, e o mtodo axiomtico para os fundamentos da geometria; tambm tem interesse comparar ambos os mtodos e investigar qual deles apresenta mais vantagens para a investigao lgica dos fundamentos da mecnica ou de outra cincia fsica qualquer. A minha opinio a seguinte: apesar do alto valor heurstico e pedaggico do mtodo gentico, merece, no entanto a minha preferncia o mtodo axiomtico para a representao definitiva do nosso conhecimento e a sua plena fundamentao lgica. ([13], Apndice VI em [12], p. 216). No de admirar, portanto, que na Conferncia Internacional de Matemticos em Paris, que teve lugar em Agosto de 1900, dos 23 problemas em aberto anunciados por Hilbert (apenas 10 foram anunciados oralmente na conferncia), quatro sejam de natureza lgica ou fundacional: o problema do contnuo de Cantor (sobre a potncia ou cardinalidade do contnuo, #i! , se ou no a primeira a seguir potncia do numervel, i! ); o problema da consistncia ou no contradio da aritmtica dos nmeros reais (isto , da Anlise); 14

 o problema do tratamento matemtico dos axiomas da Fsica; e o problema da deciso sobre a existncia de solues inteiras para as equaes diofantinas. Nos trabalhos fundacionais em que aplicado o mtodo axiomtico, Fundamentos da Geometria [12] e Sobre o conceito de nmero [13], ainda no claro, todavia, para que lado Hilbert se inclina mais na concepo do mtodo que tem claramente a sua preferncia, se a sintctico-dedutiva se a semntico-estrutural. Se, por um lado, num e noutro, os axiomas so claramente formulados, mas nenhuma referncia explcita feita linguagem ou lgica subjacentes, por outro refere-se em alguns passos a aspectos dedutivos, como, na parte sublinhada da citao acima, referindo-se geometria, a exigncia de que tais axiomas so suficientes para a demonstrao de todos os teoremas geomtricos. Mas a concepo semntico-estrutural ainda parece prevalecer, por exemplo, nas partes mais avanadas dos Fundamentos em que se discutem diversos modelos de sistemas e subsistemas de axiomas para a geometria (euclidiana e no euclidianas) e, no artigo com a axiomtica dos reais [13], a inteno claramente a de obter uma caracterizao categrica (isto , que possua um modelo nico a menos de isomorfismo) dos nmeros reais. Mas na conferncia de Heidelberga em 1904 [14] h j um anncio de que se deve procurar preferivelmente uma prova sintctica de consistncia para a aritmtica. Entre esta conferncia e a conferncia Pensamento Axiomtico em Zurique, em 1917 [15], vrias coisas importantes acontecem na matemtica, na lgica e nos fundamentos: Zermelo introduzira o Axioma da Escolha em 1904 para demonstrar o Teorema da Boa Ordenao, reincide em 1906 e em 1908 apresenta a sua axiomtica para a teoria dos conjuntos de Dedekind e Cantor, segundo a doutrina da limitao da grandeza, com vista a bloquear alguns dos paradoxos conhecidos; Russell publica a primeira edio de The Principles of Mathematics em 1903, e em colaborao com Whitehead publica trs volumes (dos quatro projectados) dos Principia Mathematica em 1910. 1912 e 1913, respectivamente, nos quais implementa o programa logicista (oriundo em Frege) de reconstruo da matemtica em termos lgicos; Poincar publicou as suas crticas de Hilbert [14] e dos logicistas em 1905 e 1906; Brouwer comeou a desenvolver o seu intuicionismo/construtivismo matemtico em 1908; Weyl publica o Das Kontinuum [30] em 1917, onde visvel a sua afinidade com o construtivismo de Brouwer, desertando Hilbert. O artigo de Hilbert de 1918, Pensamento Axiomtico, explora os aspectos fundacionais do mtodo axiomtico, os quais j distingue claramente dos aspectos puramente matemticos; mas mais importante do que isto a distino que se adivinha na sua mente entre a 15

justificao de uma teoria matemtica usando mtodos semnticos (por exemplo, ao construir um modelo da geometria hiperblica dentro de um modelo da geometria euclidiana) e a justificao dos prprios mtodos matemticos: O problema da consistncia do sistema de axiomas para os nmeros reais pode ser igualmente reduzido, mediante a utilizao de conceitos conjuntistas, ao mesmo problema mas para os inteiros: este o mrito das teorias dos nmeros irracionais desenvolvidas por Weierstrass e Dedekind. Somente em dois casos que este mtodo de reduo de um domnio do conhecimento a outro claramente no est disponvel, nomeadamente, quando se trata dos axiomas para os prprios inteiros, e quando se trata dos fundamentos da teoria dos conjuntos; pois, nestes casos, no h nenhuma outra disciplina alm da lgica que seria possvel invocar. (Hilbert [15], em Ewald [6], p. 1113) Uns pargrafos mais adiante, aps dar diversos exemplos matemticos em que desempenha um papel importante a questo da decidibilidade de uma questo matemtica num nmero finito de passos (como a questo do nmero mximo de componentes separadas que necessrio para formar uma superfcie do quarto grau), escreve (itlicos meus): Estas discusses particulares mostram como uma variedade de mtodos de demonstrao se pode aplicar ao mesmo problema, e devem sugerir como deve ser fundamental o estudo da essncia da demonstrao matemtica, se quisermos responder a questes tais como a decidibilidade num nmero finito de operaes. Todas aquelas questes de princpio, que caracterizei acima, incluindo a ltima isto , a questo sobre a decidibilidade num nmero finito de operaes parecem-me constituir um novo e importante campo de investigao que est por explorar. Estou persuadido de que, a fim de conquistar este campo, necessrio tornar o prprio conceito de demonstrao matemtica num objecto de investigao, do mesmo modo que o astrnomo considera o movimento da sua prpria posio, e o fsico estuda a teoria dos seus instrumentos, e o filsofo critica a prpria razo. Bem entendido, a execuo deste programa uma tarefa ainda no realizada. Em concluso, gostaria de resumir em poucas frases a minha concepo geral sobre a essncia do mtodo axiomtico. Acredito que tudo o que possa ser objecto de pensamento cientfico torna-se dependente do mtodo axiomtico, e assim, indirectamente da matemtica, mal esteja maduro para a teorizao. Ao buscar camadas de axiomas cada vez mais profundas, no sentido explicado acima, tambm adquirimos intuies cada 16

vez mais profundas sobre a essncia do prprio pensamento cientfico, e tornamo-nos cada vez mais conscientes da unidade do nosso conhecimento. Sob a bandeira do mtodo axiomtico, a matemtica chamada a assumir um papel dianteiro na cincia (Hilbert [15], em Ewald [6], p. 1115) Aqui est presente um elemento importante para a compreenso da teoria da demonstrao hilbertiana, mas principalmente por causa da preocupao de Hilbert com a justificao dos mtodos matemticos que, quando retoma em fora os trabalhos de fundamentos nos anos 20, a balana ir cair decididamente para o lado sintctico o mtodo, por excelncia, da teoria da demonstrao. Por estas alturas j claro para Hilbert que os sistemas dedutivos podem ser estudados em si mesmos, independentemente de qualquer interpretao semntica. Em se tratando de sistemas para a lgica, claro que eles, alm de consistentes, devem ser suficientes para captar todas as formas de raciocnio matemtico. Formulado de outra maneira, este o problema da completude semntica, que, segundo os estudiosos, ter sido resolvido para a lgica proposicional e leccionado no primeiro semestre de 191718, e claramente formulado como problema em aberto para a lgica de 1. ordem na monografia baseada nas notas daquele curso, todavia s publicada em 1928 [22]. Como sabido, Gdel resolve completamente esta questo na sua tese de doutoramento em 1929. 4. Formalismo e programa de consistncia O termo formalismo tem um significado e conotao que anterior s concepes filosficas e os trabalhos de Hilbert na lgica e nos fundamentos, derivando simplesmente do facto de uma dada teoria matemtica poder (e dever) ser, primeiro, objecto de uma formalizao estrita, a qual envolve a abstraco total do significado, sendo o resultado chamado um sistema formal ou formalismo, ou, por vezes, teoria formal. No formalismo extremo que por vezes se atribui (com boa razo) a Frege e Russell, no h mais do que isso na matemtica.8 Estabelecido o sistema formal, o mesmo pode agora ser visto de fora e ser objecto de estudo matemtico, estudo este que chamado de metamatemtica ou teoria da demonstrao. O gnio de Hilbert foi ter feito a sntese destas duas coisas: de um lado, uma axiomatizao da (ou de grande parte da) matemtica num grande sistema fundacional, compreendendo a lgica inferencial, na tradio de Frege, Russell e Whitehead e Zermelo; do outro lado, estudar a prpria lgica ou os prprios sistemas formais como se fossem um ramo da lgebra, na tradio de Boole e de Peirce. Alm disso,
posies de Frege e Russell so geralmente conotadas com o logicismo, que no mais que um formalismo reducionista, em que a matemtica se reduz e emana da lgica.
8As

17

 crucial para Hilbert distinguir judiciosamente a matemtica formalizada num dado sistema formal, da matemtica utilizada para fazer a metamatemtica do sistema. Esta distino crucial, em particular, se se pretende demonstrar matematicamente a consistncia do grande sistema fundacional, como foroso que seja feito, para evitar surpresas futuras como as que inundaram e abalaram as fundaes da teoria ingnua dos conjuntos de Cantor. Para que uma tal prova de consistncia no possa jamais ser contestada, h que restringir voluntariamente os meios conceptuais, matemticos e tcnicos nossa disposio. Este um aspecto essencial do programa de consistncia a restrio aos mtodos finitistas. nesta segunda vertente que entra o pensamento intuitivo referido no ttulo desta exposio. Veremos como mais adiante. O formalismo extremo contende que a matemtica abstracta, infinitria, um mero jogo simblico e formal desprovido de significado, e que a tarefa de escolher um dado jogo preferivelmente a outro est fora do mbito normal de actividade dos matemticos. Mas claro, para Hilbert, em algumas das citaes acima e no s, que a matemtica uma disciplina cientfica plena de significado, e que qualquer tentativa de a restringir com base em pressupostos filosficos ou ideolgicos (como parece fazer Brouwer) deve ser rejeitada. Por outro lado, Hilbert jamais desrespeita o papel da intuio e do pensamento intuitivo na actividade matemtica e cientfica, em geral. Pelo contrrio, como visvel na citao na pg. 16 acima, e em [16], p. 1120, onde diz que (itlico meu): O mtodo axiomtico e h-de permanecer o instrumento indispensvel, apropriado s nossas mentes, a toda a investigao exacta em qualquer domnio: logicamente incontestvel e ao mesmo tempo frutuoso; ele garante, portanto, a mxima flexibilidade na pesquisa. Proceder axiomaticamente significa, neste sentido, nada mais do que pensar conscienciosamente. Na conferncia em Hamburgo em 1927 ([19], em [11] p. 475) diz: O jogo de frmulas que Brouwer tanto deprecia tem, alm do seu valor matemtico, um importante significado filosfico. Pois este jogo de frmulas corre segundo determinadas regras, nas quais se exprime a tcnica do nosso pensamento. Estas regras formam um sistema fechado, e podem ser descobertas e enunciadas uma vez por todas. A ideia fundamental da minha teoria da demonstrao no outra seno a de descrever a actividade da nossa compreenso, com vista a estabelecer um protocolo das regras conforme ao modo como o nosso pensamento realmente procede. Pensar, ao que parece, assemelha-se fala e escrita: formamos proposies que colocamos umas a seguir s outras. Se qualquer totalidade 18

de observaes e fenmenos merece ser objecto de investigao sria e profunda esta pois, afinal de contas, parte da tarefa da cincia libertar-nos da arbitrariedade, do sentimento e dos hbitos e proteger-nos do subjectivismo que j se manifestou nos pontos de vista de Kronecker e, ao que me parece, culminou no intuicionismo. Finalmente, a conferncia Sobre o infinito termina assim (sublinhados meus): Portanto, para demonstrar a propriedade de consistncia, necessitamos unicamente de provar que nenhuma demonstrao, conforme s regras estabelecidas, pode terminar com a frmula final ! !, ou seja, que ! ! no uma frmula demonstrvel. E esta uma questo que se coloca fundamentalmente no campo da intuio, do mesmo modo que se encontra no campo da teoria material dos nmeros a tarefa, por exemplo, de demonstrar a irracionalidade de #, isto , de demonstrar que impossvel encontrar dois numerais e que estejam na relao # ## , problema para o qual se tem de mostrar que impossvel exibir dois numerais com uma certa propriedade. A questo correspondente, para ns, mostrar que impossvel exibir uma demonstrao de certo tipo. Mas uma demonstrao formalizada, assim como um numeral, um objecto concreto e visualizvel, que pode ser comunicado do princpio ao fim. Que a frmula final possui a estrutura adequada, nomeadamente, ! !, tambm uma propriedade da demonstrao que pode ser concretamente verificada. A demonstrao de que ! ! no demonstrvel pode de facto ser dada, o que nos fornece uma justificao para a introduo das nossas proposies ideais.9 Vemos ao mesmo tempo, com agradvel surpresa, que com isto resolvemos tambm uma questo candente durante muito tempo, a saber: o problema da demonstrao da consistncia dos axiomas aritmticos.10 O problema da consistncia surge sempre que se aplica o mtodo axiomtico. Afinal de contas, ao seleccionar, interpretar e manipular axiomas e regras, no queremos confiar apenas na boa f e pura confiana. Na geometria e nas teorias fsicas consegue-se a demonstrao da consistncia atravs de uma reduo consistncia dos axiomas aritmticos. Este mto9A questo no to simples como aqui parece sugerido, como se sabe (v. tambm o apndice IX). S em 1940 que W. Ackermann produziu uma demonstrao da consistncia da aritmtica de primeira ordem com induo, mas utilizando na demonstrao a induo = transfinita at ao ordinal &! == . Entretanto, os metateoremas de incompletude de Gdel (1931) haviam j deitado por terra o programa finitista de Hilbert para provas de consistncia de teorias suficientemente fortes. 10Por axiomas aritmticos entende Hilbert, por vezes, os axiomas para os nmeros reais (v. Apndice VI).

19

do falha, evidentemente, no caso da prpria aritmtica. A nossa teoria da demonstrao, ao tornar possvel este importante passo final atravs do mtodo dos elementos ideais, constitui a cpula do edifcio da teoria axiomtica. E aquilo que j experimentmos duas vezes, primeiro com os paradoxos do clculo infinitesimal e, depois, com os paradoxos da teoria dos conjuntos, no poder acontecer terceira vez e nunca voltar a acontecer. Mas a nossa teoria da demonstrao aqui esboada no apenas capaz de garantir os fundamentos da cincia matemtica; creio, alm disso, que ela desbrava um caminho que, a ser seguido, nos permitir lidar pela primeira vez com problemas gerais de carcter fundamental que caem no domnio da matemtica mas nunca puderam ser abordados antes. A matemtica evolui, em certo sentido, para a converso num tribunal arbitral, um tribunal de ltima instncia que decidir questes de princpio e em bases concretas tais, que o acordo universal alcanvel e todas as asseres podem ser verificadas. Tambm as asseres da recente doutrina denominada intuicionismo, ainda que modestas, podem, na minha opinio, obter o seu certificado de justificao somente por via deste tribunal. Por ltimo, quero recordar o nosso assunto principal e, no que ao infinito diz respeito, fazer o balano das nossas reflexes. O resultado final : o infinito no se encontra realizado em parte alguma; no est presente nem na natureza nem admissvel como fundamento do nosso pensamento racional uma convergncia notvel entre ser e pensar. Adquirimos uma convico em sentido contrrio ao dos primeiros esforos de Frege e Dedekind, a convico de que, para o conhecimento cientfico ser possvel, so indispensveis certas intuies e concepes intuitivas; a lgica s por si no basta. O direito a operar com o infinito s pode ser assegurado atravs do finito. O papel que fica reservado ao infinito simplesmente o de uma ideia se se compreende por ideia, conforme as palavras de Kant, um conceito da razo que transcende toda a experincia e por meio do qual o concreto completado de modo a formar uma totalidade; uma ideia, alm disso, na qual s podemos confiar sem hesitaes dentro do quadro fornecido pela teoria que aqui esbocei e defendi. ([18], Apndice VIII de [12], pp. 254255). Que formalismo , ento, o de Hilbert? Mais importante do que aquilo que Hilbert parece ter por vezes apregoado, o que ele tentou pr em prtica, e a parte mais significativa disto a seguinte: a justificao da matemtica abstracta (formalizada) mediante uma prova de consistncia s exige a aceitao da tese chamemos-lhe tese de Hilbert de que a prtica matemtica informal pode ser representada adequadamente nos sistemas formais e, assim, uma prova finitista de consistncia mostrar que a prtica informal, por muito abstracta ou infinitria que seja, no 20

contraditria, ou seja, uma justificao dos mtodos abstractos utilizando mtodos concretos. O formalismo hilbertiano constitui, assim, uma maneira precisa, muito sui generis, de formular a questo da consistncia; mas, vistas as coisas do exterior, Hilbert tambm sensvel a outros critrios como a beleza, a elegncia, a utilidade e a aplicabilidade s outras cincias. Ele tambm tem em conta, portanto, tal como os intuicionistas, a importncia de consideraes estticas e/ou pragmtico-intuitivas na feitura da matemtica, por um lado, enquanto a justificao dessa mesma matemtica, formalizada num sistema formal, feita mediante mtodos intuicionisticamente aceitveis. Ao contrrio de outras vises propaladas sobre a natureza do formalismo, nomeadamente, pelo prprio Brouwer, Hilbert no defende que a matemtica no tem significado, mas apenas que questes relativas ao significado so de natureza externa, diferentes das questes matemticas, embora admita que nem todas as questes externas sejam insusceptveis de investigao matemtica a consistncia uma delas. O formalismo de Hilbert no , como alguns podero ter pensado, um formalismo exarcebado Russell, mas sim um formalismo benigno, que para sobreviver precisava, apenas, de um remdio simples e natural uma prova finitista de consistncia. Hlas, tal remdio no existe, mas a Teoria da Demonstrao permanece um dos ramos mais vigorosos da moderna lgica matemtica com relevncia para diversas aplicaes nas cincias da computao.

5. Bibliografia
[1] Aspray, W., e Kitcher, P., History and Philosophy of Modern Mathematics, Univ. Minnesota Press, 1988. [2] Barwise, J., Handbook of Mathematical Logic, North-Holland, 1977. [3] Benacerraf, P., e Putnam, H., Philosophy of Mathematics, second edition, Cambridge Univ. Press, 1983. [4] Cantor, G., Foundations of a General Theory of Manifolds: a MathematicalPhilosophical Investigation into the Theory of The Infinite (1883), em [6], vol. 2, pp. 878920. [5] Dedekind, R., Essays on the Theory of Numbers: I. Continuity and Irrational Numbers (Stetigkeit und irrationale Zahlen, 1872); II. The Nature and Meaning of Numbers (Was sind und was sollen die Zahlen?, 1888), Dover, 1963; tb. em Ewald [6], pp. 765779, 790833; trad. port. de II (Continuidade e nmeros irracionais) revista por A. J. Franco de Oliveira em Bol. da Soc. Port. de Matemtica 41 (Outubro de 1999), pp. 97119. [6] Ewald, W. (ed.) From Kant to Hilbert: A Source Book in the Foundations of Mathematics, 2 vols., Clarendon Press, 1996.

21

[7] Fraenkel, A. A., Bar-Hillel, Y., e Levy, A., e Van Dalen, D. Foundations of set theory, second revised edition, North-Holland, 1973. [8] George, A., e Velleman, D. J., Philosophies of Mathematics, Blackwell Publ., 2002. [9] Grattan-Guiness, I., The Search for Mathematical Roots (18701940), Princeton U. P., 2000. [10] Hatcher, W. S., The Logical Foundations of Mathematics, Pergamon Press, 1982. [11] van Heijenoort, J. (ed.), From Frege to Gdel, A Source Book in Mathematical Logic, 18791931, Harward U. P., 1967. [12] Hilbert, D., Fundamentos da Geometria (Grundlagen der Geometrie, Teubner, 1899; 14. edio 1999), trad. port. baseada na 7. edio alem (B. G. Teubner Verlag, Stuttgart, 1930; trad. ingl. por Leo Unger, revista por P. Bernays, Open Court P. C., 1971), com Apndices do autor e Suplementos de P. Bernays, H. Poincar e F. Enriques, por Maria do Pilar Ribeiro (col. de J. da Silva Paulo, 1952), Paulino Lima Fortes, A. J. Franco de Oliveira (col. de A. Vaz Ferreira), Gradiva, 2003; [13] , Sobre o conceito de nmero (ber den Zahlbegriff, 1900), Jahresbericht der Deutschen Mathematiker-Vereinigung, 1900, pp 180194; trad. ingl. em [6], vol.2, pp. 10891095; Apndice VI de [12]; [14] , Sobre os fundamentos da lgica e da aritmtica (ber dir Grundlagem der Logik und der Arithmetic), Actas do III Congresso Internacional de matemticos em Heidelberg, 1904); Apndice VII de [12]; [15] , Pensamento Axiomtico (Axiomatisches Denken, Zurique, 1917), Math. Ann., Vol. 78 (1918), pp. 405415, trad. ingl. em Ewald [6], pp. 1105 1115; [16] , As novas fundamentaes da matemtica, Primeiro relatrio (Neubegrndung der Mathematik, Erste Mitteilung, Hamburgo 1922a); trad. ingl. em Ewald [6], pp. 11051115. [17] , Os fundamentos lgicos da matemtica (Die logichen Grundlagen der Mathematik, Leipzig, 1922b), Math. Ann. 88 (1923), pp. 157165; trad. ingl. em Ewald [6], pp. 11341148. [18] , Sobre o infinito (ber das Unendliche, Mnster, 1925), Math. Ann., Vol. 95 (1926) pp. 161190,11 verso abreviada no Apndice VIII de [12];
dada a 4 de Junho de 1925 por ocasio de um congresso organizado pela Sociedade Matemtica da Westflia, em Mnster, em homenagem a Weierstrass. O texto publicado neste apndice omite, entre outras, uma longa passagem dedicada ao problema do contnuo, na qual Hilbert julga ter delineado uma prova da Hiptese do Contnuo de Cantor. O texto completo da traduo em ingls pode ser consultado na colectnea de van Heijenoort [11], pp. 369392.
11Conferncia

22

[19] , Os fundamentos da matemtica (Die Grundlagen der Mathematik, Hamburgo, 1927), Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universitt 6 (1928) pp. 6585; trad. ingl. em van Heijenoort [11] pp. 464479; verso abreviada no Apndice IX de [12]; [20] , Problemas na fundamentao da matemtica (Probleme der Grundlegung der Mathematik, Bolonha 1928), Atti del Congresso internazionale dei matematici, vol. 1, pp. 135141; reimp. com emendas e acrescentos em Math. Ann. 102 (1929), pp. 19; Apndice X de [12]. [21] , Os fundamentos da teoria elementar dos nmeros (Die Grundlegung der elementarem Zahlentheorie), Math. Ann. 104 (1931), pp. 485494; trad. ingl. em [6], vol. 2, pp. 11481157. [22] Hilbert, D. e Ackermann, W., Principles of Mathematical Logic (Grundzge der Theorishen Logik, 1928; segunda edio 1938), Chelsea 1950. [23] Hodel, R. E., An Introduction to Mathematical Logic, PWS Publ., 1995. [24] Kronecker, L., On the concept of number (ber den Zahlbegriff, 1887), Journ. fr die reine und angewandle Mathematik 101 (1887), pp. 337355; em Ewald [6], vol. 2, pp. 947955. [25] Mancosu, P., From Brouwer to Hilbert, The debate on the Foundations of Mathematics in the 1920s, Oxford U. P., 1998. [26] Oliveira, A. J. Franco de, Teoremas de impossibilidade: marcos milenrios na histria da matemtica, Episteme, Ano IV, 1012 (2002), 2. srie, pp. 307 313. [27] Reid, C., Hilbert, Springer-Verlag, 1996. [28] Russell, B., The Principles of Mathematics (1903), segunda edio, Allen and Unwin, 1937. [29] Russell, B. e Whitehead, A. N., Principia Mathematica, 3 vols., Cambridge U. P. 19101913. [30] Weyl, H., The Continuum, A Critical Examination of the Foundation of Analysis (Das Kontinuum, 1917), Dover, 1994.

23

Anexo
Tabela com os principais resultados pertinentes aos Fundamentos (desde meados do sc. XIX at aos anos trinta do sc. XX) Lgica Matemtica Matemtica e Teoria dos Conjuntos
PONCELET SACCHERI, GAUSS BOLYAI, LOBACHEWSKII Geom. projectiva, Geom. no-euclidianas BOLZANO DEDEKIND, CANTOR Aritmetizao da Anlise Teoria dos Conjuntos (intuitiva) Numerabilidade, diagonalizao ZERMELO Teoria Axiomtica dos Conjuntos BROUWER Intuicionismo, Construcionismo FRAENKEL, HILBERT VON NEUMANN, BERNAYS 1930

1810-1830 BOOLE, etc 1850 FREGE Linguagens formais 1872 1880 1900 PARADOXOS 1908

RUSSELL & WHITEHEAD Matemtica = Lgica + Teoria dos Conjuntos LWENHEIM SKOLEM Modelos Numerveis GDEL Completude Semntica da Lgica de 1. ordem Incompletude da Aritmtica Formal (ou: de Peano)

1915

1931

(HC): Hiptese do Contnuo, (AC): Axioma da Escolha

24