Fernando Ferreira

Universidade de Lisboa

[click for a page in english]


Universidade de Lisboa
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

| Departamento de Matemática | Faculdade de Ciências | Universidade de Lisboa | CMAFIO |

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 XXVII do Seminário de Lógica Matemática (SLM), organizado por Fernando Ferreira.

Eventos

Passado recente:

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.

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.

Workshop - Ontological Commitment in Mathematics. In Memoriam of Aldo Antonelli, Institut d'Histoire et de Philosophie des Sciences et des Techniques, 14 e 15 de dezembro de 2015, Paris, França.

LanCog Seminar, Faculdade de Letras da Universidade de Lisboa, 26 de fevereiro de 2015.

Futuro próximo:

Mathematics for Computation, 8 a 13 de maio de 2016, Baixa Bavária, Alemanha.

Proofs, justifications and certificates, 3 e 4 de junho de 2016. Conferência no âmbito do trimestre temático "Current Issues in the Philosophy of Practice of Mathematics & Informatics", CIMI, Toulouse, França.

Journées sur les Arithmétiques Faibles 35, Faculdade de Ciências da Universidade de Lisboa, 6 e 7 de junho de 2016.

Thirteenth International Conference on Computability and Complexity in Analysis, Universidade do Algarve, 15 a 17 de junho de 2016.

Classical Logic and Computation 2016, Universidade do Porto, 23 de junho de 2016.

Vária

Sou membro do corpo editorial de 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: fevereiro de 2016