CINCIA DA COMPUTAO

Anlise de Computabilidade e complexidade de algoritmos

 O documentrio conta a histria de 4 cientistas acima da mdia que encontraram problemas
matemticos e fsicos que os deixaram perplexos e exaustos mentalmente e fisicamente.

O primeiro foi Georg Cantor, um imigrante russo que se mudou com a famlia para a Alemanha, ainda
criana, e l se formou em matemtica, dedicando praticamente toda a sua vida adulta ao estudo desta matria.
As descobertas de Cantor em matemtica so muitas, mas o que foi destaque no documentrio foi sua busca por
entender o infinito, no em termos filosficos, mas a parte quantificvel do infinito. Atravs de demonstraes
slidas, Georg Cantor comeou tirar concluses diferentes do esperado e que desafiavam os conceitos da cincia
da poca. Uma delas foi que existem "infinitos" maiores que outros, outra foi que nem sempre o todo maior do
que as partes (em se tratando de conjuntos infinitos).

Por ter ideias muito ousadas, e que desafiavam certezas na mais tradicional cincia, Cantor foi rejeitado
pela academia. Esta rejeio, os problemas de dinheiro, terminaram por deixar Cantor extremamente deprimido.
Com isso, ele resolveu que investiria em um dos problemas mais difceis que j existiram: a hiptese do
continuum. Todos estes fatores contriburam para a perda da sanidade mental de Cantor, que terminou seus dias
louco, em um sanatrio, enfatizando que quanto mais ele era rejeitado, mais comprometimento ele tinha com
suas idias e mais obcecado ele ficava em solucionar o problema tratado.

O segundo cientista mencionado foi o fsico austraco Ludwig Boltzmann, que desenvolveu a teoria
cintica dos gases, onde demonstrou que, por mais esforo que se faa, tudo tende desordem, a entropia sempre
vence. Como na poca, fins do sculo XIX e comeo do XX, ainda se acreditava que a cincia teria respostas
para tudo, uma teoria que afirmava que a desordem reinava no universo, que este ltimo no era um relgio
divino finamente desenhado, no poderia ser bem recebida. Assim como Cantor, Bolztmann foi rejeitado pela
academia, apesar de ter sido um dos maiores fsicos de seu tempo. Ao fim, desprezado e mal pago, Boltzmann
viajou com a famlia para a Itlia e, enquanto os outros passeavam, enforcou-se. O documentrio ento insiste
que o suicdio de Boltzmann tambm se deveu a ele entrar em contato com idias muito profundas, sobre a
natureza do universo.

O terceiro cientista o austraco Kurt Godel, um cientista fenomenal que mudou no s a matemtica,
mas tambm a filosofia. Godel amava a matemtica e como Bertrand Russel e James Hilbert, tentou provar que
era possvel confiar no poder da lgica matemtica. Ele tem um trabalho que pode ser considerado uma
continuao de Cantor, pois entrou nos problemas mais srios do ramo cientfico, nas questes mais abstratas,
que assustavam outras mentes. Porm, por mais que Godel tenha tido a inteno de salvar a lgica matemtica,
seu trabalho mais importante terminou por provar o contrrio, que mesmo a lgica mais refinada, no poderia
responder a todos os problemas da matemtica. A sua demonstrao ficou conhecida como "Teorema da
incompletude", o qual afirma que qualquer sistema axiomtico suficiente para incluir a aritmtica dos nmeros
inteiros no pode ser ao mesmo tempo completo e consistente. Isto significa que se o sistema auto-consistente,
ento existiro proposies que no podero ser nem comprovadas nem negadas por este sistema. O que Godel
provou foi que no existe, nem mesmo na matemtica, um jeito de responder todas as questes, pois existiriam
questes que no poderiam ser provadas, ou negadas, e no dava nem pra saber qual era qual. Algum poderia
passar toda uma vida tentando provar uma coisa e nunca conseguir nem mesmo saber se possvel.

A implicao filosfica do teorema de Godel foi devastadora: se nem mesmo na matemtica era
possvel confiar na lgica, o que falar das teorias das cincias sociais, das teorias filosficas e das teorias
religiosas? Godel sem querer, usou um martelo e detonou tudo. S que ele no ficou apenas nisso, resolveu
atacar o Problema do Continuum, aquilo que terminou por endoidar Cantor. Quanto mais ele trabalhou no
problema, mais seus hbitos esquisitos se acentuaram: no tocava nas pessoas, tinha mania de perseguio,
achava que sua comida estava envenenada, etc. Segundo o documentrio, Godel foi definhando, consumido
pelas idias que tinha, pelos problemas matemticos que atacava, e pelos seus problemas mentais.

Por fim, temos Alan Turing. matemtico, lgico, cientista da computao, Turing foi um dos grandes
heris da segunda guerra, pois conseguiu, depois de muito trabalho, desenvolver idias e mquinas, que
desvendaram o cdigo Enigma usado pelos alemes para "encriptar" suas mensagens. Depois da guerra, Turing
enfrentou trs grandes desafios: refinar o teorema da incompletude de Godel para uma demonstrao mais
prtica; encarar o desafio de se entender como a mente humana funcionava e lidar com o seu homossexualismo
em uma sociedade que considerava esta opo como crime.

3
 Turing refinou Godel, tornando a demonstrao puramente matemtica do outro em algo que era mais
compreensvel pela maioria: como funcionava um computador. Ele criou o conceito de "computvel", isto , se
uma coisa podia ser representada ou no pelo modo de funcionamento de um computador. A aplicao mais
filosfica deste conceito pretendia entender se a mente humana era ou no um computador. Para Turing, s vezes
parecia ser, s vezes, no parecia. Dedicou seus ltimos anos de vida a isto. Mas no foi isto que o matou, mas
sim a campanha que o governo ingls promoveu, na poca da Guerra Fria, ser homossexual e um cientista de alto
nvel, que lidava com assuntos secretos, era um enorme problema, pois se considerava que a sexualidade de
Turing abriria espao para o uso dele por inimigos, seria uma fraqueza a ser explorada. Em vista disto, decidiram
conden-lo, process-lo criminalmente por homossexualismo. A pena, alm de viver constantemente vigiado, foi
ter que tomar injees de hormnios femininos. Turing ficou alterado mentalmente, fisicamente pelas injees,
levando-o a uma depresso sem fim. Exausto e perseguido, Turing no viu outra alternativa a no ser o suicdio.
Pegou uma ma, injetou cianureto e a mordeu.

A verso de Turing para o teorema de Goedel foi a teoria da recurso que foi originada com o trabalho
de Kurt Godel, Alonzo Church, Alan Turing, Stephen Kleene e Emil Post nos anos 30. Os resultados
fundamentais que os pesquisadores obtiveram estabeleceram a Turing computabilidade como uma formalizao
correta da ideia informal do clculo efetivo. Esses resultados levaram Sthephen Kleene (1952) a unir os dois
nomes "Church`s thesis" e "Turing`s Thesis". Atualmente, essas hipteses so consideradas como uma nica
hiptese, a tese de Church-Turing, que afirma que qualquer funo que computvel por um algoritmo uma
funo computvel. Apesar de ser inicialmente ctico, Godel argumentou em favor dessa tese por volta de 1946.

4
Centro Universitrio Anhanguera de Niteri