Prof. André Porto
UFG/CNPq
Full Professor at Goiás' Federal University (UFG, Brazil), CNPq's researcher. Prof. Porto specializes in Wittgenstein and the Foundations of Mathematics. His main areas of interest include Constructivism, Intuitionism, Type Theories and Automatic Proof Verification. In addition to these primary areas of research he is also involved with Wittgenstein's treatment of Subjectivity.
Professor Titular da Universidade Federal de Goiás (UFG, Brasil), Pesquisador do CNPq. Prof. Porto é especialista em Wittgenstein e em Fundamentos da Matemática. Suas áreas principais de interesse incluem a Construtivismo, Intuicionismo, Teoria dos Tipos e e Verificação Automática de Provas. Além dessa área prioritária de pesquisa, ele também tem se dedicado ao tratamento que Wittgenstein dá à Subjetividade