 |
||||||||
| Departamento de Matemática | Gabinete C6.2.8 | |||||||
| FCUL - Universidade de Lisboa | Telefone do Gabinete: 217500294 | |||||||
| Campo Grande, Ed. C6, Piso 2 | Extensão interna: 26208 | |||||||
| P-1749-016 Lisboa, Portugal | Email: tp.lu.cf@arierrefjf | |||||||
Apresentação
Bem vindos à minha página pessoal. Sou professor de Matemática da Universidade de Lisboa e membro do Centro de Matemática e Aplicações Fundamentais e Investigação Operacional CMAFcIO. Clique aqui para aceder ao meu CV.
Interesses académicos
Lógica Matemática - em especial teoria da demonstração - e Filosofia e Fundamentos de Matemática. Também escrevi alguns ensaios expositórios sobre temas da lógica e dos fundamentos da matemática. Aqui pode encontrar dois ensaios sobre o problema da falsidade em Parménides e Platão.
Seminário de Lógica Matemática
O ano letivo 2019/2020 é o ano XXXI do Seminário de Lógica Matemática (SLM).
Eventos
Futuro próximo:
Workshop on Proof Theory, Modal Logic and Reflection Principles, 5 a 9 de novembro de 2019, Barcelona, Espanha.
Passado recente:
12th Panhellenic Logic Symposium, 26 a 30 de junho de 2019, Anogeia, Creta, Grécia.
Jornadas de Matemática IST, 3 e 4 de abril de 2019, Instituto Superior Técnico, Lisboa.
Matemática às Terças, 20 de novembro de 2018, Faculdade de Ciências da Universidade de Lisboa.
Comunicação à Academia das Ciências de Lisboa, Academia das Ciências de Lisboa, 8 de novembro de 2018.
Computational Approaches to the Foundations of Mathematics of Mathematics, 11 a 13 de abril de 2018, Munique, Alemanha.
Days in Logic 2018, 25 a 27 de janeiro de 2018, Aveiro.
Mathematical Logic: Proof Theory, Constructive Mathematics, 5 a 11 de novembro de 2017, Oberwolfach, Alemanha.
Axiomatic Thinking, 11 a 14 de outubro de 2017, Lisboa.
Axiomatic Thinking, 14 e 15 de setembro de 2017, Zurique, Suiça.
Applied Proof Theory and the Computational Content of Mathematics, 14 de setembro de 2017, Salzburg, Áustria.
Logic Colloquium 2017, 14 a 20 de agosto de 2017, Estocolmo, Suécia.
Seminário Lógica no Avião, 12 de Maio de 2017, Brasília, Brasil.
XVIII Encontro Brasileiro de Lógica, 8 a 12 de maio de 2017, Pirenópolis, Goiás, Brasil.
Projeto Diálogos da Fundação Calouste Gulbenkian, Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa, 2 de maio de 2017, Lisboa.
Vária
Sou membro do corpo editorial da Review of Symbolic Logic, de Disputatio e membro da comissão científica dos Cadernos de Lógica e Computação. Sou também membro correspondente da Classe de Ciências (1ª Secção, Matemática) da Academia das Ciências de Lisboa.
Última atualização: agosto de 2019