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. Também sou colaborador do Centro de Filosofia da Universidade de Lisboa CFUL. 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

Futuro próximo:

Logic Colloquium 2017, 14 a 20 de agosto de 2017, Estocolmo, Suécia.

Applied Proof Theory and the Computational Content of Mathematics, 14 de setembro de 2017, Salzburg, Áustria.

Axiomatic Thinking, 14 e 15 de setembro de 2017, Zurique, Suiça.

Axiomatic Thinking, 11 a 14 de outubro de 2017, Lisboa.

Mathematical Logic: Proof Theory, Constructive Mathematics, 5 a 11 de novembro de 2017, Oberwolfach, Alemanha.

Passado recente:

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, Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa.

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 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: junho de 2017