Pela primeira vez autores brasileiros foram convidados para elaborar um verbete da Enciclopédia de Filosofia de Stanford, mais precisamente o verbete sobre combinações de lógicas.
Com foco nos limites da filosofia e da computação, pesquisadores apoiados pela FAPESP vêm apresentando resultados significativos que levam a reconhecimentos como o convite acima.
Um dos pesquisadores é Walter Carnielli, autor de Computabilidade, funções computáveis, lógica e os fundamentos da matemática, livro clássico na área.
Mais detalhes aqui.
segunda-feira, 19 de novembro de 2007
Assinar:
Postar comentários (Atom)
Nenhum comentário:
Postar um comentário