 |
||||||||
| 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 do Departamento de Matemática da Universidade de Lisboa e membro do Centro de Matemática e Aplicações Fundamentais e Investigação Operacional CMAFIO e da sua linha de investigação de Lógica Matemática. 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 2015/2016
Sou responsável por duas cadeiras do 3º ano do 1º ciclo em Matemática: Introdução à Teoria dos Conjuntos no primeiro semestre e Introdução à Teoria dos Números no segundo semestre. Também ensino no primeiro semestre Lógica de Primeira-ordem ao 1º ano do 1º ciclo de Engenharia Informática.
Seminário de Lógica Matemática
Este ano decorre o ano XXVI do Seminário de Lógica Matemática (SLM), organizado por Fernando Ferreira da Universidade de Lisboa e Mário Jorge Edmundo da Universidade Aberta e do CMAF (Universidade de Lisboa). Se quiser ter notícias sobre o SLM contacte um dos organizadoes.
Eventos
Passado recente:
Days in Logic 2014, Universidade do Minho, 23 a 25 de janeiro de 2014, Braga, Portugal.
Centenário dos Principia Mathematica (1913-2013) de Bertrand Russell e Alfred N. Whitehead, Faculdade de Letras da Universidade de Lisboa, 6 e 7 de fevereiro de 2014, Lisboa, Portugal.
2014: Abstractionism/Neologicism, Universidade de Connecticut, 26 e 27 de abril de 2014, Storrs, Connecticut, EUA.
Journées sur les Arithmétiques Faibles 33, Universidade de Gotemburgo, 16 a 18 de junho de 2014, Gotemburgo, Suécia.
Trends in Logic XIII, Universidade de Lodz, 2 a 5 de julho de 2014, Lódz, Polónia.
Sessão de Lógica e Computação do Encontro Nacional da Sociedade Portuguesa de Matemática, Universidade Nova de Lisboa, 15 a 16 de julho de 2014, Lisboa, Portugal.
1º Congresso Português de Filosofia, Faculdade de Ciências Sociais e Humana das Universidade Nova de Lisboa e Fundação Calouste Gulbenkian, 5 e 6 de setembro de 2014, Lisboa, Portugal.
7º Encontro Luso-Brasileiro de História da Matemática, 15 a 19 de outubro de 2014, Óbidos, Portugal.
Mathematical Logic: Proof Theory, Constructive Mathematics, Mathematisches Forschungsinstitut Oberwolfach, 16 a 22 de novembro de 2014, Oberwolfach, Alemanha.
Utrecht Workshop in Proof Theory, Universidade de Utrecht, 16 a 18 de abril de 2015, Utrecht, Holanda.
Futuro próximo:
Measuring the Complexity of Computational Content: Weihrauch Reducibility and Reverse Analysis, Schloss Dagstuhl (Leibniz-Zentrum für Informatik), 20 a 25 de setembro de 2015, Dagstuhl, Alemanha.
Vária
Sou membro do corpo editorial de Portugaliae Mathematica, Disputatio e 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: julho de 2015