Falta só alguém responder a pergunta bônus do João Marcos... :) Em 16 de junho de 2017 14:49, Márlon Henrique Teixeira < marlonhenriqu...@gmail.com> escreveu:
> 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/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/CANspyYW-GhoZSNogiJoe6A8xUw0uH >> 7RfErDb4N7n1J9Lqe%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ê 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/CABcc%2B%3Dmtvay% > 2B87sbnautSVaOrXdrmveTZ5KLCminx_Cpx9zGQQ%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABcc%2B%3Dmtvay%2B87sbnautSVaOrXdrmveTZ5KLCminx_Cpx9zGQQ%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ê 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/CANspyYVekz-VBwaL0KkmUxFTXWV3jPdzuUFrZ1TRjdyU8nR%2BMw%40mail.gmail.com.