Em Abril passado encontrei em Paris a embaixadora do Brasil na UNESCO para submeter a proposta do 14 de janeiro com dia internacional da ONU/UNESCO, uma senhora do Ceará que gosta muito de inteligência artificial. Ela me escreveu ha pouco dizendo que a proposta foi aceita pelo governo brasileiro e que foi encaminhada a direção da UNESCO para ser apresentada na comissão executiva que vai acontecer em outubro que vem. Tal proposta tem que ser apresentada por um país e submetida a votação de outro países. Se funciona, acredito que sera a primiera proposta de um dial mundial feita pelo Brasil e aprovada.
A primeira edição do dia mundial da lógica, dia 14 de janeiro de 2019, tive celebrações em mais de 60 localidades do mundo inteiro, incluindo Meca e Vaticano: https://link.springer.com/article/10.1007/s11787-019-00221-5 A segunda edição que acontecerá dia 14 de janeiro de 2020 ja esta se preparando. Em 2019 tive 5 celebrações no Brasil: Rio de Janeiro, São Paulo, Florianópolis, Brasília, Fortaleza. Provavalemente em 2020 teremos mais. Um dos destaques da edição de 2020 do World Logic Day vai ser em Bruno, cidade onde nasceu o Kurt Gödel. Vai ter um evento de uma duração de 3 dias, o call for papers esta aberto: TRIBUTE TO KURT GODEL 2020 http://physics.muni.cz/~godel/tribute2020/ Fui convidado com Keynote Speaker junto com o Matthias Baaz (da Kurt Gödel Society em Viena) e mais três outros lógicos. Nesta ocasião o nome do Kurt Gödel vai ser atribuido a uma rua da cidade de Bruno, talvez uma rua sem saida ... JYB -- 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/CAF2zFLD8%3Dc_KBLNX4DpQ8S%3DgOeqALJ9dn_7Kg7zoeF-cYkn1_A%40mail.gmail.com.
