 |
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: ferferr@cii.fc.ul.pt |
|
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: ferferr@cii.fc.ul.pt |
Apresentação
Bem vindos à minha página pessoal. Sou Professor Associado 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 2009/2010
No primeiro semestre sou Tinker Visiting Professor na Universidade de Stanford, Califórnia (EUA) e ensino Proof Theory e Functional Interpretations. No segundo semestre voltarei à Faculdade e sou novamente responsável pelas cadeiras Lógica de Primeira-ordem e Lógica e Fundamentos.
Seminário de Lógica Matemática
Decorre o ano XXI 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. Os encontros do SLM são às quintas-feiras, das 18h às 19h, na sala 3.10 do Pavilhão de Matemática do Instituto Superior Técnico. Se quiser ter notícias sobre o SLM contacte um dos organizadoes.
Seminário de Teoria dos Modelos
Decorre o segundo ano do Seminário de Teoria dos Modelos (STM). Este seminário complementa o SLM ao focar o domínio específico da Teoria dos Modelos. O seminário é organizado por Mário Jorge Edmundo da Universidade Aberta. Por enquanto o STM é ocasional. Se quiser ter notícias sobre o STM, contacte o organizador.
Eventos
Passado recente:
Mathematical Logic: Proof Theory, Constructive Mathematics, 6-12 Abril de 2008, Oberwolfach, Alemanha. As minhas comunicações encontram-se disponíveis: Lecture 1 e Lecture 2.
Encontro Nacional da Sociedade Portuguesa de Matemática, 25-28 de Junho de 2008, Instituto Superior de Engenharia de Coimbra.
Classical Logic and Computation’08, 13 de Julho de 2008, Reiquejavique, Islândia.
“A lógica matemática como empreendimento fundamentador”, comunicação à Academia das Ciências de Lisboa, 15 de Janeiro de 2009.
Leeds Symposium on Proof Theory and Constructivism, 3 a 16 de Julho de 2009, Leeds, Inglaterra.
Logic Colloquium'09, 31 de Julho - 5 de Agosto de 2009, Sófia, Bulgária.
Futuro próximo:
Gentzen Centenary. The Quest of Consistency, 12 de Setembro de 2009, Coimbra.
ENFA 4, 17 - 19 de Setembro de 2009, Évora.
ASL Winter Meeting, 15 - 16 de Janeiro de 2010, São Francisco, Califórnia, EUA.
Computability in Europe 2010, 30 de Junho - 5 de Julho de 2010, Ponta Delgada, Açores.
Vária
Sou co-editor da Disputatio, uma revista de Filosofia Analítica. Sou o actual presidente da Sociedade Portuguesa 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 actualização: 26 de Agosto de 2009