Lógica matemática para compreender as famílias deste mundo e de outros Divulgação [image: Mascote do biênio da Matemática] Mascote do biênio da Matemática 01/12/2017 02h05 Compartilhar15 <http://app-na.readspeaker.com/cgi-bin/rsent?customerid=6877&lang=pt_br&readid=news&url=> Mais opções
Lentamente, dolorosamente, a consciência vai voltando. Abrir um olho, depois o outro, esforço hercúleo. As luzinhas LED piscando na penumbra do quarto. O barulho insuportável do despertador iônico. Os robôs domésticos olhando em silêncio, com expressões de censura. A dor aguda comprimindo as têmporas, extinguindo toda alegria de viver... A adaptação à vida fora da Terra não tem sido fácil para Lauralina, nossa embaixadora no planeta X314, e seu companheiro Valeriano. É fundamental que se relacionem com os habitantes locais, os Gödelianos, mas estes falam uma língua complicada e são muito susceptíveis: quando se sentem ofendidos, cospem ácido sulfúrico no interlocutor. Todo cuidado é pouco! Por outro lado, quando estão felizes os Gödelianos gostam de comemorar com os amigos tomando muitos drinques perfumados à base de silicato de lítio. Ontem à noite, de mãos dadas à luz das sete luas coloridas de X314, até que pareceu uma boa ideia. Mas agora pela manhã, ressaca de silicato de lítio ninguém merece! Mas difícil mesmo é compreender a cultura local. Os Gödelianos 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, que não seguem as regras da lógica. Assim, a maioria das famílias consiste de quatro progenitores e um número variável de filhos. O direito de Família em X314 não é brincadeira. E os casos de divórcio são os mais complexos da galáxia! Lauralina e Valeriano não medem esforços para aprender o mais rápido possível. Além de diversos cursos de ciências gödelianas, eles fazem tudo que podem para interagir com os nativos. Hoje mesmo, serão babás de uma encantadora família com dezenove filhos, todos adoravelmente adolescentes. Nossos heróis já aprenderam que os adolescentes gödelianos sabem qual sexo terão quando se tornarem adultos. Até lá, os que se tornarão Verdadeiros só dizem a verdade e os demais dizem frases que são alternadamente verdadeiras e falsas. Por exemplo, um futuro Mentiroso pode dizer: O número π é inteiro. O número π não é inteiro. O número 9 é primo. Dois mais dois é igual a quatro. O primeiro passo será conhecer as crianças, estabelecer um clima afável. AA, o filho mais velho, apresenta-se e faz sucessivamente as seguintes afirmações: (AA) Eu serei Louco. (AA) Eu serei Mentiroso. (AA) Eu serei Inconstante. Qual será o futuro sexo de AA? Em seguida, apresentam-se outros dois adolescentes, chamados BB e CC. Os pais revelam que um deles será Mentiroso e o outro será Inconstante. Eles afirmam sucessivamente: (BB) Eu serei Inconstante. (CC) Eu serei Inconstante. (BB) Eu serei Louco. (CC) Eu serei Mentiroso. Qual deles será Mentiroso? O próximo grupo está formado por três adolescentes, DD, EE e FF. Um deles será Verdadeiro, outro será Mentiroso e o outro será Inconstante. Eles afirmam: (DD) Eu não serei Inconstante. (EE) Eu não serei Inconstante. (FF) Eu não serei Mentiroso. (DD) EE não será Inconstante. (EE) DD não será Inconstante. (FF) DD não será Mentiroso. Quem será o Inconstante? Terminadas as apresentações, os quatro pais saem para uma merecida noite de diversão no Festival Interplanetário da Matemática, e os nossos intrépidos heróis assumem sua função de babás. Logo Valeriano está testando um jogo que três dos adolescentes acabam de inventar. Funciona assim: se ele não conseguir adivinhar o sexo de um deles, as doces crianças vão furar o traje espacial dele. A ideia da atmosfera de sulfeto de hidrogênio a 300º entrando lentamente pelos orifícios deixa Valeriano muito emocionado. Os adolescentes afirmam: (GG) Eu não serei Louco e HH não será Verdadeiro. (HH) Eu não serei Mentiroso e II será Louco. (II) GG será Mentiroso e HH será Inconstante. (GG) HH não será Mentiroso e II será Mentiroso. (HH) GG não será Inconstante e II não será Verdadeiro. (II) Serei Verdadeiro e GG será Mentiroso. Rápido, qual será o sexo de II?! Na outra ponta da casa, Lauralina está com um problemão: quatro adolescentes, todos futuros Mentirosos, se juntaram e um deles bebeu água potável, que é um veneno mortal para os Gödelianos. Ela precisar dar logo o antídoto –arsênico dissolvido em ácido sulfúrico– ao pirralho, só que não sabe qual deles é. Eles informam: (JJ) Quem bebeu a água não foi o KK. (KK) Não foi o LL. (LL) Não foi o MM. (MM) Não foi o JJ. (JJ) Foi o KK ou o LL. (KK) Não fui eu nem o MM. (LL) Foi o KK ou o MM. (MM) Foi o JJ ou o KK. Quem bebeu a água? Ou será melhor Lauralina tomar o arsênico ela mesma, e acabar com o problema de uma vez?! Respostas são bem vindas pelo e-mail [email protected]. Todos e todas que acertarem as cinco respostas até o final de 2017 ganharão brindes digitais e ainda vão concorrer ao sorteio de uma pelúcia da Aramat, a simpática mascote do Biênio da Matemática. Não perca!! (Baseado em ideias dos franceses Jean-Claude Baillif e Pierre Christin) Em 5 de dezembro de 2017 08:48, Thiago Nascimento da Silva < [email protected]> escreveu: > Outra maneira é dar Esc assim que o texto carregar. Primeiro ele carrega o > texto depois ele carrega o script que bloqueia a página. > > Em 5 de dez de 2017 00:38, "Profa. Maria Lewtchuk Espindola" < > [email protected]> escreveu: > > Valéria > > Faça o cadastro, mas cuidado pois eles restringem o número de reportagens > que a gente pode ler... > > ------------------------------ > *De: *"Valeria de Paiva" <[email protected]> > *Para: *"logica-l" <[email protected]> > *Enviadas: *Segunda-feira, 4 de dezembro de 2017 16:41:17 > *Assunto: *Re: [Logica-l] mais uma sobre o sexo dos Gödelianos > > uma pena, nucna consigo ler os textos do Marcelo Viana, pois > >Para compartilhar esse conteúdo, por favor utilize o link > http://www1.folha.uol.com.br/colunas/marceloviana/2017/12/19 > 39687-logica-matematica-para-compreender-as-familias-deste- > mundo-e-de-outros.shtml ou as ferramentas oferecidas na página. Textos, > fotos, artes e vídeos da Folha estão protegidos pela legislação brasileira > sobre direito autoral. Não reproduza o conteúdo do jornal em qualquer meio > de comunicação, eletrônico ou impresso, sem autorização da Folhapress ( > [email protected]). As regras têm como objetivo proteger o > investimento que a Folha faz na qualidade de seu jornalismo. Se precisa > copiar trecho de texto da Folha para uso privado, por favor logue-se como > assinante ou cadastrado. > > > 2017-12-04 3:51 GMT-08:00 Joao Marcos <[email protected]>: > >> Lógica matemática para compreender as famílias deste mundo e de outros >> http://www1.folha.uol.com.br/colunas/marceloviana/2017/12/19 >> 39687-logica-matematica-para-compreender-as-familias-deste- >> mundo-e-de-outros.shtml >> >> -- >> 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 [email protected]. >> Para postar neste grupo, envie um e-mail para [email protected]. >> 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/CAO6j_LgM%2BmDhZaYs7dQG2rcGgk2 >> vk1EjQmT9_YxMpS9ACB%3DoAA%40mail.gmail.com. >> > > > > -- > Valeria de Paiva > http://vcvpaiva.github.io/ > http://research.nuance.com/author/valeria-de-paiva/ > http://www.cs.bham.ac.uk/~vdp/ > > -- > 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 [email protected]. > Para postar nesse grupo, envie um e-mail para [email protected]. > 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/CAESt%3DXv_RGTAdDXDPyphg_deuwZ > 6Nc6OxpeYP2fnGKn3LZZvqQ%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXv_RGTAdDXDPyphg_deuwZ6Nc6OxpeYP2fnGKn3LZZvqQ%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 [email protected]. > Para postar nesse grupo, envie um e-mail para [email protected]. > 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/1022744347.745.1512443861697. > JavaMail.zimbra%40mat.ufpb.br > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1022744347.745.1512443861697.JavaMail.zimbra%40mat.ufpb.br?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 [email protected]. > Para postar nesse grupo, envie um e-mail para [email protected]. > 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/CAOHRVBUyP1VtZ4V9tfaAY5xm1nLxb > 1smf5KVV34DD74sh7ofPQ%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOHRVBUyP1VtZ4V9tfaAY5xm1nLxb1smf5KVV34DD74sh7ofPQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- ================================================================== Adolfo Neto Associate 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 [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. 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/CANspyYU685J97HhzoPMr8AUZ1M%2BX38UVcjFU4o6puy_FuYxsEg%40mail.gmail.com.
