 |
||||||||
| 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.
Atividade letiva em 2018/2019
No primeiro semestre ensino Lógica de Primeira-ordem ao 1º ano do 1º ciclo de Engenharia Informática e Introdução à Teoria dos Conjuntos ao 3º ano do 1º ciclo de Matemática. No segundo semestre ensino Introdução à Teoria dos Números também ao 3º ano do 1º ciclo de Matemática.
Seminário de Lógica Matemática
Este ano decorre o ano XXX do Seminário de Lógica Matemática (SLM), organizado por Fernando Ferreira.
Eventos
Futuro próximo:
12th Panhellenic Logic Symposium, 26 a 30 de junho de 2019, Anogeia, Creta, Grécia.
Passado recente:
Números e criptografia, 20 de novembro de 2018, Matemática às Terças, Faculdade de Ciências da Universidade de Lisboa.
Elementos ideais e a sua remoção, 8 de novembro de 2018, Comunicação à Academia das Ciências de Lisboa.
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.
XVIII Encontro Brasileiro de Lógica, 8 a 12 de maio de 2017, Pirenópolis, Goiás, Brasil.
Um longo argumento: a falsidade n'O Sofista de Platão, 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: janeiro de 2019