Lógica matemática é a linguagem para falarmos com os extraterrestres
Joao Marcos
Qual o sexo do Líder Supremo dos Gödelianos?
http://www1.folha.uol.com.br/colunas/marceloviana/2017/06/1893325-logica-matematica-e-a-linguagem-para-falarmos-com-os-extraterrestres.shtml
(Bônus: em um dos desafios há uma asserção que poderia ser substituída
por *qualquer outra asserção verdadeira* e não faria nenhuma diferença
na solução. Qual?)
JM
Samuel Gomes
... 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
Márlon Henrique Teixeira
--
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+unsubscribe@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logi...@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/f3366bfe-0aa0-4896-b328-3e3c71341e43%40dimap.ufrn.br.
Thiago Nascimento da Silva
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 <logi...@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+u...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logi...@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/f3366bfe-0aa0-4896-b328-3e3c71341e43%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+unsubscribe@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logi...@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%3Dm_NR%3Dsdz7s49SzAx9cYxjCitkG_b5Asv%3D8cqpQQmcWfA%40mail.gmail.com.
Adolfo Neto
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....@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)
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 <marlonhe...@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 <logi...@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+u...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logi...@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/f3366bfe-0aa0-4896-b328-3e3c71341e43%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+u...@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logi...@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%3Dm_NR%3Dsdz7s49SzAx9cYxjCitkG_b5Asv%3D8cqpQQmcWfA%40mail.gmail.com.
--
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+u...@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logi...@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/CAOHRVBWj2YUztRobH_GTaMg7-LNbOFR%2B%2BzCY8yJO-fEKAjh4TA%40mail.gmail.com.
Adolfo Neto
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
==================================================================
Márlon Henrique Teixeira
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscribe@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logi...@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-GhoZSNogiJoe6A8xUw0uH7RfErDb4N7n1J9Lqe%3Do%3Dw%40mail.gmail.com.
Adolfo Neto
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYW-GhoZSNogiJoe6A8xUw0uH7RfErDb4N7n1J9Lqe%3Do%3Dw%40mail.gmail.com.
--
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+unsubscribe@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logi...@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.
Adolfo Neto
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.
--==================================================================
Adolfo NetoAssistant 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
==================================================================
Joao Marcos
Paradoxos estão por toda parte
http://www1.folha.uol.com.br/colunas/marceloviana/2017/07/1902970-paradoxosestao-por-toda-a-parte.shtml
JM
http://sequiturquodlibet.googlepages.com/