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.aobsilu.saicneic@arierrefjf

| Departamento de Matemática | Faculdade de Ciências | Universidade de Lisboa | CMAF |

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 CMAF e do seu Grupo 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 2014/2015

No primeiro semestre ensino Filosofa da Matemática ao Mestrado de História e Filosofia das Ciências e Lógica de Primeira-ordem do 1º ano do 1º ciclo da Licenciatura em Engenharia Informática. No segundo semestre, sou responsável pela cadeiras Introdução à Teoria dos Números do 3º ano do 1º ciclo em Matemática e Tópicos de Lógica Matemática do programa doutoral de Matemática.

Seminário de Lógica Matemática

Este ano decorre o ano XXVI do Seminário de Lógica Matemática (SLM), organizado por Fernando Ferreira da Universidade de Lisboa e Mário Jorge Edmundo da Universidade Aberta e do CMAF (Universidade de Lisboa). Se quiser ter notícias sobre o SLM contacte um dos organizadoes.

Eventos

Passado recente:

Days in Logic 2014, Universidade do Minho, 23 a 25 de janeiro de 2014, Braga, Portugal.

Centenário dos Principia Mathematica (1913-2013) de Bertrand Russell e Alfred N. Whitehead, Faculdade de Letras da Universidade de Lisboa, 6 e 7 de fevereiro de 2014, Lisboa, Portugal.

2014: Abstractionism/Neologicism, Universidade de Connecticut, 26 e 27 de abril de 2014, Storrs, Connecticut, EUA.

Journées sur les Arithmétiques Faibles 33, Universidade de Gotemburgo, 16 a 18 de junho de 2014, Gotemburgo, Suécia.

Trends in Logic XIII, Universidade de Lodz, 2 a 5 de julho de 2014, Lódz, Polónia.

Sessão de Lógica e Computação do Encontro Nacional da Sociedade Portuguesa de Matemática, Universidade Nova de Lisboa, 15 a 16 de julho de 2014, Lisboa, Portugal.

1º Congresso Português de Filosofia, Faculdade de Ciências Sociais e Humana das Universidade Nova de Lisboa e Fundação Calouste Gulbenkian, 5 e 6 de setembro de 2014, Lisboa, Portugal.

7º Encontro Luso-Brasileiro de História da Matemática, 15 a 19 de outubro de 2014, Óbidos, Portugal.

Mathematical Logic: Proof Theory, Constructive Mathematics, Mathematisches Forschungsinstitut Oberwolfach, 16 a 22 de novembro de 2014, Oberwolfach, Alemanha.

Utrecht Workshop in Proof Theory, Universidade de Utrecht, 16 a 18 de abril de 2015, Utrecht, Holanda.

Futuro próximo:

Measuring the Complexity of Computational Content: Weihrauch Reducibility and Reverse Analysis, Schloss Dagstuhl (Leibniz-Zentrum für Informatik), 20 a 25 de setembro de 2015, Dagstuhl, Alemanha.

Vária

Sou membro do corpo editorial de Portugaliae Mathematica, 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: junho de 2015