Re: [Logica-l] [off topic] MINISTRO CORTA RECURSOS DE 3 FEDERAIS

2019-05-01 Por tôpico Marcos Silva
British Philosophical Association Defends Philosophy in Brazil http://dailynous.com/2019/05/01/british-philosophical-association-defends-philosophy-brazil/ On Tue, Apr 30, 2019 at 11:16 PM Antonio Marmo wrote: > *A propósito disto trago assunto relevante para a comunidade acadêmica que > foi ma

[Logica-l] Otavio Bueno visita Recife

2019-05-01 Por tôpico Marcos Silva
Caros, Otavio Bueno (University of Miami) vai visitar o Recife nos dias 15 e 16/8. Esta visita ocorrera antes do tradicional evento "Principia" em Floripa (19-22/8). http://www.principia.ufsc.br/SIP11.html Bueno gentilmente ministrara duas palestras na UFPE, a saber: "Revisao da Logica" e

[Logica-l] Fantástica opção de Doutorado com bolsa na Universidade de Bozen /Bolzano

2019-05-01 Por tôpico Walter Carnielli
Prezados Colegas, Segue uma excelente oportunidade para alunos que desejam realizar o doutorado na Europa com possibilidade de bolsa (fully funded) por um período de 4 anos oferecida pela própria universidade. O prazo para aplicação é 8 de julho e os detalhes podem ser encontrados em: https:

[Logica-l] "Pre-ebl": Logica e epistemologia (UFPB - Joao Pessoa - 3/5)

2019-05-01 Por tôpico Marcos Silva
Para os que ja estiverem em Jampa na sexta... ... um "pre-ebl"! ;-) SIMPÓSIO DE LÓGICA E EPISTEMOLOGIA UFPB – 2019 03/05– Sala de Reuniões CCHLA 17:30-22:00 PROGRAMAÇÃO 17:30 – Análise do conhecimento, tipos naturais e tipos cognitivos Arthur Viana Lopes – UFPB 18:30 – Em que medida Wi

Re: [Logica-l] Google AI system proves over 1200 mathematical theorems

2019-05-01 Por tôpico Paulo Henrique Gomes Ferreira
Bom dia, isto aqui também é intere https://phys.org/news/2019-04-toshiba-breakthrough-algorithm-world-fastest.html saudações, Paulo Em dom, 28 de abr de 2019 às 17:01, Joao Marcos escreveu: > Divulgação: > > https://mathscholar.org/2019/04/google-ai-system-proves-over-1200-mathematical-theorems

Re: [Logica-l] [off topic] MINISTRO CORTA RECURSOS DE 3 FEDERAIS

2019-05-01 Por tôpico Cassiano Terra Rodrigues
> Obrigado Tony por lembrar algo aparentemente esquecido, q é a Constituição > (não por aqui, é claro). > > A razão ora alegada é absolutamente estapafúrdia, mas é bom tb lembrar q o projeto não é novo e já foi tentado antes, sob o nome de ajuste fiscal, essa entidade metafísica q teima em nã

Re: [Logica-l] [off topic] MINISTRO CORTA RECURSOS DE 3 FEDERAIS

2019-05-01 Por tôpico Joao Marcos
Estendendo o já explorado assunto OFF-TOPIC: O anunciado corte já foi estendido ontem mesmo para todas as universidades: https://www1.folha.uol.com.br/educacao/2019/05/ministro-da-educacao-ironiza-reitores-ao-falar-de-tolerancia-e-pluralidade.shtml https://educacao.estadao.com.br/noticias/geral,me

[Logica-l] Workshop lógica modal 16 de maio IFCH Unicamp

2019-05-01 Por tôpico Giorgio Venturi
Caras e caros, escrevo para anunciar o primeiro workshop do projeto Universal CNPq "A case study for non-normal modal logic", que ocorrerá na Unicamp na quinta-feira, dia *16 de maio: *das *10h às 12h* na sala de* Defesa de Teses* do prédio de pós-graduação do IFCH e das* 12h às 17h30, *na sala* 1