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 2016/2017

No primeiro semestre ensino Lógica de Primeira-ordem ao 1º ano do 1º ciclo de Engenharia Informática. No segundo semestre ensino Introdução à Teoria dos Números ao 3º ano do 1º ciclo de Matemática e Lógica Matemática ao Mestrado de Matemática.

Seminário de Lógica Matemática

Este ano decorre o ano XXVIII do Seminário de Lógica Matemática (SLM), organizado por Fernando Ferreira e por Mário Edmundo.

Eventos

Passado recente:

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