Página Pessoal

Fernando Jorge Inocêncio Ferreira

Contactos

Departamento de Matemática

Sala/Gabinete C6.2.08
Ext. Principal 26208 Ext. Alt 26105
Telefone Direto 217500294
Email fjferreira@ciencias.ulisboa.pt
Página Pessoal

Carreira Docente Universitário
Categoria Professor Catedrático

Indicadores

ResearcherID
Orcid

Palavras Chave

Keywords


Currículo Resumido

Fernando Ferreira doutorou-se em Matemática pela Pennsylvania State University (EUA) em 1988 e é especialista em Lógica e Fundamentos da Matemática. Foi visitante bolseiro na Universidade de Aarhus (Dinamarca), na Universidade de Berna (Suiça), Fulbright Scholar na Universidade de Harvard (EUA) e, por um termo, Tinker Visiting Professor na Universidade de Stanford (EUA).

É autor (ou co-autor) de mais de quarenta artigos publicados internacionalmente e publicou em 2000, com Carlos André, o livro Matemática Finita. É autor de vários artigos de lógica em português. Supervisionou cinco teses de doutoramento e doze teses de mestrado. Tem sido convidado como orador de várias conferências na Europa. Foi medalha de prata do Kurt Gödel Centenary Research Prize Fellowships (2008). É membro do corpo editorial das revistas "Review of Symbolic Logic" e "Disputatio". É membro correspondente da Academia das Ciências de Lisboa.

--------

Fernando Ferreira majored in Mathematics and holds a PhD degree from Pennsylvania State University (USA). He is a specialist in Mathematical Logic and the Foundations of Mathematics. He was a visiting scholar at the universities of Aarhus (Denmark) and Bern (Switzerland), was a Fulbright Scholar at Harvard University (USA) and was, for one term, Tinker Visiting Professor at Stanford University (USA).

He is the author of more than forty papers and published in 2000, with Carlos André, a book entitled “Matemática Finita.” He has also several papers about logic published in portuguese. He supervised five doctoral theses and twelve master theses. He has been invited to various conferences in Europe. He was Silver Medal of the Kurt Gödel Centenary Research Prize Fellowship (2008). He is member of the editorial board of the journals "Review of Symbolic Logic" and "Disputatio". He is corresponding member of Academia das Ciências de Lisboa.


Interesses Científicos

Lógica Matemática. Teoria da Demonstração. Interpretações Funcionais. Fundamentos da Matemática. Filosofia da Matemática.


Scientific Interests

Mathematical Logic. Proof Theory. Functional Interpretations. Foundations of Mathematics. Philosophy of Mathematics.


Publicações selecionadas
  • A feasible theory for analysis. J. Symbolic Logic 59 (1994), no. 3, 1001–1011.
  • On the consistency of the Δ11-CA fragment of Frege's Grundgesetze. J. Philos. Logic 31 (2002), no. 4, 301–311. (Com Kai Wehmeier.)
  • Bounded functional interpretation. Ann. Pure Appl. Logic 135 (2005), no. 1-3, 73–112. (Com Paulo Oliva.)
  • Comments on predicative logic. J. Philos. Logic 35 (2006), no. 1, 1–8.
  • A new computation of the Σ-ordinal of KPω. J. Symb. Log. 79 (2014), no. 1, 306–324.