sábado, 26 de junho de 2010

A busca pela Lógica

Possuímos um desejo perene que é a busca pela verdade. Normalmente não nos satisfazemos com algumas coisas e mesmo pequenos, na escola, refutamos ideias como: Por que tenho que ir para a escola? Por que preciso aprender Matemática? E assim por diante. Questionamos, ouvimos as respostas que nos são dadas, acreditamos ou não, nos conformamos ou não, e seguimos adiante, em busca do próximo passo, ou próximo nível. Mas, para Bertrand Russell a coisa não foi bem assim. Desde pequeno, ele era um menino curioso, que questionava as ordens de sua avó e se tornou posteriormente um grande filósofo matemático. No gibi chamado Logicomix nos é apresentado a vida de Bertrand Russell contada por dois filósofos gregos chamados Apostolos Doxiadis e Christos H. Papadimitriou. Sem dúvida nenhuma esse trabalho, além de muito interessante, é uma obra de arte. Utilizar o gibi para discorrer sobre um assunto indigesto que é a matemática, especialmente a lógica, e a vida de um matemático poderia matar qualquer um de tédio, mas não é o que acontece nesse caso. O livro-gibi é extremamente divertido, e muito intrigante. Confesso que não conhecia a obra de Russell, e fiquei espantado com a angústia desse homem que queria a todo custo questionar os axiomas matemáticos mais básicos, como Euclides por exemplo, e iniciou uma obra para provar a fundação lógica de toda a matemática.

O que chamou a atenção do mundo e tirou Russell do anonimato foi seu paradoxo, conhecido como paradoxo de Russell que prova, por meio de um questionamento, que a teoria dos conjuntos de Georg Cantor e Gottlob Frenge é contraditória. Poderia um conjunto de todos os conjuntos os quais não contém a si próprios conter ele mesmo? Se sim, então não pode. Se não, então pode. [1] Isso gera um paradoxo, como o paradoxo do barbeiro, de Kurt Godel e o paradoxo da enciclopédia. Seria como disse Euboulides: "Caros cidadãos, estou agora mentindo para vocês." Se ele está dizendo a verdade, então está mentindo. Se está mentindo, então está dizendo a verdade.

Uma das coisas que me chamaram a atenção na obra é que Russell foi procurar Cantor para lhe questionar sobre a teoria dos conjuntos e encontrou Georg Cantor numa espécie de hospital psiquiátrico, pois não estava em seu pleno juízo. Quando Russell ao questioná-lo, viu que ele começou a falar coisas estranhas, sem muito sentido e soltou em uma de suas frases: "Jesus Cristo era na verdade filho de... José de Arimatéia!" [2]. Nos quadros seguintes mostra Russell abandonando o hospital, ainda abalado com o estado do matemático, mas a frase ficou na minha cabeça. Mais a frente, quando é publicado o paradoxo de Russell, uma enfermeia estava lendo-o para Georg Cantor, que explodiu num grito e chacoalhando a funcionária do hospital pelos ombros disse: "Finalmente sou um homem livre! Você não entende? O inglês provou que o 'Conjunto de todos os conjuntos' é uma impossibilidade! Meu monstro, o usurpador da grandeza absoluta de Deus não existe mais! Eu estou salvo..." [3] Interessante isso, não? O que gerava angústia naquele homem era pensar ter criado algo que iria contra a onipotência de Deus, e viu-se livre quando finalmente compreendeu o desfecho daquilo. Imediatamente pensei em alguns que questionam Deus se perguntando por que então Deus então não cria uma pedra que ele mesmo não consegue levantar?

Russell coloca então uma frase, que também fiquei pensando: "Dada uma certa quantia de irracionalidade, alguns podem ler religião até mesmo na lógica." [4] Apesar de seu ostracismo de uma vida religiosa, vê-se que preconceitos permeiam a mente de Russell, bem justificados com o que viveu da ignorância de sua família, e o que acontece com a maioria dos cientistas, que tentam afastar a ciência de Deus e Deus da ciência, e não percebem que tudo só faz sentido se colocados no mesmo plano.

Para finalizar, após ter terminado o volume dois de seu trabalho entitulado “The Foundations of Arithmetic”, Gottlob colocou um adendo no final, pois dobrou-se à publicação da obra, mesmo que abalada em suas fundações. O adendo diz que “Dificilmente alguma coisa mais infortúnia pode suceder para um escritor científico do que ter uma das fundações de seu edifício abalado após o trabalho estar terminado” e cita o trabalho de Bertrand Russell, que obteve o colapso de uma de suas leis. Colocar isso em seu livro foi um verdadeiro ato de honestidade intelectual, elogiado pelo próprio Russell em seu discurso de 4 de setembro de 1939, três dias após Hitler invadir a Polônia em seu Blitzkrieg.

_________
[1] - “Does the set of all sets which do not contain themselves contain itseft? If it does, then it doesn’t. And if it doesn’t, then it does!”

[2] - "Jesus Christ was in reality the son of… Joseph of Arimathea!"

[3] - “I’m a free man at last! Don’t you understand? The Englishman proved the ‘Set of all sets’ is an impossibility! My monster, the usurper of God’s Absolute Greatness thus no longer exists! I’m saved...”

[4] - “Given the right amount of irrationality, one can read religion even in Logic”

Um comentário:

Garcia Filho disse...

Talvez eu leia este livro.