Portal de Dados

Doutor em filosofia, na área de Lógica, Filosofia da Lógica e Filosofia da Linguagem, pela Universidade de São Paulo.Bacharel em Matemática Pura pela Universidade Estadual Paulista Júlio de Mesquita Filho (2006). Licenciando em Matemática pela Universidade de São Paulo (Em andamento).Bacharel (2014) e Licenciado (2018) em Filosofia pela Universidade de São Paulo. Licenciatura (2023) em Matemática, modalidade segunda licenciatura, pela Faculdade IBRA de Brasília.Atualmente atua como Professor EBTT de Matemática do Instituto federal de Educação, Ciência e Tecnologia, IFES. Foi medalhista de prata - nacional - na OBA (Olimpíada Brasileira de Astronomia - UFRJ) - nível médio. Coautor dos volumes de matemática para ensino fundamental 2, Projeto Lume (Programa Múltiplo), Oxford University Press do Brasil e responsável técnico pelos volumes de matemática do Guia do Estudante (2011 - 2012), Editora Abril.Tem interesse em temas relacionados à Matemática, Filosofia da Matemática, Lógica, Lógica modal, Lógica e Geometria e Metafísica das modalidades. Tem experiência na área de Matemática, com ênfase em Geometria e Topologia, assim como em Matemática, com ênfase em educação e avaliação em matrizes por competências.

Links:

LIMA, G. M. P. ; TOLEDO, L. A. . Projeto Lume Matemática (9. ano). SAO PAULO : Oxford University Press do Brasil, 2013 . 360p. ISBN: 9788565547178.
LIMA, G. M. P. ; SOARES NETO, A. ; TOLEDO, L. A. . Projeto Lume Matemática (8. ano). SAO PAULO : Oxford University Press do Brasil, 2013 . 392p. ISBN: 9788565547161.
LIMA, G. M. P. ; BRANCALHAO, A. ; TOLEDO, L. A. . Projeto Lume Matemática (7. ano). SAO PAULO : Oxford University Press do Brasil, 2013 . 376p. ISBN: 9788565547154.
LIMA, G. M. P. ; BRANCALHAO, A. ; TOLEDO, L. A. . Projeto Lume Matemática (6. ano). SAO PAULO : Oxford University Press do Brasil, 2013 . 368p. ISBN: 9788565547147.

LIMA, G. M. P. ; MARTON, F. . Matemática IV. São Paulo : Editora Abril , 2012 (Curso preparatório ENEM)
LIMA, G. M. P. ; MARTON, F. . Matemática III. São Paulo : Editora Abril , 2012 (Curso preparatório ENEM)
LIMA, G. M. P. ; MARTON, F. . Matemática II. São Paulo : Editora Abril , 2012 (Curso preparatório ENEM)
LIMA, G. M. P. ; MARTON, F. . Matemática I. São Paulo : Editora Abril , 2012 (Curso preparatório ENEM)
LIMA, G. M. P. ; MARTON, F. . Matemática IV / Abril coleções (Curso preparatório Enem). São Paulo : Editora Abril , 2011 (Curso preparatório ENEM)
LIMA, G. M. P. ; MARTON, F. . Matemática III / Abril coleções (Curso preparatório Enem). São Paulo : Editora Abril , 2011 (Curso preparatório ENEM)
LIMA, G. M. P. ; MARTON, F. . Matemática II/ Abril coleções (Curso preparatório Enem). São Paulo : Editora Abril , 2011 (Curso preparatório ENEM)
LIMA, G. M. P. ; MARTON, F. . Matemática / Abril coleções (Curso preparatório Enem). São Paulo : Editora Abril , 2011 (Revista informativa/didática)

LIMA, G. M. P. ; SOUZA, E. G. . Métrica para o modelo Topo S4-Canônico para a Lógica Modal Quantificada. 2002 (Comunicacao)
LIMA, G. M. P. ; SOUZA, E. G. . Métrica para o modelo Topo S4-Canônico para a Lógica Modal Quantificada. 2022 (Comunicacao)
LIMA, G. M. P. . Cálculo de sequentes de Gentzen para a lógica modal proposicional. 2015 (Comunicacao)
LIMA, G. M. P. . Estrutura Topológica da Lógica Modal S4. 2019 (Comunicacao)
LIMA, G. M. P. . Estrutura topológica da lógica modal S4. 2019 (Conferência)
LIMA, G. M. P. . Lógica modal de predicados - Abordagem por uma perspectiva histórica sobre a questão dos existentes e das modalidades. 2015 (Comunicacao)
LIMA, G. M. P. . Lógica modal - Uma abordagem sintática e semântica. 2015 (Comunicacao)
LIMA, G. M. P. . Lógica modal - Uma abordagem sintática e semântica. 2014 (Comunicacao)

Nome do projeto: Semântica Topológica para Lógicas Modais (2016 - 2021
Natureza: Pesquisa
Integrantes: LIMA, G. M. P. .
Descrição: Estudar como semânticas topológicas podem ser utilizadas para embasar certo posicionamento pragmático na escolha por um contexto lógico mediador de argumentos filosóficos, como aqueles da Metafísica. Com isso, avaliar uma posição cética-moderada frente a viabilidade e os limites para a construção filosófica de teorias metafísicas, embasadas em certos aspectos empíricos, na inter-relação dos espaço lógico, de representação e físico.
Nome do projeto: Curso de Introdução à Lógica e Programação (2023 Atual)
Natureza: Ensino
Integrantes: LIMA, G. M. P. .
Descrição: Este projeto de ensino, ofertado ao longo de 2023 a alunos do Ensino Médio Integrado do IFES - campus Montanha, visa tratar de assuntos elementares de Lógica (história, tabelas de verdade, linguagem de primeira ordem, lógica para concursos e aspectos filosóficos), assim como resolver problemas básicos por meio de algoritmos e construção de programas usando linguagem C++

Graduacao:
- Curso: Segunda Licenciatura em Matemática
  Nome da Instituição: Faculdade IBRA de Brasília
  Ano de conclusão: 2023
- Curso: Licenciatura em Matemática
  Nome da Instituição: Universidade de São Paulo
  Ano de conclusão: 2022
  Status do curso: Incompleto
- Curso: Licenciatura em Filosofia
  Nome da Instituição: Universidade de São Paulo
  Título: Lógica modal de predicados Abordagem por uma perspectiva histórica sobre a questão dos existentes e das modalidades
  Ano de conclusão: 2018
- Curso: Filosofia
  Nome da Instituição: Universidade de São Paulo
  Título: Caracterização do cálculo de sequentes de Gentzen para a lógica modal proposicional
  Ano de conclusão: 2014
- Curso: Bacharelado em Matemática
  Nome da Instituição: Universidade Estadual Paulista Júlio de Mesquita Filho
  Título: Classificação topológica das superfícies
  Ano de conclusão: 2006
Doutorado:
- Curso: Filosofia
  Nome da Instituição: Universidade de São Paulo
  Ano de conclusão: 2021

Escola Brasileira Israelita Chaim Nachman Bialik:
- Tipo de vínculo: Livre (2010 - 2011 ).
  Outras informações: Professor
Colégio Giordano Bruno:
- Tipo de vínculo: Livre (2010 - 2010 ).
  Outras informações: Professor
Adaptativa Inteligência Educacional:
- Tipo de vínculo: Professor_visitante (2013 - 2017 ).
  Outras informações: Empresa especializada em produtos educacionais voltados para preparação para o ENEM e outros vestibulares
  Outras informações: Coordenador de matemática
Etapa Educacional:
- Tipo de vínculo: Professor_visitante (2014 - 2020 ).
  Outras informações: Plantonista de matemática
Universidade de São Paulo:
- Tipo de vínculo: Livre (2016 - 2021 ).
  Outras informações: Pesquisador na área de Lógica, Filosofia da lógica e Filosofia da linguagem
  Outras informações: Doutorando
Anima Educação:
- Tipo de vínculo: Celetista (2020 - 2022 ).
  Outras informações: Coordenador da Gerência de Avaliação. Vice-presidência Acadêmica da Ânima Educação
  Outras informações: Analista Sênior
Universidade de São Paulo:
- Tipo de vínculo: Livre (2016 - 2021 ).
Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo:
- Tipo de vínculo: Servidor_publico (2022 - Atual ).
  Outras informações: Professor EBTT de Matemática