Obrigado a ambos. Ambos os meios funcionaram. Em 16 de junho de 2017 14:41, Adolfo Neto <adolfo....@gmail.com> escreveu:
> A facilidade com que dá para quebrar o paywall do UOL sempre me espanta. > Mas eu ainda não conhecia esta. > > De todo modo, aqui vai o texto completo, para registro histórico. > > Estamos no ano de 2710. Na sequência de inúmeras explorações espaciais, > finalmente a humanidade encontrou uma espécie inteligente extraterrestre: > os Gödelianos do planeta X314. O contato é muito mais difícil do que > previram os cientistas, e até os autores de ficção científica, pois os > Gödelianos são uma espécie muito, muito estranha. (*) > > Para começar, eles têm quatro sexos: os Verdadeiros, que sempre dizem a > verdade; os Mentirosos, que sempre mentem; os Inconstantes, que tanto > mentem quanto dizem a verdade; e os Doidos, os mais estranhos de todos, que > não seguem as regras da lógica. Uma coisa que complica muito é que, na > aparência, os quatro são totalmente idênticos: o sexo de um Gödeliano só > pode ser identificado por meio de suas respostas a perguntas. > > Lauralina, leitora assídua desta coluna, acaba de ser nomeada a primeira > embaixadora da Terra em X314. A sua missão, ajudar na comunicação entre os > dois povos, é crucial para a paz na galáxia. Mas primeiro ela tem de ser > aprovada pelos Gödelianos, respondendo a uma série de perguntas. O governo > alienígena prometeu que neste primeiro contato não participarão Doidos. No > mais, Lauralina precisa ter muitíssimo cuidado: os Gödelianos são muito, > muito sensíveis em questões de lógica. > > O primeiro entrevistador afirma: "Eu sou Mentiroso. Qual é o meu sexo?" > Lauralina precisa pensar muito bem antes de responder! Errar o sexo do seu > interlocutor é uma ofensa gravíssima em X314: a vítima costuma reagir > cuspindo ácido sulfúrico no ofensor. > > Ela pensa: um Verdadeiro nunca diria isso, porque estaria mentindo. Um > Mentiroso também não confessaria, pois estaria dizendo a verdade, e isso > eles nunca fazem. Os Gödelianos garantiram que não haveria Doidos, portanto > só resta uma opção: ele é Inconstante. Muito bem, Lauralina! > > Agora são dois entrevistadores. Sabemos que um deles é Verdadeiro, mas não > sabemos qual, nem o sexo do outro. O primeiro entrevistador diz: "Eu sou > Verdadeiro, e o meu amigo é Inconstante." O segundo contesta: "Eu sou > Verdadeiro, e ele é Inconstante." Novamente o primeiro: "Eu sou Inconstante > e ele é Verdadeiro". E o segundo: "Um de nós já disse uma mentira." > > Como saber qual é qual? > > Lauralina observa: as duas afirmações do primeiro entrevistador são o > contrário uma da outra. Portanto uma é verdade e a outra é mentira. Então > ele não pode ser Verdadeiro, porque estes nunca mentem, nem Mentiroso, > porque nunca dizem a verdade. Logo, o primeiro observador é Inconstante e, > nesse caso, o segundo deve ser Verdadeiro. > > Ufa! > > Sabemos que no próximo par de entrevistadores não há Inconstantes (nem > Doidos). O primeiro deles diz apenas: "Os dois somos do mesmo sexo." O > outro é mais tagarela: "Se sou Verdadeiro então o meu colega é Mentiroso. > Se sou Mentiroso, então ele é Verdadeiro." Agora complicou!... > > Mas, com a preciosa ajuda dos nossos leitores e leitoras, Lauralina > consegue entender a lógica da situação. Ela raciocina assim: vamos supor > que sejam do mesmo sexo. Então a afirmação do primeiro entrevistador é > verdade e, portanto, ele é Verdadeiro. Nesse caso, o outro também seria > Verdadeiro, já que supomos que são do mesmo sexo. Mas o segundo diz que se > ele for Verdadeiro então o primeiro é Mentiroso. Se isso estiver certo, > então o primeiro é Mentiroso, contradizendo a conclusão anterior. Se for > mentira, então o segundo entrevistador é Mentiroso, o que também contradiz > a conclusão anterior. Não há saída: nos dois casos chegamos a uma > contradição. Portanto, eles não podem ser do mesmo sexo! > > Então a afirmação do primeiro entrevistador é mentira, e ele é Mentiroso. > Nesse caso, como já sabemos que eles são de sexos diferentes, o segundo é > necessariamente Verdadeiro. > > Essa foi por pouco! > > A fase final da entrevista é na presença do Líder Supremo dos Gödelianos. > "Eu estou mentindo. O que pode dizer sobre o meu sexo?" Lauralina recusa-se > a responder e informa o seu governo. A Terra protesta com veemência, e os > Gödelianos retiram a pergunta e pedem desculpa. Por quê??? (Responda pelo > e-mail viana.folh...@gmail.com.) > > Tudo termina bem: nossa embaixadora está credenciada oficialmente em X314, > e a era das relações diplomáticas interplanetárias está começando! > > (*Inspirado em cenário criado pelo francês Jean-Claude Baillif) > > > Em 16 de junho de 2017 14:38, Thiago Nascimento da Silva < > thiagnascsi...@gmail.com> escreveu: > >> Coloca para carregar e assim que aparecer o texto, dê um esc ou aperte no >> x para parar de carregar a página. >> >> Em 16 de junho de 2017 14:31, Márlon Henrique Teixeira < >> marlonhenriqu...@gmail.com> escreveu: >> >>> Conteúdo restrito para assinantes. Se alguém poder colar o texto aqui, >>> agredecemos. >>> >>> >>> >>> Em 16 de junho de 2017 07:58, 'Samuel Gomes' via LOGICA-L < >>> logica-l@dimap.ufrn.br> escreveu: >>> >>>> ... Aquilo tudo só pra chegar no Paradoxo do Mentiroso ? >>>> >>>> ... Ou será que a idéia era dizer que o Líder Supremo dos Godelianos é >>>> doido ? >>>> >>>> Ai ai ai... Pobres macaquinhos do Jardim Botânico... >>>> >>>> []s Samuel >>>> >>>> -- >>>> Você está recebendo esta mensagem porque se inscreveu no grupo >>>> "LOGICA-L" dos Grupos do Google. >>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, >>>> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. >>>> Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. >>>> Visite este grupo em https://groups.google.com/a/di >>>> map.ufrn.br/group/logica-l/. >>>> Para ver esta discussão na web, acesse https://groups.google.com/a/di >>>> map.ufrn.br/d/msgid/logica-l/f3366bfe-0aa0-4896-b328-3e3c713 >>>> 41e43%40dimap.ufrn.br. >>>> >>> >>> -- >>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos >>> Grupos do Google. >>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, >>> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. >>> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. >>> Acesse esse grupo em https://groups.google.com/a/di >>> map.ufrn.br/group/logica-l/. >>> Para ver essa discussão na Web, acesse https://groups.google.com/a/di >>> map.ufrn.br/d/msgid/logica-l/CABcc%2B%3Dm_NR%3Dsdz7s49SzAx9c >>> YxjCitkG_b5Asv%3D8cqpQQmcWfA%40mail.gmail.com >>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABcc%2B%3Dm_NR%3Dsdz7s49SzAx9cYxjCitkG_b5Asv%3D8cqpQQmcWfA%40mail.gmail.com?utm_medium=email&utm_source=footer> >>> . >>> >> >> -- >> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos >> Grupos do Google. >> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, >> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. >> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. >> Acesse esse grupo em https://groups.google.com/a/di >> map.ufrn.br/group/logica-l/. >> Para ver essa discussão na Web, acesse https://groups.google.com/a/di >> map.ufrn.br/d/msgid/logica-l/CAOHRVBWj2YUztRobH_GTaMg7-LNbOF >> R%2B%2BzCY8yJO-fEKAjh4TA%40mail.gmail.com >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOHRVBWj2YUztRobH_GTaMg7-LNbOFR%2B%2BzCY8yJO-fEKAjh4TA%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > > > > -- > ================================================================== > Adolfo Neto > Assistant Professor - Federal University of Technology, Paraná > Web: http://www.dainf.ct.utfpr.edu.br/~adolfo > Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br > ================================================================== > > -- > Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. > Acesse esse grupo em https://groups.google.com/a/ > dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse https://groups.google.com/a/ > dimap.ufrn.br/d/msgid/logica-l/CANspyYW-GhoZSNogiJoe6A8xUw0uH7RfErDb4N > 7n1J9Lqe%3Do%3Dw%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYW-GhoZSNogiJoe6A8xUw0uH7RfErDb4N7n1J9Lqe%3Do%3Dw%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABcc%2B%3Dmtvay%2B87sbnautSVaOrXdrmveTZ5KLCminx_Cpx9zGQQ%40mail.gmail.com.
