Ideias Brasileiras - Ítala D'Ottaviano

[Alfredo Roque Freire]

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

[Walter Carnielli]

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
<alfrf...@gmail.com> escreveu:

> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@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+u...@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

[Aldo Figallo-Orellano]

  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 

--

[Elaine Pimentel]

Bom dia, Alfredo e colegas!

Muito bacana mesmo! Parabéns, mais uma vez, pela iniciativa!

Abraços,

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.

--

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]

Muito obrigado pelos comentários!

Ajuda bastante fazer comentários nos próprios vídeos. 

Abraços

--

Alfredo Roque Freire