Matias Francisco Dias

Matias Francisco Dias possui Graduação em Filosofia, pela Universidade Federal de Pernambuco. Especialização em Lógica Matemática, por esta mesma Universidade.Possui Mestrado e Doutorado em Filosofia (Lógica Matemática), pela Universidade de São Paulo (USP). Pós-doutorado em Teoria da Recursão ou Teoria da Computabilidade, pela Universidade de Maryland (USA), Departamento de Matemática do Instituto de Tecnologia.

graduate at Filosofia from Universidade Federal de Pernambuco (1966), master's at Philosophy from Universidade de São Paulo (1970) and ph.d. at Philosophy from Universidade de São Paulo (1979). Has experience in Philosophy, acting on the following subjects: função recursiva, tese de church, máquina de turing, teoremas da incompletude de goedel and completude.