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.
Informações coletadas do Lattes em 08/10/2025
Acadêmico
Formação acadêmica
Doutorado em Filosofia
1972 - 1979
Universidade de São Paulo
Título: Sobre os Sistemas D* e D da Teoria dos Conjuntos
Orientador: Oswaldo Porchat Pereira
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo. Palavras-chave: consistência; Categorias; NF-ZF.Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Lógica Matemática. Setores de atividade: Educação.
Mestrado em Filosofia
1969 - 1970
Universidade de São Paulo
Título: Mentes e Máquinas,Ano de Obtenção: 1970
Orientador: Hugh M Lacey
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo. Palavras-chave: Funções Recursirvas; Teoremas de Incompletitude - Goedel; Argumento de Lucas.Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Teoria da Recursão. Setores de atividade: Educação.
Pós-doutorado
1984 - 1986
Pós-Doutorado. , University System of Maryland. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. , Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Teoria da Recursão.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Italiano
Compreende Razoavelmente, Fala Razoavelmente, Lê Pouco, Escreve Pouco.
Francês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuação
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Lógica Matemática.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Teoria da Recursão.
Participação em eventos
Semana Nacional de comemoração dos 80 anos do Prof. Newton C. A. da Costa.Alguns tópicos da Teoria da Recursão. 2010. (Seminário).
Mesa redonda: Lógica clássica, princípios, paradoxos e recursão.O significado de recursão. 2009. (Outra).
Encontro Anual da SBPC. Sobre a Tese de Church. 1995. (Congresso).
Annual Meeting ofr the Association for Symbolic Logic. Self-reference and Diagonalization. 1995. (Congresso).
Annual Meeting of the Association for Simbolic Logic. On Elementary Arithmetic. 1993. (Congresso).
Encontro de Filosofia Analítica.Incompletude e Máquinas de Turing. 1991. (Encontro).
Simpósio de Lógica Paraconsistente.Aplicações da teoria da recursão à lógica. 1988. (Simpósio).
Simpósio de Lógica Matemática.D* e o sistema dos números naturais. 1978. (Simpósio).
Simpósio Latino-americano de Lógica Matemática.Sobre um sistema da teoria dos conjuntos. 1975. (Simpósio).
Participação em bancas
DIAS, M. F.. Sistemas lógicos não-aléticos: uma contribuição ao estudo das lógicas vaguedade. 1993. Dissertação (Mestrado em Filosofia (Ufpe-Ufpb-Ufrn)) - Universidade Federal da Paraíba.
DIAS, M. F.. O cálculo de predicados de primeira ordem monádico. 1993. Dissertação (Mestrado em Filosofia (Ufpe-Ufpb-Ufrn)) - Universidade Federal da Paraíba.
DIAS, M. F.. A lógica Pt e seus significados. 1993. Dissertação (Mestrado em Filosofia (Ufpe-Ufpb-Ufrn)) - Universidade Federal da Paraíba.
DIAS, M. F.; ALVES, Elias Humberto; MOURA, José Eduardo Ailmeida. Sobre a lógica deôntica paraconsistente: paradoxos e dilemas. 1993. Dissertação (Mestrado em Filosofia (Ufpe-Ufpb-Ufrn)) - Universidade Federal da Paraíba.
DIAS, M. F.. Enfoque algébrico-topológico dos teoremas principais de primeira ordem. 1992. Dissertação (Mestrado em Filosofia (Ufpe-Ufpb-Ufrn)) - Universidade Federal da Paraíba.
DIAS, M. F.; ALVES, Elias Humberto; SETTE, Antonio Mario. Algumas relações entre lógica paraconsistente e lógica modal. 1986. Dissertação (Mestrado em Filosofia (Ufpe-Ufpb-Ufrn)) - Universidade Federal da Paraíba.
DIAS, M. F.. A proposta de universalidade e os seus pressupostos filosóficos na obra de Durmeval Trigueiro Mendes. 1984. Dissertação (Mestrado em Filosofia (Ufpe-Ufpb-Ufrn)) - Universidade Federal da Paraíba.
DIAS, M. F.. Memórias do cárcere: uma abordagem ao pensamento político de Graciliano Ramos. 1984. Dissertação (Mestrado em Filosofia (Ufpe-Ufpb-Ufrn)) - Universidade Federal da Paraíba.
DIAS, M. F.. O poder religioso e outros poderes - tentativa de interpretar um caso à luz de Michel Foucault. 1984. Dissertação (Mestrado em Filosofia (Ufpe-Ufpb-Ufrn)) - Universidade Federal da Paraíba.
DIAS, M. F.. Antropologia filosófica: uma visão do homem nordestino. 1984. Dissertação (Mestrado em Filosofia (Ufpe-Ufpb-Ufrn)) - Universidade Federal da Paraíba.
DIAS, M. F.; QUEIRÓZ, Giovanni da Silva de; LUCENA, M. V. F.. A completude algébrica de S5. 1997. Monografia (Aperfeiçoamento/Especialização em Curso de Especialização Em Lógica Contemporânea) - Universidade Federal da Paraíba.
DIAS, M. F.; ARAÚJO, Ana Lêda de; SARMENTO, Garibaldi Monteiro. O problema de Post na teoria da m-Redutibilidade e dos m-Graus. 2004. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal da Paraíba.
DIAS, M. F.; ARAÚJO, Ana Lêda de; SARMENTO, Garibaldi Monteiro. Equivalência entre duas versões formais da noção intuitiva de função algorítmica. 2003. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal da Paraíba.
DIAS, M. F.; ARAÚJO, Ana Lêda de; SARMENTO, Garibaldi Monteiro. Duas versões formais para a noção de função algorítmica. 2002. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal da Paraíba.
DIAS, M. F.; ARAÚJO, Ana Lêda de; SARMENTO, Garibaldi Monteiro. Máquina de Turing. 2002. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal da Paraíba.
DIAS, M. F.; ARAÚJO, Ana Lêda de; LECLERC, André. Uma versão formal para a noção intuitiva de função algorítmica. 2001. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal da Paraíba.
DIAS, M. F.; OLIVEIRA, M. A.; SIDEKUM, A.; SOARES, M. C.. Presidente da Comissão Especial para Promoção para Professor Titular. 2014. Universidade Federal da Paraíba.
SILVA, A. G.;DIAS, M. F.; ARAÚJO, Ana Leda de. Banca Examinadora do Concurso Público para Professor adjunto I - área de Lógica. 2009. Universidade Federal de Campina Grande.
DIAS, M. F.. Presidente da Comissão Examinadora para o concurso público para Professor Auxiliar de Ensino, na área de Lógica, para o Departamento de Filosofia da UFPB. 1993. Universidade Federal da Paraíba.
DIAS, M. F.. Presidente da Comissão Examinadora para Professor Auxiliar de Ensino, na área de Lógica, para o Departamento de Filosofia da UFPB. 1990. Universidade Federal da Paraíba.
DIAS, M. F.. Membro da banca Examinadora para o concurso de Livre Docência em Filosofia. 1987. Universidade Estadual de Campinas.
Orientou
Cálculo de predicados de 1ª ordem: uma reconstrução semiformal da prova de sua indecibilidade; Início: 2014; Dissertação (Mestrado em Filosofia) - Universidade Federal da Paraíba, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);
Estados mentais num ambiente artificial: as limitações da proposta à luz de John Searle; Início: 2014; Dissertação (Mestrado em Filosofia) - Universidade Federal da Paraíba, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);
Uma generalização do 1 Teor; da Incompletude de Godel; 2007; Dissertação (Mestrado em Filosofia (Ufpe-Ufpb-Ufrn)) - Universidade Federal da Paraíba,; Orientador: Matias Francisco Dias;
Sobre a tese de Church-Turing; 1990; 0 f; Dissertação (Mestrado em Filosofia (Ufpe-Ufpb-Ufrn)) - Universidade Federal da Paraíba, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Matias Francisco Dias;
MF e ML; Uma questão de consistência; 1984; 0 f; Dissertação (Mestrado em Filosofia (Ufpe-Ufpb-Ufrn)) - Universidade Federal da Paraíba,; Orientador: Matias Francisco Dias;
A tese de Church; 1997; 30 f; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização Em Lógica Contemporânea) - Universidade Federal da Paraíba, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Matias Francisco Dias;
Aspectos gerais das funções recursivas; 1977; 35 f; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização Em Lógica Contemporânea) - Universidade Federal da Paraíba; Orientador: Matias Francisco Dias;
Produções bibliográficas
-
DIAS, M. F. ; A new Generalization of Goedel's First Incompleteness Theorem. The Bulletin of Symbolic Logic , v. 2, n.number 4, p. 458-459, 1996.
-
DIAS, M. F. ; SELF - Reference and diagonalization. The Bulletin of Symbolic Logic , v. 1, n.number 3, 1995.
-
DIAS, M. F. ; On elementary arithmetic. Journal of Symbolic Logic , Notre Dame - USA, v. 59, n.nº 1, p. 716-717, 1994.
-
DIAS, M. F. ; PORTELA FILHO, Raimundo Nonato . Teoria del la Recursion y Logica. Revista de Filosofia, Buenos Ayres, v. II, n.2, p. 107-117, 1987.
-
DIAS, M. F. ; COSTA, N. C. A. . Sur Le Système D* De Théorie des Ensembles. Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique , Paris, v. 282, n.A, p. 5-7, 1976.
-
WEBER, L. . Teoria da Recursão. São Paulo: UNESP, 2010. 277p .
-
DIAS, M. F. ; A new Generalization of Goedel's First Incompleteness Theorem. In: Annual Meeting of the Association for Simbolic Logic, 1996, Madison. The Bulletin of Symbolic Logic. Champaign: Association for Symbolic Logic,INC., 1996. v. 2. p. 458-459.
-
DIAS, M. F. ; Self-Reference and Diagonalization. In: Annual Meeting of The Associantion for Symbolic Logic, 1995, Irvine. The Bulletin of Symbolic Logic. Champaign: The Association for Symbolic Logic, 1995. v. 1. p. 388-388.
-
DIAS, M. F. ; PORTELA FILHO, Raimundo Nonato . Sobre a tese de Church. In: 47ª Reuniao Anual da SBPC, 1995, São Luis. Anais da 47ª Reunião da SBPC. Brasília: SBPC, 1995. v. II. p. 319-319.
-
DIAS, M. F. ; PORTELA, Raimundo Nonato Araújo . Sobre a Tese de Church. In: 47ª Reuniao Anual da SBPC, 1995, São Luis - Ma. Anais da 47ª Reunião da SBPC, 1995. v. II. p. 319-319.
-
DIAS, M. F. ; On Elementary Arithmetic. In: Annual Meeting of The ASL, 1994, Notre Dame. The Journal of Symbolic Logic. Champaign: Association for Symbolic Logic, INC., 1993. v. 59. p. 716-717.
-
DIAS, M. F. ; Alguns tópicos da Teoria da Recursão. 2010. (Apresentação de Trabalho/Conferência ou palestra).
-
DIAS, M. F. ; Significado de recursão. 2009. (Apresentação de Trabalho/Comunicação).
Outras produções
DIAS, M. F. ; ESCOBAR, e G K Lópes ; COSTA, N. C. A. ; CHUAQUI, Rolando . Membro do Comitê Científico do VIII Simpósio Latino-americano de Lógica Matemática. 1989. (Membro de Comitê Científico).
Projetos de pesquisa
-
2009 - Atual
Teoria da recursão: hierarquia aritmética, Descrição: Pretende-se estudar a classificação das várias classes de conjuntos dos naturais que são extensões de predicados aritmético e comparar esta hierarquia com outras da Teoria da recursão.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Matias Francisco Dias - Coordenador., Número de produções C, T & A: 5 / Número de orientações: 2
-
2000 - 2008
Teoria da recursão, Descrição: Bases e aprofundamentos até a solução do problema de Post.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Matias Francisco Dias - Coordenador / Leonardo Weber Castor - Integrante.
-
1984 - 1986
Teoria da recursão: Máquinas de Turing, Tese de Church, m-redutibilidade (projeto de pós-doutorado), Descrição: Foram analisadas as várias noções de redutibilidade até a noção de Turing-redutibilidade. local de realização: Instintut of Thecnology - University of Maryland - USA. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Matias Francisco Dias - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Prêmios
1989
Presidente da Comissão Organizadora dp XVIII SLALM, Association For Symbolic Logic.
1989
Membro do Comitê Científico do XVIII SLALM, Association For Symbolic Logic.
Histórico profissional
Endereço profissional
-
Universidade Federal da Paraíba, Centro de Ciências Humanas Letras e Artes - Campus I, Departamento de Filosofia. , CAMPUS UNIVERSITÁRIO S/N CCHLA, Cidade Universitária, 58030-997 - Joao Pessoa, PB - Brasil, Telefone: (83) 32167205, Fax: (83) 32167205, URL da Homepage:
Experiência profissional
2003 - Atual
Universidade Federal da ParaíbaVínculo: Outro (professor voluntário), Enquadramento Funcional: Professor voluntário, Carga horária: 20
1997 - 1997
Universidade Federal da ParaíbaVínculo: outro (professor convidado), Enquadramento Funcional: professor convidado, Carga horária: 4
1995 - 1996
Universidade Federal da ParaíbaVínculo: Professor Visitante, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.
1971 - 1994
Universidade Federal da ParaíbaVínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
10/2003
Ensino, Filosofia, Nível: Pós-Graduação,Disciplinas ministradas, Lógica, Teoria da Computabilidade
-
08/1997 - 12/1997
Ensino, Curso de Especialização Em Lógica Contemporânea, Nível: Especialização,Disciplinas ministradas, Teoria da Recursão
-
03/1996 - 02/1997
Ensino, Filosofia (Ufpe-Ufpb-Ufrn), Nível: Pós-Graduação,Disciplinas ministradas, Lógica IV, Lógica II, Lógica I
-
05/1995 - 05/1996
Pesquisa e desenvolvimento , Centro de Ciências Humanas Letras e Artes - Campus I, Departamento de Filosofia.,Linhas de pesquisa
-
03/1980 - 12/1994
Ensino, Filosofia (Ufpe-Ufpb-Ufrn), Nível: Pós-Graduação,Disciplinas ministradas, Teoria da Recursão, Lógica
-
05/1971 - 12/1994
Ensino, Filosofia, Nível: Graduação,Disciplinas ministradas, Lógica, Teoria do Conhecimento
-
06/1987 - 06/1994
Conselhos, Comissões e Consultoria, Centro de Ciências Humanas Letras e Artes - Campus I, Departamento de Filosofia.,Cargo ou função, outro - Assessor acadêmico da área de concentração de Lógica no Mestrado em Filosofia.
-
03/1988 - 12/1992
Pesquisa e desenvolvimento , Centro de Ciências Humanas Letras e Artes - Campus I, Departamento de Filosofia.,Linhas de pesquisa
1968 - 1969
Faculdade de Filosofia Ciências e Letras de MandaguariVínculo: Celetista, Enquadramento Funcional: Professor titular, Carga horária: 20
Atividades
-
03/1968 - 12/1968
Ensino, Psicologia, Nível: Graduação,Disciplinas ministradas, Psicologia Geral, Psicologia da Educação
1968 - 1968
Faculdade de Filosofia Ciências e Letras de ArapongaVínculo: Celetista, Enquadramento Funcional: Professor assistente, Carga horária: 20
Atividades
-
01/1968 - 12/1968
Ensino, Filosofia, Nível: Graduação,Disciplinas ministradas, Introdução à Filosofia
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Matias Francisco Dias e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?