Caro Alfredo: Parabéns pela ótima apresentação dos sistema J3, e parabéns à Itala pelos resultados, e por ter tido a coragem de trabalhar nesse assunto há mais de 30 anos!
Abraços, Walter Em qua., 25 de mai. de 2022 às 19:07, Alfredo Roque Freire <alfrfre...@gmail.com> escreveu: > > Olá a todas e todos, > > Gostaria de compartilhar com vocês o novo vídeo da série ideias brasileiras. > Esse vídeo é sobre os sistemas J3 de Ítala D'Ottaviano. > Os vídeos dessa série são muito trabalhosos e, por isso, vamos publicar muito > aos poucos. > > - Ideias brasileiras - Itala D'Ottaviano e as lógicas J3. > Segue o link: https://youtu.be/KAg29gXjb_U > > > Atualmente, temos duas séries em andamento: > - Tarski e a teoria semântica da verdade > https://youtu.be/RfHvHEUGBpQ > - Teoremas da incompletude de Gödel > https://youtu.be/haLdRqnu_Uk > > Espero que gostem, > Abraços > -- > Alfredo Roque Freire > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica > <logica-l@dimap.ufrn.br> > --- > Você recebeu essa mensagem porque está inscrito 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 essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHk6N6YAOg2ixqjPKV6s8%3DS6iR9aUE4TFRPuNHHsa-GY4hRTsg%40mail.gmail.com. -- ======================== Walter Carnielli Laboratory for Applied Ontology (LOA), ISTC-CNR Trento, Italy http://www.loa.istc.cnr.it and CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil https://waltercarnielli.com/ Para -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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/CAOrCsLeFHJ2b88FAQa5Mk%3DGY4gm79Qyh%3DYv7KKROHAsgN8Nobw%40mail.gmail.com.
