Resumo: Procuraremos mostrar a importância de Leibniz para aquilo que hoje se entende por razão computacional. Procuraremos também mostrar de que modo o contributo de Leibniz retrospectivamente se inscreve em grandes tradições lógicas, linguísticas e filosóficas e prospectivamente anuncia algumas das linhas de investigação hoje em curso.
Este Colóquio insere-se nos Colóquios de Matemática do Centro de Matemática. mais informações em |