sábado, 11 de abril de 2009

10 anos sem Marco Mondadori

Marco Mondadori ( http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Mondadori:Marco.html ) morreu precocemente na Páscoa de 1999.
Leia um pouco sobre a vida dele em Marco Mondadori Le passioni di un logico. Algumas de suas contribuições podem ser encontradas aqui:
Uma de suas contribuições (a principal para mim, pois usei em minha tese de Doutorado) foi o sistema KE. Para conhecê-lo, leia
The Taming of the Cut
di Marcello D'Agostino e Marco Mondadori
In un articolo pubblicato nel 1994 sul Journal of Logic and Computation Marcello D'Agostino e Marco Mondadori sviluppano un tipo di calcolo logico (chiamato KE) destinato a occupare un posto stabile nella ricerca sulla deduzione automatica e successivamente utilizzato nella didattica della logica.
Este sistema foi implementado em pelo menos quatro sistemas que conheço:
Marcello D'Agostino ( http://web.unife.it/utenti/marcello.dagostino/index.htm ) publicou vários artigos sobre o sistema KE.
Outro trabalho seu foi publicado apenas três anos após sua morte: Logica e Politica (leia mais em http://www.fondazionemondadori.it/cms/culturaeditoriale/84/MarcoMondadori )

Nenhum comentário:

Postar um comentário

Deixe seu comentário! Não uso verificação de palavras.

Receba as postagens deste blog por email