Re: [Logica-l] Breve resumo de logica-l@dimap.ufrn.br - 7 atualizações em 5 temas
23 views
Skip to first unread message
Claudio Eiras
Sep 13, 2022, 9:28:50 AM9/13/22
to logi...@dimap.ufrn.br
Bom Dia,
Gostaria de ser reintegrado à lista.
Grato.
Warm Regards,
Claudio EIRAS
On Wed, 21 Jul 2021 at 07:11, <logi...@dimap.ufrn.br> wrote:
- 1st Logic and Religion Webinar, July 22 at 4 pm CET - 1 atualização
- Boole, criador da lógica moderna - 1 atualização
- [Off Topic] Iniciada a privatização da USP? - 3 atualizações
- O castorzinho ocupadíssimo - 1 atualização
- o quase-encontro de Chaitin com Gödel - 1 atualização
jean-yves beziau <jyb.lo...@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
jean-yves beziau <jyb.lo...@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
Walter Carnielli <walt...@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
Marcelo Finger <mfi...@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
Walter Carnielli <walt...@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
Walter Carnielli <walt...@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
Joao Marcos <boto...@gmail.com>: Jul 20 07:53AM -0300
https://mindmatters.ai/2021/03/gregory-chaitins-almost-meeting-with-kurt-godel/
JM
...mais
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.
Para cancelar sua inscrição neste grupo e deixar de receber e-mails do mesmo, envie um e-mail para logica-l+u...@dimap.ufrn.br.
Claudio Eiras
Sep 25, 2022, 3:48:26 PM9/25/22
to logi...@dimap.ufrn.br
Reitero aqui meu pedido!!!
Grato mais uma vez.
Claudio EIRAS.
Reply all
Reply to author
Forward
0 new messages