A culpa no de Gdel!

Jos Carlos Santos Porto, Novembro de 2007

O Expresso de 27 de Outubro passado deu destaque Conferncia Gulbenkian 2007 e, em particular, interveno de George Steiner, que ter a dito que os famosos teoremas de Gdel dizem-nos que em qualquer sistema h proposies que no podem ser demonstradas e que isto uma das trs causas fundamentais da crise actual da cincia. Os teoremas de Gdel aos quais Steiner fez referncia (conhecidos por teoremas da incompletude) constituem uma das grandes contribuio para a lgica no sculo XX e tm vindo a ser cada vez mais conhecidos do grande pblico atravs de obras de divulgao cientca, algumas das quais publicadas em Portugal (Gdel, Escher, Bach Laos eternos, Gradiva, 2000), e outras no (por exemplo, Gdels theorem: An incomplete guide to its use and abuse, A K Peters, 2005 ou Forever undecided: A puzzle guide to Gdel, Oxford University Press, 1987). O simples facto de terem a palavra incompletude no nome sugere que aqueles teoremas armam que o nosso conhecimento sobre um determinado assunto necessariamente incompleto. Da a deduzir que, em particular, o nosso conhecimento cientco ser sempre incompleto vai s um pequeno passo. Mas ser melhor no o dar, pois os teoremas no dizem isso. Comecemos por contextualizar a contribuio de Gdel. A matemtica j h sculos tem a fama de ser uma cincia perfeitamente rigorosa, sendo os seus resultados frequentemente vistos como exemplos de certezas absolutas e inquestionveis. No entanto, no incio do sculo XX descobriram-se paradoxos na matemtica. Estes paradoxos no eram somente resultados surpreendentes ou contra-intuitivos mas paradoxos no sentido mais estrito do termo: dois raciocnios feitos de acordo com as regras da lgica levavam a resultados contraditrios. Isto levou a uma crise epistemolgica para a resoluo da qual surgiram vrias propostas. As que so mais importantes aqui so duas: de 1910 a 1913 os lsofos ingleses Bertrand Russell (que foi quem descobriu o primeiro dos paradoxos acima mencionados) e Alfred North Whitehead publicaram os Principia Mathematica, uma obra monumental em trs volumes, que pretendeu reduzir toda a matemtica lgica. Na dcada de 1920, o matemtico alemo David Hilbert, que era geralmente considerado como o maior matemtico vivo, props que se tentasse criar uma linguagem formal, ou seja, uma linguagem articial desprovida de ambiguidades e com regras lgicas claramente estabelecidas, na qual toda a matemtica pudesse ser formulada e para a qual se pudesse provar, por mtodos aceites por toda a comunidade matemtica, que era consistente, ou seja, nunca daria origem a paradoxos. Alm disso, essa linguagem deveria ser completa, ou seja, para qualquer proposio (armao matemtica) que pudesse ser nela formulada, deveria ser possvel provar que tal proposio verdadeira ou ento provar que falsa. neste contexto que Gdel entra em cena. Tendo nascido em 1906 em Brnn (a actual cidade de Brno, na Repblica Checa), ento parte do imprio Austro-Hn1

garo, Gdel doutorou-se em Viena em 1929. Na sua tese de doutoramento, Gdel demonstrou o chamado teorema da completude, que dava algum apoio possibilidade de se levar a cabo o programa proposto por Hilbert. Dois anos mais tarde, publicou o seu trabalho mais famoso, Sobre proposies formalmente indecidveis dos Principia Mathematica e sistemas relacionados. Foi aqui que surgiram os seus famosos teoremas da incompletude. O primeiro deles arma aproximadamente isto: qualquer linguagem formal consistente na qual se possa formular a aritmtica incompleta, ou seja, haver proposies (mais precisamente, proposies aritmticas) para as quais no se poder demonstrar, no mbito dessa linguagem formal, nem que so verdadeiras nem que so falsas. O segundo teorema da incompletude arma que uma tal linguagem formal nunca poder demonstrar a sua prpria consistncia. Estes teoremas vieram mostrar que o programa de Hilbert era irrealizvel, pelo menos sob a forma originalmente proposta. Tambm permitiram ver que, por mais proposies que se demonstrassem no mbito dos Principia Mathematica, haveria sempre outras para as quais no havia maneira nem de provar que eram verdadeiras nem de provar que eram falsas. Nas dcada mais recentes tm surgido tentativas de aplicar os teoremas de Gdel em contextos nos quais ele no se aplica. No que se refere s aplicaes fsica e, mais especicamente, s limitaes desta, ainda h poucos anos o fsico ingls Freeman Dyson (que tambm esteve presente na Conferncia Gulbenkian) escreveu, numa recenso de um livro de fsica (A fbrica do Cosmos, Gradiva, 2006), que nenhuma teoria fsica pode explicar todos os fenmenos fsicos. Para tal, invocou o teorema de Gdel, armando que resulta dele que qualquer teoria fsica fornece necessariamente uma descrio incompleta de tais fenmenos. Mas, como lhe fez notar um especialista em lgica, Solomon Feferman, o teorema de Gdel s arma, de facto, que uma tal teoria incompleta no que se refere a proposies aritmticas e isto compatvel com ser completa quanto descrio do mundo fsico. Dyson concordou. Seria estranho que, podendo-se tirar tais concluses dos teoremas da incompletude, o prprio Gdel no o tenha feito. Ele interessava-se por fsica e os seus trabalhos cientcos fora da rea da lgica matemtica no foram sobre outras reas da matemtica mas sim sobre teoria da relatividade. Alis, Gdel e Einstein foram colegas no Instituto de Estudos Avanados em Princeton, nos Estados Unidos, e conversavam frequentemente. Einstein dava grande valor a essas conversas e armou mesmo certa vez que o que o levava a continuar a ir regularmente ao Instituto depois de se ter reformado, em 1944, era o facto de que fazendo-o tinha o privilgio de regressar a casa na companhia de Gdel. Mas, naturalmente, poder-se-ia pensar que Gdel nunca aplicou os seus teoremas fsica porque tal ideia nunca lhe ocorreu. No esse o caso. Um dia, o fsico John Archibald Wheeler (autor da expresso buraco negro) foi ao gabinete dele e perguntou-lhe se havia alguma ligao entre incompletude e o princpio da incerteza de Heisenberg. Gdel p-lo fora.