1

Eu sei que voc sabe que...

s vezes no basta simplesmente saber uma coisa
temos que saber que mais
algum sabe. Ou que outros
sabem que ns sabemos que
eles sabem que... Estas consideraes levam ao conceito de
conhecimento geral, e ele tem
conseqncias. Depois que
uma coisa se torna
de conhecimento geral,
torna-se possvel fazer
dedues sobre o raciocnio
de outras pessoas.

Os bem-educadssimos monges da ordem Perplexiana gostam de armar ciladas lgicas uns para os outros. Certa noite, quando os freis Arquibaldo e Benedito dormiam, frei Jonas entrou p ante p na cela deles e
pintou uma mancha azul no cocuruto da cabea raspada de cada um.
Quando os dois acordaram, ambos viram, claro, a mancha na cabea do
outro, mas, sendo bem-educados, no abriram a boca. Cada qual pensou
vagamente se tambm estaria com uma mancha azul na cabea, mas era
bem-educado demais para perguntar. Foi ento que frei Zeno, que nunca assimilara muito bem a arte da diplomacia, entrou e comeou a soltar
risadinhas. Interrogado, lembrou-se dos bons modos e recusou-se a dizer uma palavra alm de:
11

12

M ANIA

DE MAT E M T I C A

Pelo menos um de vocs est com uma mancha azul na cabea.

Ambos os monges sabiam disso, claro. Mas de repente Arquibaldo
ps-se a pensar. Eu sei que Benedito est com uma mancha no cocuruto,
mas ele no sabe que... Ser que eu estou com uma mancha? Bem, suponhamos que no; nesse caso, deduzo imediatamente da observao de
Zeno que ele est. Mas ele no se mostrou nem um pouco embaraado
xi, isso significa que eu devo estar manchado de azul! Nessa altura, de
repente, Arquibaldo ficou vermelho como um pimento. Benedito tambm enrubesceu, exatamente no mesmo instante, quase exatamente pela
mesma razo.
Sem o comentrio inocente de Zeno, nenhum dos dois teria podido
fazer esse raciocnio, e no entanto o filsofo no lhes dissera aparentemente nada que j no soubessem.
Esse efeito torna-se ainda mais intrigante quando o experimentamos
com trs monges. Agora os freis Arquibaldo, Benedito e Cirilo dormem
em sua cela, e Jonas lambuza de azul a cabea dos trs. Novamente, quando
os freis acordam, cada um repara a mancha azul na cabea dos dois outros, mas nada diz. Esse impasse lgico rompido quando Zeno joga
sua bomba:
Pelo menos um de vocs est com uma mancha azul na cabea.
Bem, isso leva Arquibaldo a refletir, e o que ele pensa isto: Suponhamos que eu no esteja com uma mancha. Nesse caso Benedito est vendo
uma mancha em Cirilo, mas no em mim, e pode se perguntar se ele prprio
est com uma mancha. E pode fazer o seguinte raciocnio: Se eu, Benedito,
no estiver com uma mancha, Cirilo est vendo que nem Arquibaldo nem
eu estamos com uma mancha, e pode deduzir imediatamente que ele prprio est manchado. Como Cirilo, que um lgico exmio, teve tempo de
sobra para fazer este raciocnio e at agora no se mostra nada embaraado,
sinal de que eu, Benedito, estou borrado de azul. Ora, como Benedito,
que tambm um lgico exmio e teve tempo de sobra para fazer este raciocnio, tambm no parece embaraado at agora, s posso concluir que na
verdade eu, Arquibaldo, estou com uma mancha. Nesse instante Arquibaldo fica vermelho como um pimento e igualmente vermelhos ficam
Benedito e Cirilo, que seguiram linhas de raciocnio muito parecidas.

EU

S E I Q U E VO C SABE Q U E ...

13

O mesmo tipo de argumentao funciona para quatro, cinco ou mais

monges supondo-se novamente, por enquanto, que todos esto com o
cocuruto pintado de azul. Suas dedues vo se tornando mais complicadas, mas, no importa quantos monges haja, o anncio de que pelo
menos um deles est com uma mancha azul na cabea provoca uma cadeia dedutiva que leva cada um a concluir que ele prprio est com a
cabea manchada. Quando o nmero grande, torna-se til usar algum
instrumento para marcar o tempo, de modo a podermos sincronizar as
reflexes dos envolvidos, e introduzirei um daqui a pouco, quando comearmos a analisar o que est se passando. Coisas igualmente paradoxais acontecem quando alguns monges esto com uma mancha na cabea
e outros no retornarei a isso.
Existem muitos enigmas deste tipo, envolvendo crianas com rostos
sujos, pessoas com chapus ridculos numa festa, duas pessoas que esto
de posse de nmeros inteiros positivos consecutivos mas no sabem qual
delas tem o maior existe at uma verso nada politicamente correta
sobre infidelidade conjugal entre os membros de uma tribo insular. Todos eles so indubitavelmente intrigantes, pois todo o processo desencadeado por algum que anuncia um fato perfeitamente evidente para
todos os envolvidos. No entanto, quando comeamos a analisar o que se
passa, fica claro que, na verdade, o anncio contm informao nova.
Neste caso, a informalidade da linguagem, tantas vezes til, obscurece o
que se passa.
Voltemos ao primeiro exemplo com os dois monges. Zeno anuncia:
Pelo menos um de vocs est com uma mancha azul na cabea.
Que sabem realmente os monges? Bem, Arquibaldo sabe que Benedito
est com uma mancha, e Benedito sabe que Arquibaldo est com uma
mancha. Mas estes fatos no so a mesma coisa. Quando Arquibaldo ouve
a afirmao de Zeno e conclui que isso ele j sabia, um de vocs para
ele Benedito. Mas quando Benedito ouve a afirmao de Zeno e conclui que isso ele j sabia, seu um de vocs Arquibaldo. No se trata,
em absoluto, da mesma afirmao. O que a declarao de Zeno faz no
apenas informar a Arquibaldo que algum est com uma mancha. Ela
tambm lhe informa que agora Benedito sabe que algum est com uma

14

M ANIA

DE MAT E M T I C A

mancha, e se trata do mesmo algum. Assim, a afirmao de Zeno no

diz a Arquibaldo nada de novo sobre o que o prprio Arquibaldo sabe,
mas diz de fato a Arquibaldo algo de novo sobre o que Benedito sabe.
Quebra-cabeas lgicos desse tipo so conhecidos como enigmas de conhecimento comum, e todos se baseiam nos mesmos mecanismos. O que
importa no o contedo da afirmao: o fato de todos saberem que todos
os outros sabem daquilo. Assim que esse fato se torna de conhecimento comum, torna-se possvel raciocinar sobre as reaes dos demais a ele.
Voltemos aos monges. Suponha agora que h cem monges, todos com
uma mancha na cabea, todos na ignorncia disso e todos lgicos assombrosamente rpidos. Para sincronizar o pensamento dos monges, suponha que o abade tem uma sineta.
De dez em dez segundos tocarei esta sineta anuncia o abade. Isto
lhes dar tempo de sobra para fazer as dedues lgicas necessrias. Imediatamente depois que eu tocar a sineta, todos aqueles entre vocs que
tiverem conseguido deduzir que esto com uma mancha, levantem a mo.
Transcorrem dez minutos de silncio. Exceto pelo toque repetido da
sineta do abade, nada acontece.
Ah, que cabea a minha! Eu me esqueci. Aqui est mais uma informao: pelo menos um de vocs est com uma mancha azul na cabea.
Em seguida nada acontece por 99 toques de sineta, e de repente, aps
o 100o toque, todos os cem monges levantam a mo ao mesmo tempo.
Em essncia, a lgica da situao a seguinte. O monge nmero 100,
digamos, pode ver que todos os outros 99 esto com manchas. Se eu
no estiver com uma mancha, ele pensa, os outros 99 sabem disso. Isso
me exclui completamente dos clculos. Portanto, se eu no estiver manchado, eles esto fazendo todas as sries de dedues que podem ser
feitas com 99 monges. Se eu tiver discernido corretamente a lgica para
99 monges, aps 99 toques todos eles levantaro a mo. Assim o monge
nmero 100 espera o 99o toque, e nada acontece. Ah, ento minha suposio estava errada eu s posso estar com uma mancha. A sineta
toca pela 100a vez, ele levanta a mo. Idem para os outros monges.
A lgica para 99 monges (sobre a base hipottica de que o monge 100
no est manchado) a mesma: agora o monge 99 prev que os outros 98

EU

S E I Q U E VO C SABE Q U E ...

15

levantaro a mo ao 98o toque, a menos que ele mesmo, monge 99, esteja
com uma mancha. E assim por diante, sucessivamente, at que finalmente chegamos a um nico monge hipottico, que no v nenhuma mancha
em lugar algum, fica surpreso ao saber que algum est com uma ndoa,
imediatamente deduz que s pode ser ele mesmo e levanta a mo aps o
primeiro toque.
Este um caso de induo matemtica, que diz que se alguma propriedade de nmeros inteiros n se aplica quando n = 1, e se sua validade
para n implica sua validade para n + 1 qualquer que seja n, ela deve ser
vlida para todo n.
At agora, supus que todos os monges estavam com uma mancha,
mas por um raciocnio semelhante voc pode se convencer de que este
no um requisito essencial. Suponha, por exemplo, que, no total de cem
monges, 68 esto com uma mancha. Nesse caso, com perfeita lgica, nada
acontece at o 68o toque da sineta, instante em que todos os que tm
manchas levantam a mo simultaneamente, mas nenhum dos outros.
Os enigmas de conhecimento comum foram amplamente investigados, e algumas referncias teis podem ser encontradas num artigo de
David Gale (ver Sugestes de leitura no fim deste livro). O exemplo mais
matemtico e o de mais longo alcance ali descrito foi inventado por
John Conway (Princeton University) e Michael Paterson (University of
Warwick, Reino Unido). Imagine um ch de matemticos loucos. Cada
conviva usa um chapu em que est escrito um nmero. Esse nmero
dever ser maior ou igual a zero, mas no precisa ser um nmero inteiro;
alm disso, o nmero de um dos convidados deve ser no-zero. Arranje
os chapus de modo que nenhum jogador possa ver seu prprio nmero,
mas possa ver os de todos os outros.
Passemos ao conhecimento comum. H uma lista de nmeros pendurada na parede. Um deles o total de todos os nmeros nos chapus
dos jogadores mas ningum sabe qual deles o total correto. Finalmente, suponha que o nmero de possibilidades na lista menor ou igual ao
nmero de jogadores.
A cada dez segundos uma sineta toca, e todos os que souberem seu
prprio nmero ou, o que d no mesmo, souberem o total correto, uma

16

M ANIA

DE MAT E M T I C A

vez que todos podem ver os nmeros de todos os outros devem anunciar o fato. Conway e Paterson provaram que, com perfeita lgica, algum
conviva acabar por fazer esse anncio.
primeira vista, isso paradoxal. Suponha, por exemplo, que h trs
jogadores, e no chapu de todos est escrito o nmero 2, ao passo que na
lista pendurada na parede l-se 6, 7, 8. Cada jogador v um subtotal de 2
+ 2 nos chapus dos outros dois, logo, o nmero no seu prprio deve ser
2 ou 3 ou 4. Portanto cada um dos outros est olhando ou para 2 + 2, ou
para 2 + 3 ou para 2 + 4, e qualquer um dos totais 6, 7 ou 8 possvel
(lembre-se de que alguns jogadores, embora no todos, podem ter zero
em seus chapus). Assim, nenhum total pode ser excludo. No entanto,
graas sineta, os jogadores podem fazer inferncias a partir do fato de
que os outros jogadores ainda no anunciaram conhecer os nmeros. A
cada toque, alguns conjuntos de nmeros so excludos, e isso conduz
inesperada concluso de Conway e Paterson.
Para ter uma idia do que est em jogo, considere apenas dois jogadores, e suponha que a lista pregada na parede 6, 7. Como os prprios
nmeros no so conhecidos, chame-os x e y. O que ambos os jogadores
sabem que x + y = 6 ou x + y = 7. Agora, um pouco de geometria. Os
pares (x, y) que satisfazem essas duas condies so as coordenadas de
dois segmentos de linha no quadrante positivo do plano (Figura 1.1).
Se x ou y forem maiores que 6, o jogo terminar aps o primeiro
toque, porque o outro jogador poder ver imediatamente que um total de
6 impossvel. Os pares (x, y) para os quais isso acontece so mostrados
na Figura 1.2. (Aqui preciso ter um pouco de cuidado: os pontos (1, 6)
e (6, 1), situados nas extremidades dos segmentos marcados, no so
eliminados. Falta uma extremidade aos segmentos eliminados, aquela mais
prxima do meio das linhas inclinadas.) Se nenhum dos dois jogadores
responder aps o primeiro toque, essas possibilidades so eliminadas. O
jogo terminar ento no segundo toque, se x ou y forem menores que 1.
Por qu? O outro jogador pode ver o chapu com um nmero menor que
1, e sabe que seu prprio nmero 6 ou menos; portanto, o total de 7
excludo. Os pares para os quais o jogo termina no segundo toque so
mostrados na Figura 1.3.

EU

Figura 1.1
Dois segmentos de linha correspondem
aos nmeros possveis nos chapus.

Figura 1.3
Se os nmeros carem nestes segmentos,
o jogo termina ao segundo toque.

17

Figura 1.2
Se os nmeros carem nos segmentos
representados por linhas grossas,
o jogo termina ao primeiro toque.

S E I Q U E VO C SABE Q U E ...

Figura 1.4
Prosseguindo ao longo de duas escadas entre
as linhas, descobrimos por quanto tempo o
jogo continua para qualquer par de nmeros
(o nmero de toques exigido est marcado
nos segmentos apropriados; falta a cada
segmento a extremidade situada mais perto
do centro das linhas inclinadas). Aqui, o maior
nmero de toques requerido 8.

18

M ANIA

DE MAT E M T I C A

Levando-se adiante essa linha de raciocnio, os pares (x, y) para os

quais o jogo cessa aps um dado toque formam as sucessivas diagonais
de duas escadas, uma que desce a partir do alto esquerda e uma que
sobe a partir de baixo direita, como na Figura 1.4. Esses segmentos
diagonais esgotam rapidamente as possibilidades. De fato, neste caso, o
jogo deve parar ao oitavo toque. (Por causa das extremidades ausentes
que mencionei, os nmeros (3, 3) requerem oito toques. Todas as outras
possibilidades requerem sete ou menos.)
O mesmo tipo de argumentao resolve o problema no caso de qualquer lista para dois jogadores, e nos permite at descobrir o nmero mximo de toques de sineta exigido. A prova para um nmero maior de
jogadores muito simples, mas matematicamente sofisticada. O artigo de
Gale expe todos os detalhes. Como um desafio, descubra o que acontece com trs jogadores, todos com o nmero dois no chapu, e a lista 6, 7,
8, tal como foi mencionado antes. Voc deveria descobrir que nada acontece por 14 toques, e em seguida, ao 15o toque, todos os trs jogadores
anunciam seus nmeros.