Através de obras de arquitetos de renome como Antoni Gaudí, Felix Candela e Oscar Niemeyer, este filme pretende evidenciar a forma natural como se entrelaçam as fórmulas, a geometria das formas e a sua concretização.
O vídeo insere-se no projeto Geometria Intuitiva e Interativa (GI2). Mais informações em http://www.gi2.pt/ .
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.
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".
