Por Thomas Giletti (Univ. de Lorraine).

Por: Ana Rita Pires (University of Cambridge)

Emanuele Frittaion
CMAFCIO, Universidade de Lisboa

Abstract: Goodman's theorem (after Nicholas D. Goodman) asserts that adding the axiom of choice to intuitionistic arithmetic in all finite types yields a system which is conservative over Heyting arithmetic. This is in contrast with classical arithmetic in all finite types. In fact, the combination of choice with classical logic results in a system as strong as full second-order arithmetic.

Mauricio Poletti
Université Paris 13

Jean-Yves Béziau
University of Brazil, Rio de Janeiro
École Normale Supérieure, Paris

Desde 1987, o programa Erasmus já permitiu a mobilidade de mais de quatro milhões de estudantes do Ensino Superior, dos 33 países envolvidos neste programa. Alguns alunos do Departamento de Matemática vêm contar-nos como este programa mudou a sua vida.

Raquel Maria Vicente Filipe defende a dissertação "Coupled Wiener processes: from single to collective dynamics of active particles".

Simão Fernandes Correia defende a tese "Dynamics for schrödinger evolution problems".

Por Jean-Pierre Bourguignon (IHES, France and Academia das Ciências de Lisboa).