Ou seja, Walter, congruência módulo para os dois.
Let red=0, green=1 and yellow=2,
- o ultimo da fila (o que enxerga todos) calcula r= (sum_{para todo i a sua
frente} cor(i)) mod 3
- a partir daí cada um (na ordem da fila a partir do último) acerta o seu
calculando
- meur = (sum_{para todo i na minha frente} cor(i)) mod 3
- atrasdemim = (sum_{para todo i que já ouviu exceto o primeiro}
cor(i)) mod 3
- fala (r - meur - atrasdemim) mod 3
On Tue, Jan 21, 2025 at 7:59 PM Walter Carnielli <walte...@unicamp.br>
wrote:
> Ola Eliane, olá pessoal
>
> Obrigado Elaine, gosto muito do autor desses puzzles, que escreve no
> The Guardian, o Alex Bellos.
> Não vou resolver o quebra-cabeça, mas só dar uma dica... 'paridade'
> para o primeiro, 'congruência módulo' para o segundo :-)
>
> Tenho mantido bastante correspondência com ele, inclusive estamos
> pensamos em escrever um livro sobre puzzles, no estilo
> do Jorge Buescu (excelente, para quem não conhece):
>
> - Da Falsificação de Euros aos Pequenos Mundos
> - Casamentos e Outros Desencontros
> - O fim do mundo está próximo?
>
> https://www.fnac.pt/Jorge-Buescu/ia21917
>
> Propus ao Alex um quebra-cabeça, que ele não conseguiu resolver ainda
> :-) , " A 6-boxes challenge for clever prisoners"
>
> Deixo aqui – a primeira pessoa que resolver – escreva diretamente para
> mim, não na lista!
> Ganha um volume da edição nova de "Computability " mais um poster com
> a história da computabilidade, a ser entregue no EBL 2025.
>
> É melhor começar com esta versão mais fácil antes de passar para o
> outro:
>
>
> https://www.theguardian.com/science/2023/jan/23/can-you-solve-it-prisoners-and-boxes?CMP=fb_gu&utm_medium=Social&utm_source=Facebook&fbclid=IwY2xjawH9BL1leHRuA2FlbQIxMQABHbK5yc5yvuHRJHl9qaTRFAzs099chWwGTSbHCif-UT2nwRdHl8OLAlFzjg_aem_Ryir4K1IsZg59rq9v2rbvA#Echobox=1674458988
>
> Aqui está o link:
> "A 6-boxes challenge for clever prisoners"
>
>
> https://acrobat.adobe.com/link/review?uri=urn:aaid:scds:US:31ae8d3c-57c8-34d8-81ed-8442ed35f266
>
> Abs
>
> W.
>
>
> Em ter., 21 de jan. de 2025 às 04:06, Elaine Pimentel
> <elaine.pimen...@gmail.com> escreveu:
> >
> > Logicians in a line:
> >
> >
> https://www.theguardian.com/science/2025/jan/20/can-you-solve-it-logicians-in-a-line
> >
> > :)
> > --
> > Elaine.
> > -----------------------------------
> > Elaine Pimentel
> > Schools Outreach Lead
> > Associate Professor in Programming Principles, Logic, and Verification
> > Department of Computer Science, Office: Room 3.11, 66-72 Gower Street
> > University College London
> > URL: https://sites.google.com/site/elainepimentel/
> >
> > UCL Computer Science is an Athena Swan Gold award winner for gender
> equality
> > UCL is ranked among the top ten in the QS World University Rankings 2024
> and is winner of The Times and Sunday Times University of the Year 2024
> > -----------------------------------
> >
> > --
> > LOGICA-L
> > Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica <logica-l@dimap.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 ver esta conversa, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BVOjemAngKKxRQ175mr_3m-R_aq8vUdxvVxcw31ECfMCA%40mail.gmail.com
> .
>
>
>
> --
> ========================
> Walter Carnielli
> CLE and Department of Philosophy
> University of Campinas –UNICAMP, Brazil
>
> Chapman University, Orange, CA, USA
>
> AI2- Advanced Institute for Artificial Intelligence
> Blog https://waltercarnielli.com/
>
> https://www.name-coach.com/walter-carnielli
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica <logica-l@dimap.ufrn.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 ver esta conversa, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLdyvrzD5JkU1Q86fn0ZwSTEQKxwUvW-qUnaPkswkgsAxQ%40mail.gmail.com
> .
>
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
<logica-l@dimap.ufrn.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 ver esta conversa, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD7MeJs-9dfr0dUKGVnN8XseQsTeR3TqraZHTrYqwvDfYaZudw%40mail.gmail.com.
