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.

Atividade letiva em 2018/2019

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

Seminário de Lógica Matemática

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

Eventos

Futuro próximo:

Números e criptografia, 20 de novembro de 2018, Matemática às Terças, Faculdade de Ciências da Universidade de Lisboa.

12th Panhellenic Logic Symposium, 26 a 30 de junho de 2019, Anogeia, Creta, Grécia.

Passado recente:

Elementos ideais e a sua remoção, 8 de novembro de 2018, Comunicação à Academia das Ciências de Lisboa.

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.

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, 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: outubro de 2018