A gravação da sessão do Logica Universalis Webinar do dia 14 de junho de 2023 (120 anos do nascimento do Alonzo Church) está agora disponível aqui: The Decision Problem for Effective Procedures https://cassyni.com/s/logica-universalis/seminars/archive A sessão com a participação de dois alunos de Alonzo Church foi bem interessante e mostrou que ainda tem boa quantidade de coisas a esclarecer em torno da tese de Church. Aqui o artigo da Wikipédia em português sobre este assunto: https://pt.wikipedia.org/wiki/Tese_de_Church-Turing Aproveito para incentivar todo mundo a fazer doação para a Wikipédia neste momento que Jimmy Wales está pedindo. Já fiz a minha, ver a seguir. A Wikipédia é um projeto muito importante para a humanidade desenvolvendo comunicação e compreensão e também favorecendo a opção do opcional (doar é opcional), saindo da dicotomia obrigação / proibição. A entrada da SEP escrita por Jack Copeland também é muito boa. Tem um link para ela na entrada Wikipédia que funciona como um primeiro passo reorientando para artigos mais especializados. https://plato.stanford.edu/entries/church-turing/ Na IEP ainda não há, mas enquanto editor de lógica desta, vou produzir. Já temos uma boa entrada sobre Lambda Calculi (incluindo uma parte sobre esta tesa): https://iep.utm.edu/lambda-calculi/ JYB ------------------------------------------------------------------------------------------------------------------- Prezado Jean-Yves, Muito obrigada por doar R$ XX,00 para apoiar a Wikipédia e um mundo onde o conhecimento é gratuito para todos. Cada doação nos ajuda a melhorar o acesso das pessoas às informações precisas e confiáveis, especialmente em um mundo em rápida mudança. Fico muito grata pelo seu apoio para permitir que bilhões de pessoas experimentem o dom do conhecimento através da Wikipédia. Estamos determinados a estender esse acesso o máximo possível para garantir que, não importa onde você nasceu ou onde você mora, a capacidade de acessar o conhecimento livre esteja sempre ao seu alcance. Espero que você continue a nos apoiar na construção de um futuro onde a Wikipédia exista em todos os lugares, com pessoas em todo o mundo contribuindo para a soma de todos os conhecimentos. Agradeço uma vez mais por apoiar esta missão notável! É um privilégio fazer parte do maior projeto colaborativo da história da humanidade. A Wikipédia sempre pertencerá a você. Com gratidão, Maryana Maryana Iskander CEO, Wikimedia Foundation https://pt.wikipedia.org/wiki/Maryana_Iskander
-- 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 discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLAn6fYjVbgYSF1Zq_7kL%2BqJPNk6k2ycyS1k-um7ukTv7Q%40mail.gmail.com.
