Fernando Ferreira

[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 | 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. Alguns ensaios expositórios sobre temas da lógica encontram-se aqui. Também escrevi dois ensaios de Filosofia Antiga sobre o problema da falsidade em Parménides e Platão.

Actividade lectiva em 2013/2014

No primeiro semestre estou a ensinar Filosofa da Matemática ao Mestrado de História e Filosofia das Ciências, Lógica Matemática ao Mestrado em Matemática e Teoria da Demonstração do programa doutoral de Matemática. No segundo semestre, serei responsável pela cadeira 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 XXV 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:

Groupe de travail "Théorie des types et réalisabilité", INRIA - Université Paris Diderot, Paris, 12 de junho de 2013.

Computability Seminar at LIAFA, Université Paris Diderot, Paris, 13 de junho de 2013.

Séminaire PhilMath, no Institute d'histoire et de philosophie des sciences et des techniques, Paris, 17 de junho de 2013.

Proof Theory in Lisbon: a one-day workshop, Lisboa, Portugal, 19 de julho de 2013.

European Logic Colloquium 2013, Évora, Portugal, 22-27 de julho de 2013.

Conferências de História e Filosofia das Ciências, Faculdade de Ciências da Universidade de Lisboa, 23 de outubro de 2013.

Futuro próximo:

Computational Interpretations of Mathematical Theorems, Kavli Royal Society International Centre, Royal Society at Chicheley Hall, Buckinghamshire, Inglaterra, 25 e 26 de novembro de 2013.

Vária

Sou co-editor da Disputatio, uma revista de Filosofia Analítica. Sou Membro Correspondente da Classe de Ciências (1ª Secção, Matemática) da Academia das Ciências de Lisboa.


Última atualização: outubro de 2013