Can you solve it?

[Elaine Pimentel]

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

-----------------------------------

[Walter Carnielli]

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....@gmail.com> escreveu:

> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@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+u...@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

[Carlos Augusto Prolo]

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

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 ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLdyvrzD5JkU1Q86fn0ZwSTEQKxwUvW-qUnaPkswkgsAxQ%40mail.gmail.com.

[Walter Carnielli]

Olá Carlos,

Precisamente, essa é a solução e vale para qualquer número de cores
(basta usar a congruência como código).
E quanto ao meu problema das "6 Caixas", você tentou?

Abraços,
Walter

Em ter., 21 de jan. de 2025 às 16:33, Carlos Augusto Prolo
<pr...@dimap.ufrn.br> escreveu:

[Walter Carnielli]

Pessoal, Dou aqui meus parabéns a dois jovens colegas que resolveram o
Problema das Prisioneiras com 6 caixas, de forma original:

1) Bismarck Bório de Medeiros <bismar...@gmail.com>
Estudante de Filosofia da UFSM , aluno do colega Frank Sautter ( uma
cópia de “Computability: Computable Functions, Logic, and the
Foundations of Mathematics”
Advanced Reasoning Forum; 3rd edition ,2008, e um poster sobre "
Computability and Undecidability~)

2)Rodrigo Stefanes <rodrigoa...@gmail.com>
Estudante de matemática, bacharelado na UFSC. (u m poster sobre "
Computability and Undecidability~)

PS: Fiquei contente ao saber, ontem, que nosso livro "Computability"
está sendo bastante usado em (pelo menos) duas universidades
em Paris, e que eles teriam interesse em uma versão em francês. Alguém
teria condições de trabalhar nisso?
Com a API (Application Programming Interface) do GPT não seria
difícil, mas gasta tempo... se alguém tiver interesse pf escreva em
privado.,

Abraços,
Walter

Em ter., 21 de jan. de 2025 às 04:06, Elaine Pimentel
<elaine....@gmail.com> escreveu:
>