Colegas: Um vídeo interessante de Geoff Sutcliffe (Department of Computer Science, University of Miami) discutindo tópicos em lógica e prova automatizada de teoremas, incluindo a plataforma TPTP. Ele menciona o enfoque paraconsistente como uma boa linha de ataque a questões de contradição na informação e ontologia. Claro que, como anglófono, ele reduz tudo à "Lógica do Paradoxo", mas já é um reconhecimento...
https://www.youtube.com/watch?v=5DiitzdHqTU Walter -- =========================== Walter Carnielli, Professor Centre for Logic, Epistemology and the History of Science and Department of Philosophy University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Institutional e-mail: [email protected] Website: http://www.cle.unicamp.br/prof/carnielli -- 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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLcbYA1KKjQ9Chci1MmoWxH-Myore3u%2BgckRfGYUujc%2B5w%40mail.gmail.com.
