E o segundo: "Um de nós já disse uma mentira." Em 16 de junho de 2017 14:52, Adolfo Neto <adolfo....@gmail.com> escreveu:
> 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-GhoZSNogiJoe6A8xUw0uH7 >>> RfErDb4N7n1J9Lqe%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/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%3Dmtvay%2B87sbnautSVa >> OrXdrmveTZ5KLCminx_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 > ================================================================== > -- ================================================================== 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/CANspyYXbqvpJR7v0qJxxD_Aa8ehB-Jt0iZFcfr1d_b4d7WGyVA%40mail.gmail.com.
