Tese de Church - LUW / Wikipédia / SEP / IEP
8 views
Skip to first unread message
jean-yves beziau
Jun 18, 2023, 1:12:20 PM6/18/23
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
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
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:
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.
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):
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
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
Reply all
Reply to author
Forward
0 new messages