 |
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 | 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 |
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 2012/2013
Este ano letivo encontro-me em licença sabática. No primeiro semestre visitei o Logic and Theory Group do Institut für Informatik und angewandte Mathematik da Universidade de Berna (Suiça). No segundo semestre estou em Lisboa.
Seminário de Lógica Matemática
Este ano decorre o ano XXIV 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). Os encontros deste ano começarão em breve. Se quiser ter notícias sobre o SLM contacte um dos organizadoes.
Seminário de Teoria dos Modelos e Grupo de Trabalho em Questões Lógicas
O Seminário de Teoria dos Modelos (STM) é organizado por Mário Jorge Edmundo da Universidade Aberta e do CMAF (Universidade de Lisboa). Se quiser ter notícias sobre o STM, contacte o organizador.
O Grupo de Trabalho em Questões Lógicas (GTQL) é organizado por Sergei Tupailo do CMAF (Universidade de Lisboa). Se quiser ter notícias sobre o GTQL, contacte o organizador.
Eventos
Passado recente:
Days in Logic 2012, Évora, 6 - 8 de Fevereiro de 2012.
Seminário, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 11 de Abril de 2012.
Contemporary Readings in Husserl's Erfahrung und Urteil, Universidade de Lisboa e Universidade Católica de Lisboa, Lisboa, 23 - 27 de Abril de 2012.
31ème Journées sur les Arithmétiques Faibles, Universidade de Atenas e Universidade do Egeu, Samos, Grécia, 30 de Maio - 1 de Junho de 2012.
Computability in Europe 2012, Universidade de Cambridge, Inglaterra, 18 - 23 de Junho de 2012.
Encontro Nacional de Filosofia Analítica (ENFA 5), Universidade do Minho, Braga, 13 - 15 de Setembro de 2012.
Seminário de Logic and Theoretical Computer Science, Logic and Theory Group, Institut für Informatik und angewandte Mathematik, Universidade de Berna (Suiça). 18 de Outubro de 2012.
Sessão de Homenagem a Alan Turing, Academia das Ciências de Lisboa, 8 de Novembro de 2012.
The 2012 Münchenwiler Seminar, Münchenwiler Schloss, Suiça, 14-15 de Novembro de 2012.
ABM - Arbeitstagung Bern München Seminar, Mathematisches Institut der Universität München, 20-21 de Dezembro de 2012.
Futuro próximo:
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.
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 actualização: Setembro de 2012