Bom Dia, Gostaria de ser reintegrado à lista.
Grato. Warm Regards, Claudio EIRAS On Wed, 21 Jul 2021 at 07:11, <logica-l@dimap.ufrn.br> wrote: > logica-l@dimap.ufrn.br > <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email#!forum/logica-l/topics> > Grupos > do Google > <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email/#!overview> > <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email/#!overview> > Resumo do tema de hoje > Ver todos os temas > <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email#!forum/logica-l/topics> > > - 1st Logic and Religion Webinar, July 22 at 4 pm CET > <#m_-6504533484385368869_group_thread_0> - 1 atualização > - Boole, criador da lógica moderna > <#m_-6504533484385368869_group_thread_1> - 1 atualização > - [Off Topic] Iniciada a privatização da USP? > <#m_-6504533484385368869_group_thread_2> - 3 atualizações > - O castorzinho ocupadíssimo <#m_-6504533484385368869_group_thread_3> > - 1 atualização > - o quase-encontro de Chaitin com Gödel > <#m_-6504533484385368869_group_thread_4> - 1 atualização > > 1st Logic and Religion Webinar, July 22 at 4 pm CET > <http://groups.google.com/a/dimap.ufrn.br/group/logica-l/t/e45f4c924d3c259b?utm_source=digest&utm_medium=email> > jean-yves beziau <jyb.logic...@gmail.com>: Jul 20 11:21PM -0300 > > We are launching a new monthly webinar, part of the LOGIC & RELIGION > project. > The first session - see below - will be a general discussion of the > project with members of the board of the newborn ...mais > <http://groups.google.com/a/dimap.ufrn.br/group/logica-l/msg/1504fac9239bbc?utm_source=digest&utm_medium=email> > Voltar ao início <#m_-6504533484385368869_digest_top> > Boole, criador da lógica moderna > <http://groups.google.com/a/dimap.ufrn.br/group/logica-l/t/4a7b9d7600f680b?utm_source=digest&utm_medium=email> > jean-yves beziau <jyb.logic...@gmail.com>: Jul 20 11:14PM -0300 > > Estou finalizando a preparação de um livro que vai compilar os melhores > artigos de 10 anos do workshop > La Logique en Question / Logic-in-Question > que estou organizando na Sorbonne em Paris desde ...mais > <http://groups.google.com/a/dimap.ufrn.br/group/logica-l/msg/15048d4c1f7a13?utm_source=digest&utm_medium=email> > Voltar ao início <#m_-6504533484385368869_digest_top> > [Off Topic] Iniciada a privatização da USP? > <http://groups.google.com/a/dimap.ufrn.br/group/logica-l/t/d337c492c5391c3d?utm_source=digest&utm_medium=email> > Walter Carnielli <walte...@unicamp.br>: Jul 20 08:39PM -0300 > > Alguen(s) da USP poderia comentar isso? > > > jul 2021 - 14:56 > > O governador de São Paulo, João Doria > <https://revistaforum.com.br/?s=Doria> (PSDB), > decidiu permitir a instalação de uma ...mais > <http://groups.google.com/a/dimap.ufrn.br/group/logica-l/msg/14fc238f682109?utm_source=digest&utm_medium=email> > Marcelo Finger <mfin...@ime.usp.br>: Jul 20 09:41PM -0300 > > > iniciada a privatização da USP? > Fake news. > > O IPT não fica na USP, fica ao lado da USP, com uma entrada dentro da > cidade universitária, e duas fora. O IPT é um instituto autônomo, assim > ...mais > <http://groups.google.com/a/dimap.ufrn.br/group/logica-l/msg/14ff80be635cc2?utm_source=digest&utm_medium=email> > Walter Carnielli <walte...@unicamp.br>: Jul 20 10:27PM -0300 > > Eu não acho pouco, não... > > Projeto do Doria privatista, seguindo a cartilha neoliberal do Paulo > Guedes, que foi um dos fundadores da BTG Pactual > > ...mais > <http://groups.google.com/a/dimap.ufrn.br/group/logica-l/msg/15020a2fb5ea7b?utm_source=digest&utm_medium=email> > Voltar ao início <#m_-6504533484385368869_digest_top> > O castorzinho ocupadíssimo > <http://groups.google.com/a/dimap.ufrn.br/group/logica-l/t/17cf2590d7697039?utm_source=digest&utm_medium=email> > Walter Carnielli <walte...@unicamp.br>: Jul 20 05:55PM -0300 > > O "Problema do Castor Ocupado" (Busy Beaver ) foi proposto por TIbor > Rado em 1962 como um exemplo concreto de uma função que nao é > computável por Máquinas de Turing (cresce mais rápido que ...mais > <http://groups.google.com/a/dimap.ufrn.br/group/logica-l/msg/14f3330ae20af0?utm_source=digest&utm_medium=email> > Voltar ao início <#m_-6504533484385368869_digest_top> > o quase-encontro de Chaitin com Gödel > <http://groups.google.com/a/dimap.ufrn.br/group/logica-l/t/7b97863664395da8?utm_source=digest&utm_medium=email> > Joao Marcos <botoc...@gmail.com>: Jul 20 07:53AM -0300 > > > https://mindmatters.ai/2021/03/gregory-chaitins-almost-meeting-with-kurt-godel/ > > > JM > ...mais > <http://groups.google.com/a/dimap.ufrn.br/group/logica-l/msg/14d24da9cf92fe?utm_source=digest&utm_medium=email> > Voltar ao início <#m_-6504533484385368869_digest_top> > Você recebeu esse resumo porque está inscrito para receber atualizações > deste grupo. Você pode alterar suas configurações na página de associação > do grupo > <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email#!forum/logica-l/join> > . > Para cancelar sua inscrição neste grupo e deixar de receber e-mails do > mesmo, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. > -- 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/CAA4mvOxvuazQne10RXDA90%2Bha%2BP5Gh2kGiR6h%2B9rjAUYQuReKQ%40mail.gmail.com.
