5 paradoxos da lgica e da matemtica

Por Redao Super Atualizado em 31/10/2014

Por Luiza Lages
Um paradoxo uma declarao que vai contra o senso comum, expectativas ou definies. Na
filosofia e na lgica, por exemplo, os paradoxos so importantes argumentos crticos, e j foram
responsveis pela organizao ou reorganizao de fundamentos de vrias reas do
conhecimento. Parece complexo, no? Mas a gente te explica com calma. De uma vastido de
problemas paradoxais da lgica e da matemtica, trazemos cinco deles que j deram um n na
cabea de muita gente. D uma olhada:
1. Paradoxo de Russell (e Paradoxo do Barbeiro)
Em 1901, enquanto trabalhava em seu livro Os princpios da Matemtica, Bertrand Russell
descobriu um paradoxo que expunha uma falha nos fundamentos da Teoria dos Conjuntos, de
Georg Cantor o que abalou o mundo da matemtica e levou cientistas a repensarem a lgica
moderna. Segundo a teoria de Cantor, um conjunto pode conter outros conjuntos, inclusive a si
mesmo. Por exemplo, o conjunto das ideias uma ideia. Mas isso no verdade para todos os
conjuntos, j que existem alguns que no podem conter a si mesmos. o caso do conjunto de
todos os nmeros, que no um nmero, ou do conjunto de todas as frutas, que no uma
fruta.
A Russell resolveu complicar a histria. O matemtico pegou esse conjunto dos conjuntos que
no contm a si mesmos (aquele que inclui o conjunto de todos os nmeros e o de todas as
frutas) e perguntou: Esse conjunto pertence a si mesmo?. Existem duas repostas possveis:
sim, ele pertence a si mesmo, ou no, no pertence a si mesmo. Se a resposta que ele
pertence a si mesmo, ele um conjunto que no pertence a si mesmo (porque essa a
caracterstica que define os participantes desse conjunto especfico). E se a resposta for que ele
no pertence a si mesmo, ento ele um conjunto que pertence a si mesmo. T a o paradoxo
de Russell: a resposta afirmativa leva a negao, e vice-versa.
Mas esse paradoxo no fica restrito matemtica, e pode ser entendido tambm no contexto da
autorreferncia, que quando uma afirmao faz referncia a si mesma. Ele tambm
conhecido como o Paradoxo do Barbeiro, contado pelo prprio autor para melhor explicar suas
ideias: em uma cidade com uma lei rgida quanto ao uso da barba, a regra que todo homem
adulto obrigado a se barbear diariamente, mas no precisa fazer a prpria barba. Existe um
barbeiro na cidade para esses casos, para o qual a lei diz que o barbeiro dever fazer a barba
daqueles que optarem por no fazer a prpria barba. Dessa afirmao, surge o paradoxo, j que
como resultado o barbeiro no pode se barbear. Por ser o barbeiro, fazer a prpria barba
significaria ser barbeado pelo homem que faz a barba s daqueles que optaram por no fazer a
prpria barba. E ele no pode ir ao barbeiro, pois isso significaria fazer a prpria barba, o que
no a funo do barbeiro.
2. Paradoxo do Mentiroso
Ainda no terreno da autorreferncia, h um paradoxo que existe nas mais variadas formas desde
os filsofos da Grcia Antiga. Ebulides de Mileto, no sculo 4 a.C., perguntou: Um homem diz
que est mentindo. O que ele diz verdade ou mentira?. Mais uma vez, encontramos uma
afirmativa que leva negao e uma negao que leva afirmativa. Se o homem estiver

mentindo, ento ele est falando a verdade. Se o homem estiver falando a verdade, ento ele
est mentindo. O problema revelado aqui da ordem do senso comum: o que entendemos por
verdade e mentira nos leva a contradies.
O Paradoxo do Mentiroso j foi registrado assumindo diferentes formas, contando diferentes
histrias, em diversos tempos e culturas. Uma das mais populares o Paradoxo do Pinquio. O
personagem da literatura infantil, criado por Carlo Collodi, afirma: O meu nariz vai crescer.
Quem conhece a histria sabe que o nariz do boneco de madeira cresce a cada vez que ele conta
uma mentira. Bem, se o nariz do boneco crescer, ento a afirmao era verdadeira e nada
deveria ter acontecido. Se o nariz no crescer, ento a afirmao era uma mentira e o nariz
deveria ter crescido.
A partir de uma afirmao derivada da proferida por Ebulides em sua forma mais simples (Esta
afirmao falsa), Kurt Gdel demonstrou o Teorema da Incompletude, na lgica moderna. Em
linguagem aritmtica, o matemtico disse que esta afirmao indemonstrvel. Se um axioma
(princpio matemtico que no precisa de demonstrao) desenvolvido tendo como base essa
estrutura falso, ento ele falso e demonstrvel, o que incoerente. Se o axioma verdadeiro,
ento ele verdadeiro e indemonstrvel, e, portanto, incompleto. Assim, qualquer teoria na
qual seja possvel formular uma afirmao como essa necessariamente incompleta.
3. O problema de Monty Hall
No final dos anos 80, o humorista Srgio Mallandro apresentava o programa infantil
Oradukapeta, no SBT. O quadro mais popular do programa era a Porta dos desesperados, em
que crianas da plateia escolhiam uma entre trs portas. Atrs de uma delas havia prmios, e
das outras duas, monstros fantasiados. Agora vamos l, suponha que voc um participante e
escolheu a porta 1. Outro participante escolhe a porta 2 e a abre primeiro, revelando um
monstro. Quando o apresentador pergunta se voc deseja trocar a porta selecionada, qual seria
a melhor deciso?
Muitas pessoas diriam que a chance de encontrar um prmio agora de uma chance em duas, e
que tanto faz qual for a deciso final. Mas em 1975, nos Estados Unidos, a escritora Marilyn vos
Savant disse em sua coluna na revista Parade que, em uma situao similar, o participante
deveria optar por trocar de portas. Segundo ela, a troca levaria a uma probabilidade de 2/3 de
ganhar o prmio, enquanto a chance de levar a melhor ao permanecer com a escolha inicial
seria de apenas 1/3.
Isso acontece porque, ao escolher uma porta, a chance de acerto inicialmente de 1/3. J tendo
sido revelada uma porta falsa, caso a troca seja efetuada, deve-se somar ao 1/3 de chance da
porta restante, o 1/3 de probabilidade que era conferido porta revelada, chegando ento a
duas em trs chances de acertar.
Muitos leitores, entre eles especialistas, no foram convencidos pelas explicaes da colunista, e
escreveram revista alegando que a proposta deveria estar errada. Com a polmica, foram
conduzidas simulaes e provas matemticas foram desenvolvidas para mostrar que, apesar de
fugir ao senso comum, vos Savant estava certa.
O problema de Monty Hall ganhou o nome do apresentador do programa de TV Lets Make a
Deal, que funcionava com uma dinmica bem prxima da Porta dos Desesperados, de Srgio
Mallandro. um paradoxo classificado como verdico pelo sistema do filsofo e lgico Willard
Van Orman Quine, j que apresenta resultados to pouco intuitivos que parecem absurdos, mas
que so demonstrados como verdadeiros.
4. Aquiles e a tartaruga
O que aconteceria se uma tartaruga apostasse corrida com um atleta? A resposta parece fcil,

mas o filsofo pr-socrtico Zeno de Eleia complicou as coisas com um de seus paradoxos do
movimento. A histria contada para explicar o problema proposto pelo pensador a seguinte:
Aquiles e uma tartaruga decidem apostar uma corrida e, como a velocidade de deslocamento do
heri da mitologia grega muito maior que a do pequeno rptil, ele d uma vantagem para a
tartaruga, que comea a prova frente.
Quando Aquiles alcana o ponto A, de onde saiu a tartaruga, ela j est frente, no ponto B. E
quando ele chega ao ponto B, a tartaruga j se encontra no ponto C. Ao Aquiles alcanar o ponto
C, ela j est em D, e assim sucessivamente. Dessa forma, o guerreiro nunca conseguiria
ultrapassar a tartaruga. Matematicamente, seria como pensar em um limite: o limite da
expresso teria o espao entre os dois corredores tendendo a zero e isso significa dizer que a
expresso se aproximaria cada vez mais do nmero 0, sem nunca alcan-lo.
Um dos problemas que Zeno desconsiderou a varivel do tempo. O paradoxo supe que a
soma de infinitos intervalos de tempo infinita, mas a soma dos infinitos intervalos de tempo
que Aquiles gasta para se aproximar da tartaruga, na verdade, converge para um valor finito.
Ento o heri s no conseguiria alcanar a tartaruga em um intervalo de tempo especfico.
Apesar das incoerncias, o paradoxo foi importante para pensarmos os infinitos, a noo de
referencial e movimento.
5. Paradoxo do enforcamento inesperado
Um juiz decreta a sentena de um homem condenado, e conta para o prisioneiro que ele vai ser
enforcado na prxima semana, entre segunda e sexta-feira, em um dia inesperado, ao meio-dia.
O homem entende a sentena de tal forma que fica aliviado, certo de que no vai ser executado.
O raciocnio dele o seguinte: quando chegar a quinta a noite e ainda no houver ocorrido a
execuo, ele ir saber que esta no pode mais acontecer na sexta, j que isso seria esperado, o
que contradiz a sentena que deixou claro que ele seria enforcado em um dia inesperado.
Ento, se chegada a quarta-feira e a execuo no houver acontecido, a mesma no poder ser
na quinta, pelo mesmo motivo apresentado antes. E assim por diante, no poder ocorrer na
quarta, na tera e nem na segunda. Mas na quarta-feira o prisioneiro enforcado, uma vez que a
lgica desenvolvida por ele tornou a sua execuo inesperada.
Os lgicos entendem que o problema do paradoxo est em sua natureza de autorreferncia e na
sentena contraditria do juiz que, ao estipular um tempo determinado (meio-dia) e contado
(uma semana) para o enforcamento, no poderia tambm falar em inesperado. Para a
epistemologia, o paradoxo pode tambm ser um problema associado ao conhecimento o que
sabemos e o que esperamos entra em jogo.
Bnus: Paradoxo do av
Um viajante no tempo volta ao passado para um momento em que seus avs ainda no se
conheciam, mata seu av e, como consequncia, impede o prprio nascimento. O problema
que, sem ter nascido, o viajante no pode voltar no tempo para matar seu av, o que significa
que ele nasceu.
Nem da lgica e nem da matemtica, essa a descrio do Paradoxo do av, que foi proposto
pela primeira vez pelo escritor de fico cientfica Ren Barjavel, em sua obra Le Voyageur
imprudent, de 1943. O autor provou que qualquer um pode desenvolver um paradoxo, e que um
paradoxo um olhar crtico sobre como se v e como se organiza o mundo.
A natureza contraditria do Paradoxo do av, que mostra a impossibilidade dos eventos
ocorrerem como descritos, est associada a uma viso de como a ligao entre passado e
futuro. Em diferentes cenrios, com diferentes perspectivas sobre a estrutura temporal, o
paradoxo no faria sentido. Por exemplo, a partir da noo de que o passado imutvel, seria

impossvel matar o av. Tambm podemos pensar que a viagem no tempo cria ou se associa a
uma linha do tempo alternativa, em um universo paralelo, em que, ao matar o av, aquele que
seria o viajante no chega a nascer.
http://super.abril.com.br/blogs/superlistas/5-paradoxos-da-logica-e-da-matematica/?
utm_source=redesabril_jovem&utm_medium=facebook&utm_campaign=redesabril_super