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.
A Semana da Ciência e Tecnologia celebra-se no país entre 20 e 26 de novembro. O ponto alto acontece a 24 com o Dia Nacional da Cultura Cientifica. Ciências junta-se à efeméride com dezenas de iniciativas.
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).
Patrick Tony Lapa Joaquim defende a dissertação "Avaliação de opções com séries de Fourier".
Nuno Ricardo Raimundo Silva defende a dissertação "A CFO-based model of coningent claims with jump risk".
