• O presente artigo tem como propósito analisar interdisciplinarmente o estado atual da relação entre educação e inteligência artificial (IA) no Brasil, focando na IA ChatGPT, com auxílio da perspectiva tecnológica do filósofo francês Gilbert Simondon. Apoiando-se nas bases filosóficas dessa IA, será realizada uma investigação teórica acerca do fenômeno apontado visando construir uma crítica que fomente uma relação entre homem e máquina baseada em cooperação. Utilizando pesquisas realizadas pela a…Read more
  •  16
    A Two-Sorted Theory of Nilpotent Lie Algebras
    with Christian D’elbée, Nicholas Ramsey, and Daoud Siniora
    Journal of Symbolic Logic 1-24. forthcoming.
    We prove the existence of a model companion of the two-sorted theory of c-nilpotent Lie algebras over a field satisfying a given theory of fields. We describe a language in which it admits relative quantifier elimination up to the field sort. Using a new criterion which does not rely on a stationary independence relation, we prove that if the field is NSOP $_1$, then the model companion is NSOP $_4$. We also prove that if the field is algebraically closed, then the model companion is c-NIP.