[Logica-l] a lógica ontém e amanha

O primeiro dia mundial da lógica foi comemorado em muitas localidades do mundo ontém, 14 de janeiro, dia do nascimento do Tarski (1901) e do falecimento do Gödel (1978): http://www.logica-universalis.org/wld Fotos do evento em Forataleza, que aconteceu na sede da FUNCAP: https://photos.google.com/

[Logica-l] Dia Mundial da Lógica

Aos participantes da lista: Tivemos ontem na Academia Brasileira de Filosofia uma proveitosa tarde de palestras em comemoração do Dia Internacional da Lógica. Fomos recepcionados pelo Presidente Jean-Yves Béziau que como sempre transmite alegria e empolgação. Tive a oportunidade de falar um pou

[Logica-l] Fwd: [LOGIC] Early Career Visiting Fellowship in Philosophy, Canberra (Australia), Deadline: 18 Feb 2019

Camilo Thorne Rheinhäuser Str. 9A 68165, Mannheim, Germany mobile: +49(0)15202380352 http://www.camilothorne.com "Exegi monumentum aere perennius" (Horatius, Ode III-30) -- Forwarded message - From: [LOGIC] Mailing List Date: Mon, Jan 14, 2019 at 11:2

[Logica-l] Re: AI & CH

Olás, Tentando (e a palavra é "tentar" mesmo) esclarecer alguns pontos: ---> de fato, como Claus disse, a pesquisa sobre CH nos ùltimos 30 anos vem dando certa popularidade ao valor de aleph_2 para o contínuo, mas a história nao é tao simples de ser contada. Primeiro ponto: nao faria sentido c