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

br

Gdel e Einstein: E quando o tempo no resiste ` amizade? o a a

(Gdel and Einstein: what if time does not withstand a friendship?) o

S lvio R. Dahmen1
Instituto de F sica, Universidade Federal do Rio Grande do Sul, Porto Alegre, RS, Brasil Institut fr Theoretische Physik III, Universitt Wrzburg, Alemanha u a u Recebido em 30/11/2006; Aceito em 11/12/2006 Algumas amizades resistem ao teste do tempo. Mas o que dizer quando o prprio tempo no resiste a uma o a amizade? Em 1949 Kurt Gdel publicou um artigo no qual apresentava uma soluao exata das equaoes de o c c Einstein que veio a ser conhecida como Universo de Gdel na qual era poss o vel, ao menos teoricamente, viajar no tempo. Neste artigo discuto as implicaoes F c sicas e loscas deste importante trabalho bem como o o carter da fecunda amizade entre Gdel e Einstein. a o Palavras-chave: histria da F o sica, teoria geral da relatividade, viagem no tempo. Some friendships withstand the whims of time. But what if time proper does not withstand the congeniality of a friendship? In 1949 Gdel presented a solution to Einsteins equations the so-called Gdels Universe o o according to which it would be possible, at least theoretically, to travel back in time. In this article I discuss the physical and philosophical implications of Gdels work as well as the procuous friendship with Einstein. o Keywords: history of physics, general theory of relativity, time travel.

1. A caminho de casa
O economista alemo Oskar Morgenstern armou que a certa vez, durante uma conversa, Einstein lhe dissera que a unica razo pela qual ainda ia ao Instituto de a Estudos Avanados (o famoso IAS de Princeton) era c para ter o privilgio de poder caminhar de volta para e a casa em companhia de Kurt Gdel2 [1]. De acordo o com Freeman Dyson, ele era a unica pessoa l presente a que podia discutir com Einstein em um mesmo p de e igualdade [2]. Gdel, como bem sabemos, entrou para a o histria da Matemtica em virtude do que para muio a e tos o maior resultado em lgica matemtica desde os o a primrdios desta cincia na Grcia antiga: o teorema o e e da incompletude [3]. Menos conhecido ou qui meca nos comentado no entanto seu importante trabalho e sobre a teoria geral da relatividade de 1949 [4]. Nele e em uma sequncia de trabalhos publicados postumae o mente ou em anais de conferncias [5, 6], Gdel mostrou e que a soluo das equaes de Einstein por ele enconca co trada admitia curvas fechadas no espao-tempo, perc mitindo assim, ao menos teoricamente, uma viagem no tempo (as curvas so do tipo-tempo e portanto a a viagem pode ser feita a uma velocidade menor que c,
1 E-mail: 2 Um

a velocidade da luz). Para muitos, e para o prprio o Gdel, mais importante que uma suposta viagem no o tempo era o fato que a nova soluo apresentada coca locava em cheque nossa prpria concepo de tempo e o ca de sua realidade objetiva. No ano em que a comunidade Matemtica celebra o centenrio do nascimento a a de Gdel, importante que lembremos desta sua imo e portante contribuio ` F ca a sica. O ano de 2006 foi marcado por outra importante comemorao: o centenrio da morte do tambm ca a e austr aco Ludwig Boltzmann. Com seus trabalhos, Gdel e Boltzmann alteraram de modo profundo a mao neira pela qual entendemos o mundo ao nosso redor. Em funo do prprio corpus de sua obra, Boltzmann ca o se nos apresenta como algum mais prximo, contrae o riamente a Gdel, cujo nome a grande maioria de ns o o j ouviu falar mas cujos trabalhos tm um certo ar de a e inacessibilidade. Isso se deve em parte ` prpria persoa o nalidade de Gdel, um homem discreto, recluso e que o com o passar dos anos passou a evitar cada vez mais o contato com outras pessoas. Eleito pela revista Times uma das 100 guras mais importantes do sculo e XX, de certo modo curioso que, como disse o mae temtico e poeta alemo Hans Magnus Enzensberger3 , a a

silvio.dahmen@ufrgs.br. das Privileg zu haben, mit Gdel zu Fuss nach Hause gehen zu drfen. o u 3 H uma famosa estrofe de um poema de Enzensberger escrito em homenagem a Gdel que diz: voc pode descrever sua linguagem a o e em sua prpria linguagem: porm no completamente [7]. o e a
Copyright by the Sociedade Brasileira de F sica. Printed in Brazil.

532 ele permanea praticamente desconhecido do grande c pblico, em particular se considerarmos que seu teou rema da incompletude tem importantes consequncias e para a cincia da computao e para os fundamentos e ca da Matemtica (e portanto nada mais justo que dizer a que tambm para a F e sica. Anal, se sabemos que a Matemtica a linguagem natural da F a e sica, hoje e dif conceber uma F cil sica sem o aux de computalio dores). H aqueles que defendem que o teorema da a incompletude impe limitaes at em nossa capacio co e dade, enquanto seres humanos, de entendermos nosso prprio crebro isso partindo do ponto que este nada o e mais que um complexo processador enquanto alguns e lsofos argumentam que a lgica formal no se aplicao o a ria a4 . Com um resultado to profundo pode-se enten a der que a questo do tempo que relegada a um segundo a plano no conjunto de sua obra, do mesmo modo que as contribuies de Boltzmann ao eletromagnetismo no co a despertem a mesma ateno que seus trabalhos sobre ca a teoria cintica dos gases [11]. Mas no parece justie a cvel que em nossa comunidade o mesmo deva se aplia car e que a obra de Gdel em f o sica no seja ao menos a mencionada. Dois exemplos que muito dizem acerca da recepo de Gdel em nosso meio: o clssico Gravitation ca o a de Misner, Thorne e Wheeler no o cita [12]. Alguns a poucos livros dedicaram algumas pginas ao trabalho a de Gdel, entre eles o livro de Hawkings e Ellis The o large-scale structure of the universe [13]. Outro exemplo sintomtico o bloco de notas do diretor do IAS, a e quando este preparava uma lista de pessoas que poderiam falar sobre os importantes resultados de Gdel o durante seu enterro. Nela se encontram trs e tens: o teorema da incompletude, suas contribuies ` teoria co a de conjuntos (a hiptese do continuum) e a teoria da o relatividade. Sob esta ultima aparece uma frase subli nhada: not worth a talk [7]. A Matemtica e a F a sica de Gdel esto intimao a mente relacionadas com sua postura losca e imo e poss falar destas sem tocar neste aspecto. Por outro vel lado parece-me de um certo modo dif falar sobre Ficil losoa em F sica sem deixar de passar a impresso a errnea, enfatizo de que fazer cincia sentar-se sob o e e a sombra de uma rvore e questionar os porqus da naa e tureza. Nada poderia estar mais longe da verdade. Se, como pude discutir em um trabalho sobre Einstein e a Filosoa, todo cientista nutre uma postura losca o embora talvez no tenha conscincia disto [14], gostaa e ria de colocar o termo Filosoa em um sentido mais restrito, ou seja, o do questionamento da essncia dos e conceitos f sicos sob os quais constru mos nossas teo-

Dahmen

rias. E atravs deste questionamento losco, que e o transcende uma simples viso operacional da cincia, a e que conseguimos avanar nosso conhecimento da natuc reza. Tanto Gdel quanto Einstein mostraram, em um o grau maior que a grande maioria dos cientistas modernos, uma propenso para o questionamento losco a o que a mim parece fundamental para uma melhor apreciao de sua obra. ca Procuro assim neste artigo descrever, de um modo acess vel, as idias de Gdel, tanto do ponto de vista e o da F sica quanto da Filosoa, sacricando para tanto o lado mais matemtico do problema. H excelentes traa a balhos que suprem esta carncia: discuto-os ao nal do e texto, onde apresento tambm uma curta biograa do e nosso homenageado. Intimamente ligada ao presente artigo est uma traduo minha do famoso texto de a ca Gdel intitulado Uma nota acerca da relao entre a o ca teoria da relatividade e a losoa idealista, na p. 520. O texto uma importante fonte para que o leitor possa e melhor apreciar a postura losca de Gdel acerca de o o seu trabalho.

2.

Uma propenso tipicamente alem a a pela metaf sica

Por ocasio de uma visita a Princeton, o matemtico a a e lsofo Bertrand Russel descreveu de maneira um o tanto quanto negativa uma discusso que tivera com a um grupo formado por Einstein, Pauli e Gdel, em paro ticular, acerca da losoa ultrapassada destes [2]: Estas discusses foram em grande parte frustantes. o Embora os trs fossem judeus, exilados e cosmopolitas e nas suas intenes, tive a impresso que todos tinham co a uma propenso para a metaf a sica5 . Gdel e Einstein fazem parte de uma longa tradio o ca a dos chamados cientistas-lfosos. E fcil compreeno dermos esta propenso tipicamente alem se olhara a mos para a prpria histria da Filosoa, que tem o o nos alemes grandes expoentes deste ramo do conhecia mento, em particular um grande nmero daqueles que u se ocuparam, parcial ou totalmente, com os fundamentos da F sica e Matemtica: Leibniz, Kant, Frege, Husa serl e Carnap, apenas para citar alguns 6 . Assim era comum aos estudantes da poca de Einstein ou Gdel e o o envolvimento com questes loscas, seja assistindo o o cursos de Filosoa na Universidade, seja participando de grupos de discusso losca (ou ambos). Filosoa a o era uma parte essencial da formao humanista e geneca ralista das universidades e tambm dos cursos clssicos e a dos colgios tanto que Einstein e Gdel j haviam lido e o a

4 O primeiro a aventar a hipptese da aplicao do teorema ` mente humana foi o prprio Gdel em suas Harvard Lectures de o ca a o o 1951 [8]. Em 1960 o lsofo Hilary Putnam em seu famoso Mind and Matter argumentou pela no-mecanicidade do crebro [9]. Mais o a e recentemente, o ponto de vista goedeliano foi fortemente defendido por Roger Penrose em seus dois famosos livros The Emperors New Mind e Shadows of the Mind [10]. 5 Pauli era austr aco como Gdel, de fam judia convertida ao catolicismo. Gdel no tinha qualquer relao com o juda o lia o a ca smo. Sobre este comentrio de Russel ele armou no ser judeu, embora para ele esta questo no tivesse relevncia alguma. a a a a a 6 Leibniz era o grande dolo de Gdel [15]. Ao nal da vida ele se ocupou de maneira relativamente intensa com o estudo dos escritos o de Leibniz, Kant e Husserl [17]. Se pudesse viajar no tempo, provavelmente a primeira pessoa que Gdel visitaria seria Leibniz. o

Gdel e Einstein o

533 levncia losca de Einstein e sua teoa o ria, convite este que dicilmente poderia recusar. No me arrependo nem um pouco de a ter escolhido este tpico, pois esta questo o a sempre me interessou muito e atravs de um e tratamento cuidadoso cheguei a resultados matemticos que publicarei mais tarde, ou a talvez mais cedo, pois a data da publicao ca [do livro] depende do editor. Estes resultados matemticos formam a base do a artigo que at nossos dias mantm f e e sicos e lsofos ocuo pados pela busca do verdadeiro contedo e signicado u do Universo de Gdel, como este resultado veio a ser o conhecido na literatura especializada.

o denso Cr tica da Razo Pura de Kant aos 16 anos [15]. a No caso de Einstein conhecida sua participao no e ca grupo Ol mpia, formado por amigos interessados em temas loscos (mas no apenas estes), e de Gdel no ino a o uente C rculo de Viena. Embora Gdel no possa ser o a considerado um membro deste ultimo, foi frequentador ativo do mesmo entre os anos de 1926 e 1929. O C rculo de Viena, ou C rculo de Schlick, com tambm era coe nhecido em funao de seu fundador, Moritz Schlick, c era um grupo de chamados lgicos positivistas forteo mente inuenciado por Ludwig Wittgenstein. Schlick havia se doutorado sob a orientao de Max Planck ca em F sica Matemtica e sucedera Mach e Boltzmann a na cadeira de Filosoa da Cincia na Universidade de e Viena. Wittgenstein havia estudado lgica Matemtica o a com Russel. Muito se discutiu e se discute sobre a inuncia deste grupo na obra de Gdel. Podemos aqui e o citar duas frases de Gdel a este respeito: A postura o de Wittgenstein acerca da losoa da Matemtica no a a teve qualquer inuncia sobre minha obra [7]. Em 1974, e poucos anos antes de sua morte, ele ainda armou: Devo muito ao C rculo de Viena: apenas a introduo ca ` literatura e aos problemas [16]. Sabe-se, a partir das a anotaes de Wittgenstein, que este se ocupou intensaco mente com o teorema da incompletude de Gdel. Poso tumamente, quando algumas destas anotaes foram co publicadas, Gdel armara categoricamente: E evio dente que Wittgenstein no entendeu o teorema (ou ao a menos fez de conta que no o entendera) [7]. Para a uma melhor discusso destes tpicos, cf. o artigo de a o DAlkaine na p. 525. A losoa e a paixo pelo questionamente losco a o eram os denominadores comuns entre Einstein e Gdel o e provavelmente o catalisador de sua grande amizade. E provvel que sua condio de exilados intelectuais a ca do regime nazista tambm tenha contribu para sua e do aproximao ambos haviam trocado dois efervescenca tes centros pela pacata Princeton mas o fato que e atravs de uma intensa troca de idias Einstein cone e seguiu despertar em Gdel o interesse por aquela que o era a sua menina-dos-olhos: a teoria geral da relatividade (TRG). Isto pode ser atestado por uma carta de Gdel, datada de 7 de novembro de 1947 e dirigida a o sua me [7]: a Faz realmente muito tempo que no te esa crevo. Isto porque quando reli o artigo sobre o qual lhe falei em minha ultima carta, des cobri que muitas coisas poderiam ser adicionadas ou melhoradas. Desta vez tem a ver mais com uma questo losca do a o que Matemtica, a saber, a relao entre a ca Kant e a teoria da relatividade e obviamente tudo que no claro e bem denido como a e na Matemtica pura. Escolhi eu mesmo o a assunto quando fui convidado para escrever uma contribuio a um livro acerca da reca

3.

O Universo de Gdel: a Matemtica o a

A soluo de Gdel para as equaes de Einstein da ca o co TRG tem uma srie de propriedades interessantes entre e as quais se destaca a existncia das chamadas linhas de e mundo tipo-tempo fechadas (CTW ou CTC para closed timelike worldlines ou closed timelike curves) o que permitiria, em teoria, as viagens ao passado. Antes porm de discutir as implicaes F e co sicas da teoria, faamos uma breve exposio da soluo, usando para c ca ca tanto a notao original de Gdel [4]. ca o O espao de Gdel denido sobre a variedade c o e M = R4 com a mtrica gik tal que o segmento ds2 e neste espao vale c gik dxi dxk = ds2 = a2 (dx0 + ex dx2 )2 (dx1 )2 1 1 e2x (dx2 )2 (dx3 )2 . 2 (1)
1

onde a2 = 8 e a velocidade da luz c = 1. Na notao de Gdel a constante gravitacional (comuca o e mente chamada de G) e a densidade mdia de matria. e e Esta mtrica satisfaz as equaes de Einstein com uma e co constante cosmolgica : o 1 Rik gik R = 8ui uk + gik . (2) 2 O vetor unitrio u na direo x0 tem as compoa ca nentes contravariantes (1/a, 0, 0, 0) e as componentes 1 covariantes (a, 0, aex , 0) (Rik = a2 ui uk ). Uma vez que a mtrica tem uma parte trivial, e quer dizer, plana (o termo em x3 ou se preferirmos a coordenada z), comum separar a mtrica na soma die e reta de duas outras: a parte plana e o termo que sobra da equao (1) se subtrairmos o termo correpondente a ca esta mtrica trivial. A discusso que encontramos em e a todos os livros ou artigos sobre o Universo de Gdel o se ocupa sempre da mtrica no trivial denida assim e a sobre a variedade R3 , ou seja, sobre um sub-espao tric dimensional de variveis t, x, y, para usar uma notao a ca

534 mais familiar. Alm disto podemos utilizar as chamae das coordenadas padro de Gdel, que foram introdua o zidas pelo prprio Gdel em seu artigo original com o o o intuito de mostrar algumas das propriedades f sicas da sua nova soluo, em particular invarincia rotacional. ca a Esta transformao se d pela introduo de coordenaca a ca das cil ndricas t, r, em R3 : ex 1 x2 ex1 = = cosh(2r) + cos sinh(2r) sqrt2 sin sinh(2r) x0 2t tan . (3) 2 2 2

Dahmen

e2r tan(/2) =

Com a introduo destas variveis a Eq. (1) se torna ca a assim ds2 = 4a2 (dt2 dr2 + (sinh4 r sinh2 r)d2 +2 2 sinh2 rddt). (4)

Com estes elementos poss discutirmos algumas e vel das propriedades do Universo de Gdel. o

de um de seus pontos precedentes novamente; mas existem tambm curvas tipoe tempo fechadas. Em particular, se P e Q so pontos quaisquer na linha de mundo da a matria, tal que P precede Q, ento existe e a uma trajetria tipo-tempo7 conectando P a o Q na qual Q antecede P , i.e. nestes mundos poss e vel viajar para ou inuenciar o passado. (8) Seja um sistema qualquer de espaos c tridimensionais mutuamente excludentes, sendo que cada um intercepta cada linha de mundo da matria em um ponto. Neste e caso existe uma transformao que leva S [o ca espao quadridimensional] e a direao posic c tiva do tempo sobre si mesmo, mas no leva a sobre si mesmo; quer dizer, um tempo absoluto no existe, mesmo que no exijaa a mos que ele concorde com as direes dos co tempos de todos os poss veis observadores (aqui absoluto signica: den sem revel ferncia a objetos individuais como, e.g. e uma galxia em particular). a O Universo de Gdel no se expande e gira com uma o a velocidade angular constante = 2 , razo pela a qual tambm conhecido como Universo Rotatrio. e e o Fica claro pelas palavras de Gdel que a rotao de o ca seu universo a chave para que entendamos suas proe priedades unicas, pois ela est intimamente ligada ` a a estrutura temporal do espao S. Tentarei aqui dar uma c explicao no tcnica da relao entre a rotao e o ca a e ca ca tempo. Para tanto seguirei as idias desenvolvidas pelo e prprio Gdel em [6]. o o A motivao de Gdel em achar solues rotatrias ca o co o das equaes da TGR est fortemente calcada na sua co a tentativa de mostrar que a mesma admite um conceito de tempo ligado ` losoa idealista, mais precisamente a ao conceito kantiano de tempo [19]. Dizer que o tempo ideal signica dizer que ele no tem uma realidade e a objetiva, existindo apenas enquanto sensao em nossa ca mente. Nisto Gdel foi tambm fortemente inuenciado o e pela lsofo idealista J.M.E. McTaggart, que em 1908 o publicou um importante trabalho intitulado A irrealidade do tempo, que Gdel cita em sua contribuio ` o ca a Festschrift de Einstein. A idia de Gdel assim negar e o e a existncia de um tempo real (no sentido de objetie vamente denido independente do observador). Para Gdel, a teoria da relatividade assevera a viso kano a tiana na medida em que ela nega a existncia de um e tempo objetivo newtoniano, pois todos ns conhecemos o um dos seus mais importantes resultados: a relatividade da simultaneidade. Porm, e Gdel sabia disto, e o a relatividade da simultaneidade no um argumento a e forte para a negao da objetividade do tempo, pois ca na verdade quando relativizamos o tempo ns o fazeo

4.

O universo de Gdel: A F o sica e sua losoa

A chave para que entendamos o trabalho e mais do que isso a motivao de Gdel est descrita claramente na ca o a introduo de seu artigo [4]: ca Todas as solues cosmolgicas conhecidas co o at o momento e para as quais a densidade e de matria no nula, possuem a propriee a e dade que, em um certo sentido, elas contm e uma coordenada temporal absoluta, pois existe um conjunto de 3-espaos que so c a funes de um s parmetro e so ortoco o a a gonais em todo lugar `s linhas de mundo a da matria. V-se claramente que a no e e a existncia de tal sistema de espaos trie c dimensionais equivalente ` rotaao da e a c matria relativa ao referencial inercial. e Neste artigo proponho uma soluo (como ca um termo cosmolgico = 0) queapresenta tal o rotao. ca Neste pargrafo est, de forma sucinta, colocada a a a idia por trs do artigo de Gdel. Voltarei a este ponto e a o brevemente. Gostaria antes de citar apenas duas outras propriedades, na forma como ele as colocou: (6) Toda linha de mundo da matria que e aparece na soluo uma curva aberta de ca e comprimento innito e nunca se aproxima
7 Ou

seja, que pode ser percorrida com uma velocidade menor que c.

Gdel e Einstein o

535 no qual todas e quaisquer linhas de mundo se parecessem como nossa corda enrolada, ento seria imposs a vel estabelecer um hiperplano de simultaneidade para qualquer ponto do universo. No h assim no Universo de a a Gdel um sentido natural, unico, de estrutura tempoo ral, nem mesmo um que possa ser determinado por meio da relativizao das linhas de mundo principais. ca Em um trabalho mais recente, pesquisadores do CBPF (Rio) mostraram que embora seja poss vel denir um sistema de coordenadas gaussianos (ao menos localmente) sobre a variedade Gdel, ou seja um tempo o absoluto (h um teorema de Gauss que garante isto a para qualquer geometria), sua extenso para toda a vaa riedade no pode ser feita pois na fronteira da regio a a onde isto poss e vel, para um dado grupo de observadores (geodsicos), sua expanso se torna innita. Para e a o sistema de coordenadas cil ndricas esta regio ocorre a para r = [23]. As duas guras que acompanham este texto do a uma idia das principais propriedades geomtrica do e e Universo de Gdel. A primeira descreve a geometria o do espao e a segunda mostra uma poss c vel trajetria o de um corpo acelerado que lhe permitiria sair de um ponto Q posterior a P e viajar at este ultimo. E ime portante notar que durante toda a viagem o corpo est a sempre se movimentando na direo do futuro, como ca podemos ver pelos cones de luz representados.

mos em relao a observadores espec ca cos: os exemplos dos livros-texto de relatividade sempre assumem observadores que se movem com velocidades relativas v. No mbito cosmolgico porm, a relativizao se a o e ca d em funo das chamadas linhas de mundo princia ca pais, que representam as linhas de mundo de objetos muito macios, como estrelas e galxias. Assim a estruc a tura temporal do Universo, na maneira como o entendemos, implicitamente determinada pela presena destes e c objetos. Gdel percebeu que mesmo que apelemos para o um grupo particular de linhas de mundo, poderia haver solues das equaes de Einstein para as quais as co co linhas de mundo ditas principais no admitiriam uma a denio natural de simultaneidade relativa. Contudo, ca achar uma soluao deste tipo o mesmo que achar uma c e soluo onde toda a matria do Universo gira pois a no ca e a rotao destes objetos , em cosmologia, a condio suca e ca ciente e necessria para que exista um conceito natural a de simultaneidade relativa `s suas linhas de mundo [18]. a Para melhor entender este ponto consideremos uma congruncia de linhas de mundo e um hiperplano (trie dimensional, tipo-espao) que corta estas linhas. Este c hiperplano forma uma hiperplano de simultaneidade se ele for perpendicular a todas as linhas de mundo do nosso conjunto. Esta a imagem que Gdel tem e o em mente quando pensa em uma denio natural de ca simultaneidade, e esta ortogonalidade que se tem seme pre em mente quando se pensa em simultaneidade em cosmologia na teoria especial de Einstein: num modelo cosmolgico, a congruncia das linhas de mundo dos o e objetos macios principais irrotacional se e somente c e se a congruncia admite uma foliao ortogonal, quer e ca dizer, se existe uma fam de hiperplanos dependenlia tes de apenas um parmetro que so ortogonais a todas a a as linhas de mundo. Este resultado um caso especial e de um teorema da geometria diferencial conhecido como teorema de Frobenius (h vrios teoremas de Frobenius a a na Matemtica) mas, para evitar a impresso que estaa a mos nos enredando em conceitos e idias cada vez mais e complexas quando tentamos explicar de maneira mais simples a idia de Gdel, faamos aqui uma analogia e o c simples que nos ajuda a entender a idia por trs da e a sua soluo: se imaginarmos uma corda na qual todas ca as bras que a formam esto estiradas (no torcidas), a a podemos cort-la de tal modo que o corte que perpena dicular a todas as bras simultaneamente. Basta cortar a corda numa direo perpendicular ` direo natural ca a ca de todas as bras. Porm, se pegarmos uma corda como e a conhecemos no dia-a-dia, em seu estado natural (os vrios feixes de bras enrolados uns nos outros) ento a a imposs e vel achar um direo de corte que faa com ca c que todas as bras sejam cortadas exatamente na perpendicular a sua direo. Transladando esta idia pra ca e o espao-tempo quadridimensional e imaginando cada c bra como sendo as linhas de mundo dos principais corpos galcticos, o que Gdel mostrou foi que se as a o equaes de Einstein admitem um universo em rotao co ca

linhas de mundo da materia (tipotempo) t

curva tipotempo fechada

raio critico curva tipoespaco , fechada

Figura 1 - Representao tridimensional do Universo de Gdel ca o sem a varivel z. As linhas verticais so as linhas de mundo a a de grandes corpos galcticos. Uma propriedade fundamental do a espao de Gdel que os cones de luz vo tombando (no sentido c o e a anti-horrio) e se tornando mais abertos ` medida que nos afasa a tamos do eixo r = 0. H um raio cr a tico (para a = 1 ele vale rc = ln(1 + 2) para o qual o cone de luz tangencia o plano. Abaixo deste rc todas as curvas fechadas (os c rculos da gura) so curvas do tipo-espao. Para r > rc , como podemos ver pela a c gura, as curvas fechadas so todas do tipo-tempo pois so intera a nas aos cones de luz. Isso permite que se viaje partindo de um ponto do espao-tempo e retornando ao mesmo ponto com uma c velocidade menor que a velocidade da luz, como mostra a gura. a Esta gura baseada em [13]. H um pequeno erro na gura orie ginal deste livro, pois uma linha de mundo que aparece no canto superior esquerdo da gura do tipo-espao, quando deveria ser e c do tipo-tempo. Este erro foi pela primeira vez descrito em [20].

536

Dahmen

livro escrito em homenagem aos seus 70 anos traz, ao nal, um texto do prprio punho de Einstein acerca das o contribuies ali publicadas. Sobre Gdel ele diz: co o O tratado de Kurt Gdel representa, na o minha opinio, uma importante contria buio ` teoria da relatividade geral, em ca a particular ` anlise do conceito de tempo. a a O problema com o qual ele [o tratado] se ocupa j me causara preocupao quando da a ca criao da teoria, sem que eu conseguisse ca no entanto entend-lo. Desconsiderando a e questo acerca da relao entre a teoria da a ca relatividade e a losoa idealista e mais do que isso questes de ordem losca, o proo o blema que se nos apresenta o seguinte: e Se P um ponto no espao-tempo, ento a e c a ele est associado um cone de luz (ds2 = a 0). Tracemos por P uma linha de mundo tipo-tempo e consideremos, sobre esta linha, dois pontos prximos A e B. H sentido o a dotarmos a linha de mundo com uma seta e dizer, B antecede P e A sucede P ? Seria, na teoria da relatividade, aquilo que resta acerca da relao temporal entre dois ponca tos uma relao assimtrica ou poder ca e amos, do ponto de vista f sico, orientarmos esta seta na direo oposta e dizer: A anterior ca e a P e B posterior a P ? Esta alternativa deve ser descartada caso possamos dizer: se for poss enviar (telegrafar) um sinal de vel P para A (ou das imediaes de P ), mas co no de P para B, ento o carter unidirea a a cional (assimtrico) do tempo est garane a tido, ou seja no h uma livre escolha no a a que tange ` orientao de nossa seta. O esa ca sencial nisto porm que a emisso de um e e a sinal um processo irrevers no sentido e vel termodinmico, i.e. um processo ao qual a e est associado um aumento de entropia (ao a passo que de acordo com nosso conhecimento atual, todos os processos elementares so revers a veis). Assim, sendo A e B dois pontos sucientemente prximos no Unio verso, tais que possam ser conectados por uma curva tipo-tempo, ento a armao a ca B anterior a A tem um sentido f e sico objetivo. Teria ainda esta armao um ca sentido quando estes pontos conectados por uma curva tipo-tempo estivessem sucientemente distantes? Certamente no, se houa ver uma seqncia de pontos conectveis ue a por uma curva tipo-tempo, de modo que todo ponto anterior na linha antecede temporalmente o posterior e a seqncia for ue fechada em si. Neste caso, para pontos muito distantes um dos outros em sentido

Figura 2 - Uma poss vel viagem no tempo (saindo de Q e retornando a P ). Iniciando em Q, o viajante descreve uma espiral para cima at ultrapassar o raio cr e tico. Feito isto ele passa a se mover para baixo (tendo o eixo principal de materia como eixo da espiral) at passar alm do ponto P , quando ento ele muda e e a novamente de direo, descrevendo uma espiral para cima e para ca dentro at atingir P . Note que a viagem se d sempre na direo e a ca de tempo crescente na linha de mundo do viajante. Figura baseada em [20].

5.

A repercusso a

O trabalho de Gdel suscitou muitas discusses em o o funo do carter surpreendente de seus resultados ca a em particular a questo das viagens ao passado. Mas o a que Gdel diz a respeito de viagens no tempo? Na vero dade ele no estava muito preocupado com esta questo. a a Para ele o resultado importante de seu trabalho foi mostrar que a TGR admitia um tempo condizente com a concepao idealista. Porm se a questo de viagens c e a no tempo no o que atrai a maior parte dos f a e sicos para a teoria de Gdel, ao menos para a maior parte o do pblico no especializado este o ponto mais inu a e teressante de seu trabalho. Gdel, em seu texto para o o volume comemorativo dos 70 anos de Einstein, discutiu esta possibilidade e apresentou um clculo onde a ele estimou o gasto de combust que uma espaonave vel c necessitaria para realizar tal viagem, levando em considerao que dispusssemos de uma turbina que transca e formasse toda a massa do combust em energia (via vel o E = mc2 ). Sua concluso: invivel [5]. Para os lsofos a a as questes pertinentes dizem respeito aos paradoxos leo vantados por uma poss viagem desta natureza ou a vel insero das concluses de Gdel no contexto histrico ca o o o da losoa do tempo. O que disse Einstein sobre o trabalho de Gdel? O o

Gdel e Einstein o

537 Universidade de Viena, assistindo tambm as aulas de e losoa de Heinrich Gompertz, que havia se doutorado com Mach, e de teoria de nmeros de Phillip Furtwngu a ler (primo do famoso maestro e compositor Wilhelm Furtwngler). Estas aulas o impressionaram tanto que a acabou se interessando pela Matemtica e losoa. Em a 1930 concluiu seu doutorado e no ano seguinte publicou o teorema da incompletude, um resultado que fez dele uma celebridade. Em 1934 visitou Princeton pela primeira vez, um contato que mais tarde se mostraria important ssimo. Em 1938, no mesmo ano anexao ca da Austria pela Alemanha nazista, casou-se com Adelie Porkert, que ao longo da vida conjugal velou pelo bem-estar f sico e psicolgico do marido (tomado certa o ocasio por judeu, foi atacado por um grupo de radia cais e conseguiu se safar graas ` interveno de sua c a ca esposa, que expulsou os atacantes). O clima de perse guio estabelecido com o Anschluss da Austria ao Terca ceiro Reich e a convocao compulsria para o exrcito ca o e alemo zeram-nos decidir pela emigrao. Depois de a ca uma extenuante e no menos perigosa viagem pela fera rovia transsiberiana (a Europa j se encontrava em a guerra), chegaram a Vladivostok, de onde embarcaram para Yokohama e dali para os EUA, vindo a se estabelecer nalmente em Princeton. Em 1953 tornou-se professor do IAS, onde permaneceu at sua morte em e 1978. Alguns fatos interessantes da biograa de Gdel meo recem ser notados: quando criana era conhecido em c fam pelo apelido de Herr Warum (Sr. Porqu). Goslia e tava de carros velozes e digiria de acordo com seu gosto. Sua tendncia porm de desligar-se facilmente do e e ambiente que o cercava, mergulhando em profunda reexo, fez com que sua esposa colocasse um m em sua a carreira de motorista. Apaixonado por contos de fadas, tinha grande admirao pela obra de Walt Disney e emca bora tenha vivido numa Viena de grande efervescncia e cultural e intelectual, no demonstrava qualquer forma a de esnobismo nem tinha grande apreciao por msica ca u erudita (diferentemente de Einstein). Com o passar dos anos passou cada vez mais a evitar a interao com ouca tras pessoas, com exceo de um pequeno c ca rculo de amigos. Este fato est provavelmente relacionado ao a quadro paranico que acabou desenvolvendo: acredio tava haver uma conspirao e um plano para mat-lo ca a por envenenamento. Assim s comia o que lhe fosse preo parado pela esposa, que conseguiu com seus cuidados mant-lo vivo. Durante os ultimos anos de vida esteve e por diversas vezes internado em hospitais psiquitricos. a Com a doena da esposa e sua conseqente internao c u ca por seis meses, Gdel deixou de se alimentar apropriao damente e faleceu por inanio. Um outro fato curioso ca foi que, por ocasio de sua naturalizao como cidado a ca a americano, Einstein e Morgenstern caram preocupados com a entrevista pela qual ele teria de passar com

cosmolgico a diferena antes-depois desao c parece e surgem os paradoxos relativos ` a conexo causal sobre os quais Gdel falou. a o Tais foram as solues das equaes cosco co molgicas descobertas por ele. Seria inteo ressante ponderar se estas no deveriam ser a descartadas por razes F o sicas. O ponto-chave, a meu ver, de toda a controvrsia em e torno do trabalho de Gdel o simples fato que nosso o e Universo at onde nosso conhecimento atual acerca de e sua estrutura nos permite chegar no um Universo a e de Gdel. Embora sua soluo seja correta, nem toda o ca soluo Matemtica de uma equao da F ca a ca sica obrigatoriamente representa a realidade mensurvel. H ara a gumentos fortes contra as concluses que se pode tirar o do Universo de Gdel. A maior delas parece ser a ino troduo da chamada conjectura de proteo do tempo ca ca (ou cronolgica) de Hawkings, que arma peremptoriao mente que as leis da F sica no permitem o surgimento a de curvas tipo-tempo fechadas 8 [21]. Mas o que Gdel o achava disto? Para ele o universo rotatrio no era apenas era uma o a possibilidade, mas talvez uma realidade. Embora sua soluo rotatria era a de um universo que no se exca o a pandia (e portanto no haveria um desvio para o vera melho no espectro de objetos distantes), h solues roa co tatrias nas quais o universo se expande [5]. At o nal o e da vida ele estudou atentamente resultados experimentais que comprovassem uma poss deteco de uma vel ca rotao de nosso Universo, por menor que fosse [2, 17]. ca Para entendermos sua tenacidade no podemos dissoa ciar o cientista do lfoso. Gdel era platonista cono o victo, ou seja, ele cria que os conceitos e construtos matemticos tinham uma existncia independente de a e nossas mentes, ou seja eles existiriam em algum lugar. E o mesmo se aplicaria, obviamente, ao seu Universo. Seria interessante saber qual a reao de Gdel ao traca o balho de Hawkings, que no nal de seu artigo diz: h a tambm uma forte evidncia experimental a favor da e e conjectura [de proteo cronolgica]: o fato que no ca o a fomos invadidos por uma horda de turistas do futuro. Gdel provavelmente teria respondido, com uma boa o dose de ironia vienense, que de acordo com seu teorema da incompletude, seria imposs provar a veravel cidade desta armao. Ou, o que mais provvel, ca e a dado sua conhecida melancolia, que os visitantes do futuro j haviam aprendido o suciente com o passado a para evit-lo. a

6.

Esboo biogrco c a

Kurt Gdel nasceu em Brno (Brnn) em 1906, na atual o u Repblica Tcheca, mas ento parte do Imprio Austrou a e sica da hngaro 9 . Em 1924 ingressou no curso de F u
8 Mesmo 9A

assim o Universo de Gdel no deixa de ser um interessante objeto de estudo em funo de suas propriedades topolgicas. o a ca o mesma localidade onde o monge Gregor Mendel realizou seus famosos experimentos com ervilhas, lanando as bases da gentica. c e

538 o juiz responsvel pelo seu processo: Gdel havia ena o contrado uma inconsistncia na constituio americana, e ca que segundo ele tornava perfeitamente legal o estabelecimento de uma ditadura naquele pa Isto porm no s. e a impediu que o juiz lhe outorgasse a cidadania. Desde jovem Gdel mostrou forte interesse por ocultismo e o teologia, em particular por uma prova ontolgica da o existncia de Deus. Em carta a sua me, datada de 6 e a de outubro de 1961, Gdel escreveu [7] o E claro que hoje estamos longe de poder fundamentar a viso teolgica de mundo ciena o ticamente, mas acredito que j poss a e vel apreender de maneira puramente racional (sem ter que recorrer a alguma religio ou a crena) que a viso teolgica de mundo c a o e completamente compat com todos os favel tos conhecidos (inclusive as condies que co reinam sobre a nossa Terra). O famoso matemtico e lsofo Leibniz tentou [demonsa o trar] isto 250 anos atrs, e isto que tena e tei fazer nas minhas ultimas cartas. O que chamo de viso teolgica de mundo a idia a o e e que o mundo e tudo que nele existe tem um signicado e uma razo e na verdade a um signicado bom e inquestionvel. Disto a segue imediatamente que nossa existncia e terrestre, uma vez que ela tem um signicado muito duvidoso, s pode ser o meio o cujo objetivo uma outra existncia. A e e idia que tudo no mundo tem um signie cado , anal, exatamente anloga ` idia e a a e que tudo tem uma causa, e sobre esta que e toda cincia est baseada. e a Gdel formalizou, usando lgica simblica, uma o o o prova ontolgica da existncia de Deus feita por Ano e selmo de Canterbury no sculo XII. Segundo Morgense tern, Gdel o fez no por acreditar em Deus, mas por o a querer mostrar a lgica do argumento [7]. o

Dahmen

Nele Novello aborda a questo das viagens no tempo a do ponto de vista da cosmologia moderna. Entre as biograas cient cas de Gdel destacam-se a de Dawo son [16] e a de Yourgrau [2]. A primeira trata da obra de Gdel em Matemtica, a segunda se concentra no o a trabalho acerca do tempo. Vale a pena lembrar que a obra de Yourgrau divide opinies. O autor lsofo e o e o sua discusso do trabalho de Gdel em relatividade no a o a imparcial. Uma das cr e ticas mais ferozes a este livro e a resenha de Klaus Hentschel publicada na Physics Totica de Henschel se day de dezembro de 2005 [25]. A cr restringe mais ` amizade entre Gdel e Einstein, ponto a o fulcral da obra de Yourgrau. Para o resenhista, o fato de Einstein conversar com Gdel vinha do fato de que o Einstein no gostava de falar ingls e portanto era naa e tural que ele procurasse Gdel, cuja l o ngua materna era tambm alemo. Hentschel arma tambm que Youre a e grau estaria querendo aproveitar a onda do ano de Einstein. Acredito que estas cr ticas no se sustentam a sob uma anlise mais profunda. A amizade de Eintein a e Gdel est bem documentada e o livro de Yourgrau o a na verdade uma reedio corrigida de obra lanada e ca c em 1991. Para encerrar, uma importante fonte sobre a losoa de Gdel so os trabalhos de H. Wang, que com ele o a conviveu e discutiu muitos dos tpicos em [26] e [27]. o

Agradecimentos
Gostaria de agradecer a A.L. Malvezzi pela referncia [25] bem como a M. Novello pela leitura cuie dadosa do manuscrito e por ter me chamado a ateno, ca h alguns anos, para as importantes contribuies de a co Gdel ` F o a sica. A N. Studart gostaria de agradecer pelas estimulantes e frut feras discusses. Finalmente o agradeo a Fundao Alexander von Humboldt (Alec ca manha) pelo apoio nanceiro que permitiu a realizao ca deste trabalho.

7.

Bibliograa sobre Gdel o

Referncias e
[1] Oskar Morgenstern, citado em [17]. [2] P. Yourgrau, A World Without Time: The Forgotten Legacy of Gdel and Einstein (Basic Books, New York, o 2004). [3] C.V. DAlkaine, Os trabalhos de Gdel e as chamadas o cincias exatas. Em homenagem ao centenrio do nase a cimento de Kurt Gdel, Rev. Bras. Ens. Fis. 28, 525 o (2006). [4] K. Gdel, Rev. Mod. Phys. 21, 447 (1949). o [5] K. Gdel, Einstein: Philosopher-Scientist, edited by o P.A. Schilpp (Open Court, La Salle, 1949). [6] K. Gdel, Kurt Gdel, Collected Works, v. III, edio o ted by S. Feferman (Oxford University Press, Oxford, 1995).

Os trabalhos originais de Gdel so, apesar de sua deno a sidade, relativamente acess veis `queles que tm um a e conhecimento de F sica em n superior [4, 5, 6]. Os vel comentrios de Malament sobre os trabalhos de Gdel a o em TGR publicados em Kurt Gdel: Collected Works o tambm so uma valiosa fonte de informao [18], bem e a ca como a transcrio de uma palestra por ele apresentada ca no encontro bianual da Philosophy of Science Associae tion nos EUA [20]. Um outro artigo importante o de J. Pfarr [22]. Poucos livros de TGR dedicam mais do que algumas poucos linhas ao trabalho de Gdel, o como j dito anteriormente. Uma das excees o lia co e vro de Hawkings e Ellis [13]. Uma interessante obra, escrita por um grande especialista no assunto, o lie vro de M. Novello intitulado Mquina do Tempo [24]. a

Gdel e Einstein o

539

[7] K. Sigmund, J.W. Dawson Jr. e K. M hlberger, Kurt u Gdel, das Album (Vieweg, Wiesbaden, 2006). Ediao o c bilingue (alemo-ingls) comemorativa do centenrio a e a de nascimento de Gdel. Entre trechos de notas, dirios o a e outro material de ou sobre Gdel antes indito, traz o e tambm uma rica iconograa da vida do homenageado. e [8] K. Gdel, Kurt Gdel, Collected Works, v. III, edio o ted by S. Feferman (Oxford University Press, Oxford, 1995). [9] H. Putnam, Dimensions of Mind: A Symposium, edited by Sydney Hook (New York University Press, New York, 1964). [10] R. Penrose, The Emperors New Mind (Oxford University Press, Oxford, 1990); Shadows of the Mind (Oxford University Press, Oxford, 1996). [11] S.R. Dahmen, Rev. Bras. Ens. Fis. 29, 281 (2006). [12] C.W. Misner, K.S. Thorne and J.A. Wheeler, Gravitation (Freeman, San Francisco, 1973). [13] S.W. Hawkings and G.R.E. Ellis, The Large-Scale Structure of Space-Time (Cambridge University Press, Cambridge, 1973). [14] S.R. Dahmen, Rev. Bras. Ens. Fis. 29, 3 (2006). [15] S.R. Dahmen, Filosoa, Cincia & Vida 4, 36 (2006). e [16] J.W. Dawson Jr, Logical Dilemmas: The Life and Work of Kurt Gdel (A.K. Peters Ltd., Wellesley, o 1997).

[17] G. Guerrerio, Spektrum der Wissenschaft 1, 1 (2002). [18] D.B. Malament, Introductory Note to Lecture on Rotating Universes, em Kurt Gdel: Collected Works, S. o Feferman (Ed.) (Oxford University Press, New York, 1995). [19] I. Kant, Cr tica da Razo Pura (Ed. Calouste Golbena kian, Lisboa, 1989). [20] D.B. Malament, Proceedings of the Philosophy of Science Association 2, 91 (1984). [21] S.W. Hawkings, Phys. Rev. D 46, 603 (1992). [22] J. Pfarr, Gen. Rel. Grav. 13, 1073 (1981). [23] M. Novello, N.F. e M.E.X. Guimares, Synchronized a frames for Goedels Universe, General Relativity and Gravitation 25,2, 137 (1993) [24] M. Novello, Mquina do Tempo (Jorge Zahar Editora, a Rio de Janeiro, 2005). [25] K. Hentschel, resenha de [2], Physics Today 28, 60 (2005). [26] H. Wang, Reections on Kurt Gdel (The MIT Press, o Cambridge, 1990). [27] H. Wang, A logical Journey: from Gdel to Philosophy o (The MIT Press, Cambridge, 1997).