Revista Brasileira de Ensino de F sica, v. 28, n. 4, p. 525-530, (2006) www.sbsica.org.

br

Os trabalhos de Gdel e as denominadas cincias exatas. Em o e homenagem ao centenrio do nascimento de Kurt Gdel a o
(Gdel works and the named exact sciences: To honor centenary of the birth of Kurt Gdel) o o

C.V. DAlkaine1
Grupo de Lgica e Filosoa da Cincia, Universidade Federal de So Carlos, So Carlos, SP, Brasil o e a a Recebido em 27/10/2006; Aceito em 5/12/2006 Aps uma breve resenha da vida de Gdel, assinalando as origens de suas tradioes intelectuais, so anao o c a lisados o seu teorema da completude, o seu trabalho de tese, o teorema da incompletude e o teorema sobre a impossibilidade de demonstrar a consistncia de sistemas formais complexos dentro do mesmo sistema formal. e A seguir, so discutidas suas contribuioes ` independncia da Hiptese do Cont a c a e o nuo e do Axioma de Escolha dos outros axiomas da teoria dos conjuntos. Nesse contexto so nalmente discutidas algumas idias em relaao a e c ` pequena inuncia que as contribuioes de Gdel, para descrever alguns dos limites do pensamento racional, a e c o tm tido nas assim chamadas cincias exatas ou naturais, especialmente, F e e sica e Qu mica. Algumas reexes o so, nesse sentido, propostas. a Palavras-chave: Gdel, teoremas, completude, incompletude, consistncia, cincias exatas. o e e After a brief review of the Gdel life, pointing out the origins of his intellectual traditions, his completeness o theorem, his thesis work, the incompleteness theorem and the theorem about the impossibility to demonstrate the consistence of a complex formal system in the same formal system are analyzed. In the following his contributions to the independence of the Hypothesis of Continuous and the Axiom of Choice of the other axioms of the set theory are discussed. Under this context some ideas about the small inuence that the contributions of Gdel to describe some limits of the rational thought have had in the so called natural or exact sciences, o specially, Physics and Chemistry are nally discussed and some reections are, in this sense, proposed. Keywords: Gdel, theorems, completeness, incompleteness, consistency, exact sciences. o

1. Introduo ca
Ao cumprir-se um sculo do nascimento de Kurt Gdel e o em Brnn, no antigo imprio austro-hngaro (atualu e u mente Brno, na Repblica Checa) em 1906 interesu e sante fazer algumas reexes sobre sua obra, em paro ticular, direcionadas a rea das denominadas Cincias `a e Exatas. Os trabalhos de Gdel modicaram a fundao mentao da Matemtica e da Cincia da Computao ca a e ca colocando a anlise dos sistemas formais num novo a patamar. No entanto, pensamos que seus trabalhos no tm tido a inuncia que deveriam ter no campo a e e das cincias exatas, em especial na F e sica e na F sico` Quimica. As vezes como se estes campos no tivese a sem sentido a revoluo do pensamento que iniciada ca com o descobrimento das geometrias no-euclidianas a e as crises dos paradoxos na teoria dos conjuntos, na Matemtica, levaria ao desenvolvimento da Lgica Maa o temtica e culminaria nos trabalhos de Gdel no que se a o
1 E-mail:

tem chamado a destruio do sonho dos formalistas. ca Os formalistas pensavam que seria sempre poss vel deduzir teorias matemticas complexas a partir de oua tras mais simples at chegar a teorias bsicas evidene a tes. Este sonho foi, na prtica, questionado por Gdel a o em uma forma que demonstrava que o projeto era irrealizvel como fora planejado. Os trabalhos de Gdel a o no negam a razo, os processos argumentativos, mas a a mostram seus limites. E este aspecto que, no nosso entender, deveria ter sido levado mais em conta nas modernas reas das cincias exatas onde, o advento da a e computao (que tanto deve a Gdel) tem permitido ca o cenrios tericos at ontem desconhecidos dos cientisa o e tas da maior parte do Sculo XX. e E interessante assinalar desde o comeo que Gdel c o no foi o que chamar a amos um cientista prol fero. Publicou em vida muito poucos trabalhos mesmo tendo em conta aqueles publicados em revistas de dif acesso. cil O conjunto de seus trabalhos se encontra hoje publicado pela Oxford University Press [1]. Consequente-

dalkaine@dq.ufscar.br.

Copyright by the Sociedade Brasileira de F sica. Printed in Brazil.

526

DAlkaine

mente, teve problemas em sua carreira acadmica. Teve e tambm durante sua vida graves problemas de sade e e u no teria sobrevivido at 1978 se no fosse a dedicao a e a ca de vrios de seus amigos (entre os quais Einstein) e de a sua esposa. No entanto seus poucos trabalhos, tiveram um enorme impacto, afetando a forma em que hoje pensamos, afetando a lgica, que comeou a compreender o c suas limitaes quando se quer manter a rigorosidade. co Algo que tambm marca sua histria intelectual e o e que ele participou, inicialmente como estudante convidado e logo como matemtico, do famoso C a rculo de Viena [2]. Este C rculo, formado inicialmente pelo prof. Hans Hahn e pelo lsofo Moritz Schlick, era inspirado o nos escritos de Ernest Mach dentro de uma concepo ca racionalista que considerava que todas as coisas podiam ser explicadas pela lgica e a observao emp o ca rica, como uma forma de armao do positivismo como corrente ca losca. O C o rculo de Viena encaminharia suas formulaes em estreita relao com os trabalhos do prico ca meiro per odo de Ludwig Wittgenstein [3]. Este chamou a ateno sobre o problema de at onde a linguaca e gem pode falar sobre a linguagem e sobre a relao entre ca a linguagem e o mundo. Tal problema se encontra no corao de alguns dos teoremas de Gdel. Wittgensca o tein tratou de estudar o que pode ser dito por meio de proposies buscando diferenci-lo do que pode ser co a pensado e do que pode ser mostrado, mas no dito via a proposies. Os membros do C co rculo de Viena formaram a base do que logo se denominaria de Positivismo Lgico e/ou Empirismo Lgico. No entanto, Gdel no o o o a participou dessas concepes. Possivelmente devido ` co a Matemtica que elegera como rea de atuao, Gdel a a ca o sempre se considerou como um Platonista, acreditando que junto ao mundo dos sentidos existe um mundo ideal de conceitos ao qual os humanos tm acesso via a ine tuio. Para ele uma proposio podia ter um valor de ca ca verdade independentemente de ter sido provada ou de ter sido conrmada experimentalmente. No Platonismo ele seguia muitos matemticos. Como resultado, a e devido ao seu desenvolvimento como matemtico, ele a trocaria os seminrios do Circulo de Viena pelos sea minrios de Matemtica da Universidade de Viena. As a a vicissitudes que lhe causara a chegada do nazismo ao poder, zeram com que emigrasse para o Instituto Estudos Avanados de Princeton, no deixando nunca mais c a os Estados Unidos at sua morte em 1978. e

aceitas para manipular expresses da linguagem envolo vendo proposies com conectivos lgicos e quanticaco o dores (as proposies do clculo de predicados), quando co a aplicadas a partir dos axiomas do sistema formal em estudo, permitiriam a deduo de todas as armaes ca co consideradas verdadeiras em qualquer modelo que satiszesse os axiomas. O primeiro trabalho de Gdel ino titulado Completude dos axiomas do clculo funcional a de primeira ordem respondia sim a pergunta, como ` era esperado. Um sistema lgico completo se todas o e suas frmulas vlidas so derivveis no sistema. o a a a Na realidade o trabalho de Gdel demonstrava que o a lgica desenvolvida at essa poca era adequada para o e e prover argumentos para qualquer coisa que fosse verdadeira a partir de um dado conjunto de axiomas. Foi isto o que proporcionou grande prest gio inicial a Gdel e o contribuiu para sua carreira acadmica na Universidade e de Viena. Devemos notar, no entanto, que este primeiro trabalho de Gdel no mostrava que qualquer armao o a ca verdadeira em relao aos nmeros naturais poderia ser ca u provada sobre a base dos axiomas aceitos da teoria dos nmeros (os axiomas de Giuseppe Peano de 1889). Esu tes axiomas inclu am o principio de induo (qualquer ca propriedade que seja vlida para zero e que sendo vlida a a para n, possa demonstrar-se que vlida para n + 1, e a ser vlida para todos os nmeros naturais). Como a a u este axioma uma armao sobre propriedades dos e ca nmeros, constitui uma armao de segunda ordem u ca (no sobre os objetos, mas sobre as propriedades dos a objetos) e arma algo sobre um conjunto innito. Devido a estes aspectos muitos matemticos consideraram a este axioma mal denido e buscaram dar-lhe outras formulaes para no perder suas conseqncias. co a ue O teorema da completude de Gdel estabelece que o todos os teoremas que derivam dos axiomas podem ser provados, no entanto, se algumas armaes fossem verco dadeiras sobre os objetos matemticos estudados e caso a no derivassem dos axiomas, no poderiam ser proa a vadas. Inicialmente se considerou que entidades que estivessem dissimuladas, por exemplo, como n meros, u mas que seriam diferentes dos nmeros, no existiriam. u a Logo, o teorema da completude de Gdel no apreseno a taria problemas. Foi aqui que apareceu o segundo teorema de Gdel em 1931. o

2.

Seu trabalho de doutorado. O teorema da completude

3.

Os teoremas de incompletude de Gdel [5, 6] o

O trabalho de doutorado de Gdel [1], publicado um o ano aps sua defesa (em 1930), se refere a um dos o grandes problemas da Matemtica de seu tempo e lhe a proporcionou um grande reconhecimento. O problema tratado tinha sido apresentado por David Hilbert e Wilhem Ackermann no livro Fundamentos da Lgica o Terica [4] em que se perguntavam at onde as regras o e

Em um trabalho de 1931 (Acerca de proposies forco malmente indecid veis nos Principia Mathematica e sistemas relacionados) referido a alguns aspectos do livro de Russell e Whitehead Principia Mathematica [7] (parte do projeto logicista de reduzir a Matemtica a a Lgica), Gdel vai mostrar que algumas armaes vero o co dadeiras na teoria dos nmeros no podem ser provadas u a

Os trabalhos de Gdel e as denominadas cincias exatas o e

527

dentro desta teoria (primeiro teorema de incompletude de Gdel). o Sua demonstrao tambm signicou que objetos ca e matemticos que podem ser expressos com n meros a u mas que falham em comportar-se como n meros nau turais a partir de outros pontos de vista, que se pensou no existiam, existem. Eles foram assinalados no a ultimo pargrafo da seo anterior. Um exemplo des a ca ses objetos a prpria proposio G do Teorema de e o ca Incompletude de Gdel (que na metalinguagem pode o formular-se A frmula G no demonstrvel e que o a e a discutiremos adiante). Esta frmula traduz na coo e vel dicao numrica de Gdel e, portanto, um objeto ca e o e matemtico numrico, mesmo que no apresente todas a e a as propriedades dos nmeros. u Gdel ainda provou que no importa que aumeno a temos o nmero de axiomas independentes, sempre u existiro armaes que permanecero sem a possibia co a lidade de serem provadas. Em outras palavras, no a adianta aumentar o nmero de axiomas para resolver u o problema da impossibilidade de demonstrar certas armaes a partir de axiomas nas linguagens de certa co complexidade. Este primeiro Teorema da Incompletude poderia assim ser formulado: existem nas linguagens, a partir de uma certa complexidade das mesmas, armaes expressveis em termos dos n meros natuco a u rais que no podem ser provadas a partir dos axiomas e, a mesmo que aumentemos o n mero de axiomas indepenu dentes, sempre existiro armaes que no podero ser a co a a provadas nesses linguagens. Reformulado modernamente dentro da lgica podeo ria dizer-se que o primeiro Teorema da Incompletude de Gdel arma que para qualquer sistema lgico consiso o tente L que seja sucientemente complexo para poder exprimir a aritmtica, existiro frases que so verdadeie a a ras em qualquer interpretao de L, mas que no so deca a a monstrveis em L. No caso em que L seja -consistente a ento existiro frases que nem elas nem suas negaes a a co sero demonstrveis em L, sero portanto frases indea a a cid veis. Diz-se que um sistema lgico consistente se o e no implica uma frmula bem formada do sistema e a o sua negao ou se nem todas as suas frmulas bemca o formadas so demonstrveis no sistema. Um sistema a a -consistente se sendo de primeira ordem (trata dos e objetos e no de suas propriedades ou das propriedaa des das propriedades e assim seguindo), para todas as frmulas bem-formadas A(x) se pode demonstrar para o todos os nmeros naturais n, A(n), a partir dos axiou mas da teoria dos nmeros (|A(n)) e no se verica que u a existe um x para o qual a negao de A(x) valida). ca e Isto signica que, do ponto de vista computacional, por exemplo, no podem existir programas suscept a veis de testar a completude [8]. Para demonstrar este teorema, Gdel codicou as o frmulas lgicas que se encontram na linguagem da o o meta-lgica (em uma forma simples, uma lgica mais o o poderosa em que poss tratar da lgica em estudo) e vel o

em nmeros, utilizando as propriedades dos nmeros u u primos, de maneira que os enunciados da meta-teoria sobre a demonstrabilidade pudessem ser traduzidos por meio dessa codicao em enunciados simples da maca temtica elementar. O formalismo da aritmtica passou a e a conter assim frases codicadas que exprimiam proposies da meta-matemtica. Introduziu ento uma co a a formula G que arma sua prpria indemonstrabilidade o quando interpretada via sua respectiva decodicao na ca meta-linguagem, com forte conexo com os paradoxos a semnticos. A argumentao na qual Gdel baseia a a ca o verdade de G pela forma que constru a partir da e e da meta-teoria. Poder-se-ia dizer que se sabe da verdade de G na meta-teoria mas no demonstrvel na teoria a e a (na linguagem objeto). Os argumentos e resultados de Gdel iriam possibio litar um tratamento rigoroso da noo de funo comca ca putvel e de recorrncia [8], facilitando a compreenso a e a moderna dos limites da computao. ca Um problema que se adiciona atravs da metodoloe gia desenvolvida por Gdel que a expresso os axioo e a mas no se contradizem entre si poss ser formua e vel lada dentro da aritmtica (a linguagem objeto, neste e caso), sobre a base dos nmeros primos, mesmo sendo u formalmente indecid vel. Isto signica que essa frase no pode ser provada nem refutada sobre a base dos a outros axiomas. Por tanto, isto leva ao nal a que qualquer prova de consistncia de uma teoria razoae velmente complexa (o caso da aritmtica, por exemplo) e necessitar apelar para linguagens mais poderosas que a as da teoria considerada. E isso ocorre j, por exemplo, a no caso da aritmtica. Isto se constituiu no segundo e Teorema de Incompletude de Gdel. Este arma que o nenhum dos sistemas aos quais se aplica o primeiro Teorema de Incompletude pode ser sucientemente poderoso para demonstrar sua prpria consistncia. Em tero e mos computacionais isto signica que no podem existir a programas suscept veis de testar a consistncia de teoe rias deste grau de complexidade [8]. Foi este segundo teorema sobre a consistncia que e consternou Hilbert que imaginava um programa para uma segura fundamentao da Matemtica atravs de ca a e um processo de sucessivas fundaes onde a consistncia co e de uma teoria matemtica complexa seria derivada de a uma mais simples e portanto, mais evidente. E de se assinalar que Gdel nunca considerou seu teorema desse o ponto de vista. Ele sempre considerou que ele demonstrava no as limitaes do formalismo ou mesmo da a co formalizao em Lgica, mas simplesmente o fato de ca o que o pensamento no poderia ser automatizado via a procedimentos mecnicos. Ele via seu teorema como a uma conrmao de que o pensamento matemtico neca a cessita dos processos intuitivos do homem. Deve ser assinalado que mesmo com muitas discusses a Lgica o o Intuicionista pode tambm ser formalizada [9], ao mee nos em suas formulaes probabil co sticas. Assinalamos isto, pois a induo pode ser tratada de outros pontos ca

528

DAlkaine

de vista [10]. E interessante ento remarcar uma vez mais a que Gdel viu seus teoremas da incompletude no o a como uma demonstrao das limitaes dos mtodos ca co e axiomticos, mas como mostrando que a derivao de a ca teoremas no poderia nunca ser completamente mecaa nizada via algum algoritmo [11]. Para ele, esses teoremas justicavam o papel da intuio nas pesquisas ca matemticas. a Lateralmente, mas no menos importante, deve a assinalar-se que os mtodos que Gdel desenvolveu para e o lograr seus teoremas da incompletude, em especial o primeiro (nos referimos a tcnicas pelas quais a metae linguagem introduzida na linguagem objeto), so fune a damentais para a teoria da recurso que fundamenta a a moderna Cincia da Computao. Eles permitem e ca sem que apaream paradoxos voltar uma linguagem soc bre ela mesma. Toda a moderna teoria matemtica a da Recorrncia tem sua base nos mtodos desenvolvie e dos por Gdel. Ao mesmo tempo o desenvolvimento o de suas idias tem permitido mostrar os limites dos e procedimentos computacionais (e de qualquer procedimento dito mecnico, baseado num procedimento a algor tmico bem denido). Problemas de limitaes co compreendidas neste sentido a partir do pensamento de Gdel so o problema da parada de um programa e o da o a impossibilidade de ter-se um programa que possa impedir a alterao do sistema operacional do computador ca (v rus).

um conjunto contendo exatamente um elemento de cada conjunto da coleo. Mesmo que o Axioma de Escolha ca possa parecer inobjetvel, ele tem conseqncias bem a ue pouco intuitivas. Isto fez com que este axioma se tornasse altamente controverso. Paralelamente estava o problema at onde a Hiptese do Cont e o nuo e o Axioma de Escolha eram independentes dos outros axiomas da teoria. Muitos pensavam que o uso destes axiomas em demonstraes poderia levar a contradies. Foi co co nesse contexto que os trabalhos de Gdel sobre a teoo ria dos conjuntos [12], provaram que ambos os axiomas eram consistentes com o restante dos axiomas. Posteriormente se demonstrou a negao da Hiptese do ca o Cont nuo tambm era consistente (D. Cohen, 1963), e com o qual se demonstrou sua independncia dos outros e axiomas.

5.

Concluses gerais sobre as contrio buies de Gdel e sua conexo com co o a as cincias exatas e

4.

As contribuies de Gdel ` teoria co o a dos conjuntos

Como se sabe, na parte nal do Sculo XIX, George e Cantor desenvolveu a teoria dos conjuntos na qual introduziu a noo de tamanho mesmo para conjunca tos innitos. De acordo com esse conceito, em uma forma simples, um conjunto A ser menor que um cona junto B se para cada elemento do conjunto A existe um unico elemento do conjunto B e nesta correspondncia, e cada elemento de B, que possui um correspondente em A, unico. No existe uma funo injetora de B em e a ca A. Usando esse conceito, Cantor provou, por exemplo, que o conjunto dos nmeros naturais menor que u e o conjunto dos nmeros decimais. Ele mesmo conjecu turou que no existiriam conjuntos de tamanho intera medirios entre esses dois conjuntos. Esta assero foi a ca logo conhecida como uma das formulaes do que se co conhece como a Hiptese do Cont o nuo. Mas na teoria dos conjuntos de Cantor apareceram logo alguns dos mais famosos paradoxos. Isto levou a sua reformulao. ca Em 1908, E. Zermelo formulou uma lista de axiomas para a teoria dos conjuntos. Entre eles gurava um que tem recebido o nome de Axioma de Escolha. Em uma verso simples o Axioma de Escolha diz que dada a uma coleo innita de conjuntos disjuntos, cada um ca dos quais tendo pelo menos um elemento, deve existir

Como concluso poder a amos dizer que os trabalhos de Gdel, principalmente seus teoremas de incompletude, o mostram limites `s possibilidades de formulao de teoa ca rias a partir de dados n veis de linguagens. Mostram que as teorias matemticas, mas tambm teorias f a e sicas consolidadas como da mecnica, por exemplo, que nea cessitam para ser formalizadas recorrer ao uso de linguagens do clculo de predicados de primeira ordem, a como m nimo, implicam que incluiro (se formalizadas) a frmulas bem formadas (aquelas aceitas na sintaxe da o linguagem) verdadeiras, mas no dedut a veis dos axiomas. Mostram que neste sentido este problema no a poderia ser resolvido pelo aumento do nmero de axiou mas (sempre existiriam novas frmulas bem formadas o verdadeiras, mas no demonstrveis). Em uma paa a lavra, poder amos resumir estes aportes armando que nas linguagens necessrias para formular as teorias nora mais da Cincia o conjunto de proposies verdadeiras e co maior que o conjunto de proposies vlidas (aquelas e co a demonstrveis a partir dos axiomas). Como este tipo de a problemtica no deveria deixar de inuir na construa a o de teorias nas cincias exatas? Gostar ca e amos de chamar a ateno sobre o fato de que ainda, no nosso entenca der, a inuncia destes resultados no se tem manifese a tado no n que devem merecer neste campo, sem que vel isto queira dizer que ainda no continuam as discusses, a o particularmente loscas, sobre o papel dos teoremas o de Gdel dentro do pensamento contemporneo [13]. o a E verdade que boa parte das construes cient co cas ainda partem dos fatos para a formulao de teorias, ca utilizando processos indutivos para descobrir leis [10] e sugerir a existncia de outros fatos comprovveis a e a partir dos quais se possa descrever o mundo f sico. E deve ser assim, dado que esse foi o caminho original para construir as primeiras explicaes cient co cas na

Os trabalhos de Gdel e as denominadas cincias exatas o e

529

histria do desenvolvimento da Cincia. A induo a o e ca partir de conjuntos de fatos implica numa ampliao ca do conjunto de armaes consideradas verdadeiras. co Esta ampliao vai alm da que poderia surgir da aplica e cao s de um clculo lgico. Esta ampliao ca o a o ca e aceita na medida em que possa ser logo testada empiricamente em suas conseqncias lgicas (no entraue o a remos no problema da refutabilidade das armaes co cient cas). Estas novas experincias terminaro gee a rando novas ampliaes da teoria por interao controco ca lada com a natureza, e assim a seguir, em um movimento recursivo innitamente repetido. Deve ser destacado que formam parte tambm deste processo ine dutivo armaes do tipo: se um objeto possui uma co propriedade, ele continuar a possu no futuro, ou a -la da constncia de certos padres de comportamento dos a o sistemas com carter de leis naturais, que nos pera mitiro assegurar a constncia futura desses padres, a a o sobre certas condies. co Mas, j desde o sculo XIX (pensemos na teoria dos a e gases ideais) comearam a ser desenvolvidas teorias que c buscavam pensar o mundo como ele deveria ser, deduzindo destas concepes conseqncias das mesmas co ue e comparando com a realidade, at em casos onde a e realidade ainda no tinha sido pesquisada. O desena volvimento dessa atividade foi constituindo a F sica e a F sico-Qu mica terica. Essa atividade, que se torna o no decurso do sculo XX cada vez mais importante, no e a poderia deixar de ser afetada pelos trabalhos de Gdel o e tanto mais, quanto mais dependente dos processos e de formalizao, mesmo que s seja pelo uso de ferraca o mentas matemticas cada vez mais desenvolvidas. a O mundo terico nas cincias exatas durante o o e o sculo XX se desenvolveu grandemente. E s pensar nas e grandes teorias que dominaram o sculo como as da ree latividade e a da mecnica quntica. Foram assim sura a gindo nesse campo as experincias tericas que passae o ram a servir de argumentos aos racioc nios cient cos tericos (as teorias) e experimentais. Tudo isto sem o abandonar nunca um razovel esp a rito empirista (o conhecimento provm da experincia concebida como e e uma prtica controlada) e pragmatista (no em suas a a formulaes do senso comum, mas em suas formulaes co co mais elaboradas, pensemos em Charles S. Peirce e William James: o signicado de uma teoria idntico aos e e aspectos prticos que resultam de sua adoo). a ca Com o avano do sculo XX, principalmente em c e sua segunda metade, as formulaes tericas (provavelco o mente inuenciadas pelos xitos das teorias da relativie dade e da mecnica quntica, quando no da mecnica a a a a estat stica, entre outras) tornaram-se muito mais importantes em seu papel dentro da cincia. Mais ainda, e o trabalho dos tericos comeou a parecer-se ao dos mao c temticos!! Claro que os tericos das cincias naturais a o e sempre podem, e devem, em ultima instncia, referir-se a ao velho mundo dos objetos f sicos, dos sentidos. No entanto, os matemticos, em seus mundos abstratos (a a

meu ver, por eles inventados dentro de uma dada linguagem), no dispondo de um mundo externo, necesa sitam cuidar das formulaes de suas teorias, tratando co de formalizar ao mximo suas linguagens, mesmo que a no poucas vezes as coisas se compliquem. a E neste contexto que, na segunda parte e em especial no nal do sculo XX, surge com a fora do desenvolvie c mento dos computadores (como visto, devido tambm e em parte a Gdel) e com eles o mundo da simulao. A o ca simulao como a possibilidade de ver mundos tericos ca o em funcionamento, em que propriedades nas quais intuitivamente acreditvamos eles deveriam ter, no a a so muitas vezes conrmadas e onde outras propriedaa des, que no espervamos, surpreendentemente aparea a cem. Este um processo em que a simulao nos ajuda e ca a desenvolver idias, estamos tentados a armar, em um e processo dialtico entre os clculos e nosso pensamento. e a Isto ocorre no caso das cincias experimentais onde e e a experincia controlada que interage com nosso pene samento gerando novas idias, num processo dialtico. e e Por isso tem se armado a existncia na Cincia de dois e e contextos [14]: O contexto da pesquisa propriamente dita, onde valem os processos dialticos, e o contexto e da formalizao de resultados atingidos, onde vale a ca lgica formal. Somos tentados a dizer que, `s vezes, o a os tericos so deslumbrados por mundos imaginrios o a a (por eles imaginados s em certos aspectos), que at o e os ajudam a compreender o mundo real em que vivemos como uma possibilidade dos mundos poss veis. E por isso que muitos autores consideram que hoje nas cincias exatas junto aos campos experimentais e e tericos, existe o campo da simulao. o ca Neste contexto do mundo terico simulado poss o vel das cincias exatas como no lembrar Gdel? Provavele a o mente este artigo seja uma forma de retribuir-lhe tudo o que liberou meu pensamento para poder fazer teoria em certas reas reduzidas das cincias exatas, mas a e tambm para chamar a ateno de muitos outros pese ca quisadores, e por que no dos futuros cientistas, sobre a a capacidade libertadora dos trabalhos de Gdel e a o necessidade de que ele seja mais levado em conta nas discusses de nossas modernas teorias cient o cas no que se refere a suas fundamentaes, aos argumentos com co que pretendemos arm-las, `s limitaes das mesmas, a a co em particular, quando entramos no problema das formulaes das que no se pode falar, adicionar co a amos: por escrito, como diria Wittgenstein. Poder amos terminar com uma frase de quem precedendo a Gdel permitiu que seu trabalho fosse desenvolo vido. Nos referimos a Frege quando no podendo tera e minar sua obra sobre Leis Fundamentais da Aritmtica [15] (da qual escreveu apenas os dois primeiros volumes, por ter aceitado as cr ticas de Russell ` sua Teoria a das Classes), armou algo assim: j que no podea a mos demonstrar, pelo menos explicitemos tudo o que supomos. Espero que estas reexes gerem outras que o tambm alimentem nossos trabalhos tericos do dia a e o

530

DAlkaine

dia nas cincias exatas. e

[6] E. Nagel e J.R. Newman, Gdels Proof (New York o University Press, New York, 2001), reeditado e revisado por D.R. Hofstadter. [7] B. Russell e N. Whitehead, Principia Mathematica (Cambridge, 1910, 1912 e 1913), 3 v. [8] R.L. Epstein e W. A. Carnielli, Computability, Computable Functions, Logics and the Foundation of Mathemathics (Wadsworth & Brooks/Cole, California, 1989). [9] N. Da Costa, Lgica Indutiva e Probabilidade (HUCIo TEC/EDUSP, So Paulo, 1993). a [10] S.F. Barker, Induccin e hiptesis (Editora da Univero o sidad de Buenos Aires, Buenos Aires, 1963). [11] S. McCall, The J. of Philosophy XCVI, 525-532 (1999); H. Gaifman, The J. of Philosophy, XCVII, 462-470 (2000). [12] K. Gdel, The Consistency of the Axiom of Choice o and of the Generalized Continuum-hypotesis with the Axioms of the Set Theory. Ann. Math. Studies, 3 (Princeton, N.J., 1940). [13] J. Floyd e H. Putnam, The J. of Philosophy XCVII, 624-632 (2000); T. Bays, The J. of Philosophy CI, 197210 (2004). [14] G. Klimovski, notas do curso sobre o livro A Estrutura das Revoluoes Cient c cas de T.S. Khun (Buenos Aires, 1973). [15] Ver nmero dedicado ao tema na Revue International u de Philosophie 130 (1980).

Agradecimentos
O autor agradece aos participantes do grupo de Lgica o e Filosoa da Cincia da UFSCar suas discusses ao e o longo dos anos, sem as quais este trabalho nunca teria sido poss vel. Em particular aos professores doutores Pedro L.A. Malagutti e Tomas E. Barros.

Referncias e
[1] Kurt Gdel, Collected Works, v. 1-3. Editado por S. Feo ferman et al. (Oxford University Press, Oxford, 1986, 1990, 1995). [2] H. Hahn, O. Neurath e R. Carnap, Cadernos de Histria e Filosoa da Cincia 10, 5-20 (1986). o e [3] L. Wittgenstein, Tratado Lgico-Filosco e Inveso o tigaes Filoscas (Fundao Calouste Gulbenkian, co o ca Lisboa, 1987). [4] D. Hilbert e W. Ackermann, Grundzge der Theoreu tischen Logic (Berlin, 1938), 2a ed., com traduao ao c ingls como Principles of Mathematical Logic (editado e por R.E. Luce, N.Y., 1950). [5] E. Nagel e J.R. Newman, Gdels Proof (Routledge & o Kegan Paul, Londres, 1981).