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 <bismarckbo...@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 <rodrigoamstefa...@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.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/CAOrCsLeLeKw8a0kPNnYoiFbx5u%2BZUW2Sktfji963DTXojWG_7g%40mail.gmail.com.
