Matias Francisco Dias

 

Breve Resumo Currículo Lattes

 

Possui graduação em Filosofia pela Universidade Federal de Pernambuco (1966), mestrado em Filosofia pela Universidade de São Paulo (1970), doutorado em Filosofia pela Universidade de São Paulo (1979) e pós-doutorado em Filosofia pela University of Maryland System (1986). Atualmente é professor voluntário da Universidade Federal da Paraíba. Tem experiência na área de Filosofia, com ênfase em Lógica Matemática, atuando principalmente nos seguintes temas: função recursiva, tese de Church, máquina de Turing, teoremas da incompletude de Goedel e completude.