Uma Lâmpada Especial

Na matemática, por vezes, surgem questões que põem em causa a sua eficiência e a sua aplicação a certas situações, quer de índole prática, quer de índole teórica. Essas questões podem originar um paradoxo, isto é, um problema que não tem solução ao considerarmos as teorias que lhe são adjacentes. Existem muitos paradoxos na linguagem lógica. Paradoxos que resultam da simples criação de regras nas quais assentam essa linguagem.

Um paradoxo muito simples é o que se obtém quando se analisa o seguinte discurso entre três pessoas: a Verónica, o Xavier e o Zacarias:

 

De que maneira se analisa um problema deste género? Basta escolher um dos três amigos e analisar o que acontece se este estiver a mentir ou a dizer a verdade. Por exemplo, podemos escolher a Verónica:

 
● Estará a Verónica a dizer a verdade?

Vejamos: Se a Verónica está a dizer a verdade então o Xavier também está a dizer a verdade. Pela mesma ordem de ideias, também o Zacarias é verdadeiro. Mas tal não pode acontecer, uma vez que o Zacarias afirma que os dois amigos estão a mentir e nós partimos do princípio que a Verónica diz a verdade. Encontrámos então uma contradição no discurso.

 
● Estará a Verónica a dizer a mentir?

Se a Verónica mente então o Xavier também está a ser mentiroso. Ora se o Zacarias diz que os outros dois amigos mentem então está a dizer a verdade e, portanto, o Xavier está a dizer a verdade quando diz que o Zacarias é verdadeiro. Então o Xavier é verdadeiro e mentiroso ao mesmo tempo!

 

Na realidade, este é uma dos típicos exemplos em que é mais fácil perceber o problema com um exemplo análogo mais complicado. Há problemas que, por serem tão simples, às vezes são difíceis de compreender. Na verdade basta apenas um discurso entre dois protagonistas para originar um paradoxo:

 

 

Como encontrar uma lógica por detrás destas afirmações? Se a Verónica diz a verdade então o Xavier também diz a verdade. Mas como poderá ele dizer a verdade se diz que a Verónica mente? Por outro lado, se a Verónica mente, então o Xavier também é mentiroso. No entanto ele está a ser verdadeiro no seu discurso. Serão ambos verdadeiros e mentirosos em simultâneo??? Querem ver como uma simples pessoa pode originar um paradoxo? Ora vejam:

 

 

Se o Xavier está a dizer a verdade então é porque é mentiroso! Se está a mentir é porque é sincero… E isto é um paradoxo…!

 

Mas não foi por causa dos paradoxos linguísticos que resolvi escrever este post. Gostaria de aprofundar este tema um pouco mais e talvez arriscar um paradoxo digno de dores de cabeça… Para expô-lo, necessito de dar-vos conta de que, por vezes, em matemática, consideram-se somas com um número infinito de parcelas. À primeira vista, poder-se-á julgar que uma soma deste género é igual a um número infinito, uma vez que estamos a lidar com um número infinito de parcelas. Bem! Na realidade, isso acontece na maior parte dos casos:

 

 

Existem, no entanto, outros casos em que a soma de infinitas parcelas não dá infinito. É estranho? Nem por isso! Sobretudo se pensarmos no que acontece se somarmos infinitas vezes o número zero (obviamente que a resposta é zero e não infinito). Apesar de tudo uma aplicação à vida real de uma destas somas pode originar algumas situações estranhas. O exemplo que vamos considerar é o da soma de todos os termos de uma progressão geométrica de razão igual a ½ que facilmente se percebe a partir de uma simples construção geométrica (basta um segmento de recta com uma unidade de comprimento):

 

 

Note que, à medida que vamos adicionando os comprimentos vamos aproximando-nos cada vez mais do comprimento total do segmento de recta, que é igual a uma unidade. Em teoria a soma de todos aqueles comprimentos (que são infinitos) será então igual a 1. Não há nada de paradoxal aqui. Pelo menos enquanto aplicarmos esta soma a uma variável como o comprimento (que é uma variável contínua). Esta soma em especial também pode ser retratada no célebre Problema de Zenão: Se um atleta fizer uma corrida de, digamos, 1 km então ele passa por uma infinidade de distâncias, isto é, ele percorre metade da distância (500 metros) num primeiro intervalo de tempo, depois mais um quarto (750 metros) num segundo intervalo de tempo, depois mais um oitavo (875 metros) e por aí adiante… Por esta ordem de ideias poder-se-á pensar que o atleta nunca chega a atingir a meta. Por muito que corra aproximar-se-á infinitamente da linha de chegada sem nunca a atingir…!

 

 

Ora todos sabemos que isso não é verdade e que o atleta percorre um quilómetro inteiro num espaço de tempo finito. Realmente essa conclusão apenas seria acertada se o atleta demorasse o mesmo tempo a percorrer cada uma das distâncias consideradas, mas nesse caso, a sua prova era dotada de uma desaceleração continuamente infinita. Mas o que acontece na realidade é que o tempo que o atleta demora a percorrer cada uma das distâncias consideradas é metade do tempo que demorou a percorrer a distância anterior (para fixar ideias podemos imaginar que o atleta percorre os primeiros 500 metros em 2 minutos e mantém a sua velocidade constante até ao final da corrida):

 

 

Facilmente se compreende que, se neste caso as distâncias somam um quilómetro (apesar de serem infinitas distâncias) então os tempos somam 4 minutos (apesar de também serem infinitos tempos).

 

Está tudo a postos para o problema da lâmpada. O que acontecerá se tivermos também intervalos infinitos de tempo (cuja soma seja uma constante e não infinito) associados a uma variável discreta, como, por exemplo, a um interruptor de uma lâmpada? Passo a explicar: imaginemos que temos uma máquina capaz de accionar o interruptor de uma lâmpada. A máquina acende a lâmpada. Passado 1 minuto, a máquina acciona o interruptor e apaga-a novamente. Volta a accionar o interruptor passados 30 segundos e depois passados 15 segundos, 7,5 segundos e por aí adiante, isto é, a máquina demora metade do tempo anterior a mudar o estado da lâmpada:

 

 

Agora é trivial perceber que a máquina acciona o interruptor uma infinidade de vezes ao fim de 2 minutos, assim como o atleta do Problema de Zenão atinge a sua meta ao fim de 4 minutos. Mas qual será o derradeiro final do estado da lâmpada? Zenão chegou à sua meta mas… E a lâmpada? Estará acesa ao fim de dois minutos? Ou estará apagada? Vejamos:

 

● Estará a lâmpada acesa?

Se a lâmpada estiver acesa no final dos dois minutos, então significa que o interruptor mudou o estado da lâmpada um número ímpar de vezes (note pelo esquema que a lâmpada ficou acesa ao primeiro, terceiro e quinto clique do interruptor). Mas então isso significa que o último número natural (lembram-se do conjunto IN?) é um número ímpar… Podemos sempre deitar tudo a perder e afirmar que, afinal, o último número existe… E é ímpar… Mas…

 

● Estará a lâmpada apagada?

Se ao fim de dois minutos a lâmpada estiver apagada, então o interruptor mudou o estado da lâmpada um número par de vezes. Consequentemente, pelo raciocínio análogo ao ponto anterior, conclui-se que o último número natural existe, mas afinal de contas é par!!!

 

E então em que é que ficamos? A lâmpada fica acesa? Apagada? Será que existe mesmo um último número? Na realidade os filósofos de hoje em dia ainda se debatem sobre uma resposta a dar a este paradoxo. Muitos argumentam que a máquina que acciona o interruptor é inconcebível e que, portanto, a resposta é desprovida de sentido. Não deixam de ter razão! Tal máquina é impossível de construir. Tanto a máquina como o interruptor, na verdade. Nos últimos instantes dos 2 minutos, o interruptor teria que ser accionado a uma velocidade tão grande que se desintegraria. Aliás, mesmo que não se desintegrasse, ao ultrapassar a velocidade de 300.000 km/s (a velocidade da luz) o botão do interruptor passaria a ter massa imaginária e começaria a viajar para trás no tempo de acordo com a Teoria da Relatividade de Einstein. Poderíamos então pensar que, neste caso absolutamente medonho, a lâmpada voltaria ao seu estado inicial, mas tal não faz sentido uma vez que apenas o interruptor voltaria para o passado enquanto que a lâmpada continuaria a sua viagem para o tempo futuro tal como todos nós. Por outro lado há quem contra-argumente e defenda que o problema não se pode resumir à impossibilidade de criar o ambiente para o testar. A máquina e o interruptor poderão não ser concebíveis na realidade, mas são-no logicamente. No entanto a solução do problema ou o levantamento do paradoxo carecem de respostas…

Um paradoxo resolve-se criando uma teoria (ou alterando uma já existente) no qual ele não possa ocorrer. Na minha opinião de filósofo (e não de matemático) o problema da lâmpada deve ser tratado como incoerente uma vez que uma soma com infinitas parcelas faz apenas sentido se associada a uma variável contínua (como o comprimento – como vimos no Problema de Zenão – o peso, velocidade, etc.) e nunca a uma variável discreta (como o interruptor da lâmpada que nunca se altera nos intervalos de tempo entre as várias mudanças de fase). No entanto, paradoxos, na minha opinião, nunca deixarão de existir… A matemática, sem sombra de dúvida, é uma ferramenta poderosíssima. Mas a imaginação humana é mais forte. Forte o suficiente para combater a arrogância da matemática que visa explicar sempre tudo de uma forma una para todo o cosmos.