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 | CMAFcIO |

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