Muito obrigado pelos comentários! Ajuda bastante fazer comentários nos próprios vídeos. Abraços
On Thu, May 26, 2022 at 9:50 AM Elaine Pimentel <elaine.pimen...@gmail.com> wrote: > Bom dia, Alfredo e colegas! > > Muito bacana mesmo! Parabéns, mais uma vez, pela iniciativa! > > Abraços, > > On Thu, May 26, 2022 at 3:06 AM Aldo Figallo-Orellano < > aldofiga...@gmail.com> wrote: > >> Prezado Alfredo, >> >> Eu tive o privilégio de estudar a tese da Professora Itala. A teoria de >> modelo que ela apresenta talvez seja uma das primeiras teorias de modelos >> baseados numa lógica algebrizável usando de fato um álgebra de três valores >> de verdade, mas com certeza a primeira teria de modelos paraconsistente. Um >> trabalho revolucionário da época. >> >> Muito obrigado Alfredo pela contribuição de seu espaço. >> >> >> Abraços, >> >> Aldo >> >> >> El mié., 25 de mayo de 2022 19:07, Alfredo Roque Freire < >> alfrfre...@gmail.com> escribió: >> >>> 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 >>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHk6N6YAOg2ixqjPKV6s8%3DS6iR9aUE4TFRPuNHHsa-GY4hRTsg%40mail.gmail.com?utm_medium=email&utm_source=footer> >>> . >>> >> -- >> 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/CAAd%2BSQnnVf62EBmq0bYXRAaSktV1K0fsbdBBmP7S7F2BGYGxrQ%40mail.gmail.com >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAAd%2BSQnnVf62EBmq0bYXRAaSktV1K0fsbdBBmP7S7F2BGYGxrQ%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > > > -- > Elaine. > ----------------------------------- > Elaine Pimentel > Associate Professor in Programming Principles, Logic, and Verification > Department of Computer Science > University College London > https://sites.google.com/site/elainepimentel/ > ----------------------------------- > -- Alfredo Roque Freire -- 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/CAHk6N6aH3EGpHwuW7vBn%2Bt8fQRECLnZ8UJP5rUJfvCFuVbA4NQ%40mail.gmail.com.
