Re: [Logica-l] Os Teoremas de Gödel são menos inevitáveis do que parecem...

Oi Walter. A aritmética RmbC é computável? Se for, qual a sua expressividade, ou seja, qual fragmento da aritmética clássica ela consegue simular? []s Em seg., 24 de ago. de 2020 às 21:50, Walter Alexandre Carnielli < walte...@unicamp.br> escreveu: > Caros: > > > David Fuenmayor e eu publicam

[Logica-l] Supergroup BLAST

Dear Cheerful Logicians and Friends of Logic, Sorry for the late blast this week! I was heavily involved in the ongoing twitter warfare this week, and allowed this to distract me from the One True Cause of logic. At any rate, a few reminders/useful things to know: - The supergroup finally

[Logica-l] Os Teoremas de Gödel são menos inevitáveis do que parecem...

Caros: David Fuenmayor e eu publicamos recentemente um artigo sobre limitações dos Teoremas de Gödel no que se refere a certas lógicas não-clássicas, ao mesmo tempo ilustrando o interesse em se utilizar assistentes de prova na pesquisa em lógica: -

[Logica-l] Artigo de M. M. Fidel

Dear All (especialmente pessoal de Campinas?), Alguém por acaso tem uma cópia eletrônica do seguinte artigo? Manuel M. Fidel. An algebraic study of logic with constructive negation. In Ayda I. Arruda, Newton C. A. da Costa, and Antonio M. A. Sette, editors. Proceedings of the Third Brazil

[Logica-l] Fwd: Weekly digest for Gödel's Lost Letter and P=NP, on August 24, 2020

uma discussao interessante no blog do Litpon. -- Forwarded message - From: Gödel's Lost Letter and P=NP Date: Sun, Aug 23, 2020 at 11:12 PM Subject: Weekly digest for Gödel's Lost Letter and P=NP, on August 24, 2020 To: rjlipton posted: " If you cannot find proofs, talk about t

[Logica-l] SeLoI

Queridos colegas, Mañana martes 25 de Agosto a las 12:00 (Brasil - Argentina) continua nuestro seminario de Lógica Iberoamericana (SeLoI). En esta oportunidad, tenemos a Elisángela Ramírez (UNAM) "Una semántica para NL (la lógica conexiva de Everett Nelson)". The connexive logic axiomatized

Re: [Logica-l] a better way to explain forcing

A discussão relacionada que o Tim iniciou na fom também pode ter algum interesse: https://cs.nyu.edu/pipermail/fom/2020-August/022310.html https://cs.nyu.edu/pipermail/fom/2020-August/thread.html Outra questão levantada pelo Tim no mathoverflow foi mencionada ao longo da thread: https://mathoverfl

[Logica-l] a better way to explain forcing

Quem tem interesse em forcing e assistiu a palestra correspondente no "lógicos em quarentena" pode se interessar por essa discussão: https://mathoverflow.net/questions/369710/a-better-way-to-explain-forcing -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos

[Logica-l] Lembrete: CFP - Special Issue of Logic and Logical Philosophy: "Logics and Their Interpretations"

Olá a tod@s, Espero que estejam bem. Gostaria lembrar que a chamada para o Call for Papers do volume especial da Logic and Logical Philosophy que eu e o Damián Szmuc (IIF-SADAF-CONICET & UBA) estamos editando ainda está aberta. O prazo para enviar um abstract com a proposta do artigo termina

[Logica-l] Seminário remoto "Lógicos em Quarentena" 25/08/2020 (terça-feira) 16:00h

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de convidar a todos a participarem do Seminário "Lógicos em Quarentena". Trata-se de um seminário remoto com apresentações informais por membros da comunid

[Logica-l] [OFF] inteligência temos, ou nos falta?

Reflexões sobre IA, cibercolonialismo, e muito mais --- uma perspectiva antropológica https://www1.folha.uol.com.br/ilustrissima/2020/08/inteligencia-artificial-ja-imita-guimaraes-rosa-e-pode-mudar-nossa-forma-de-pensar.shtml -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGI