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.
