Por Alberto Bressan (Penn State University).

Por André Souto (Universidade de Lisboa).

Por Paulo Rocha.

Abstract: Traditionally in quantum mechanics it assumed that the Hamiltonian must be Hermitian in order to obtain real energy levels and unitary time evolution. Here we will show that the requirement of Hermiticity may be replaced by space-time reflection (PT-symmetry) without losing any of the essential physical features of quantum mechanics. In this seminar we will give an introduction to PT-Symmetric quantum theory and work with some examples.

O Museu Nacional de História Natural e da Ciência recebe mais uma edição da Feira da Matemática!

Serão dois dias repletos de atividades científicas, culturais e educativas dirigidas a todos os públicos, desde exposições, jogos e desafios, concursos, demonstrações, palestras, teatro, Circo Matemático, sessões à volta de livros, Fado Mathemático e sessão de homenagem a Martin Gardner.

Entrada livre e participação gratuita em todas as atividades.

Mesa-retangular com alunos do Departamento de Matemática, organizada pelo Núcleo de Estudantes de Matemática e Matemática Aplicada.

Moderador: Luís Simão (3.º ano, Matemática).

Por Fernando Ferreira (Universidade de Lisboa).

Jorge Miguel Campilho Fragoso defende a dissertação "Estudo de equações e sistemas de equações elípticos não lineares com expoente crítico em IR²".

Por Suzana Nápoles (Departamento de Matemática / Ciências ULisboa).

Descrição: No mês em que se celebra o Dia da Biologia Matemática, dedicamos a próxima sessão do 60 Minutos da Ciência há relação entre a Virologia e a Geometria. 

Por Fátima Silva Leite (Universidade de Coimbra).

Por Clarence Protin (Independent Scholar).

Abstract: Pawel Urzyczyn has shown how to obtain a syntactic proof of the undecidability of type inhabitation for systems $F$ and $F_\omega$ by a reduction involving the codification of a certain undecidable $\forall,\rightarrow$- fragment of intutitionistic predicate calculus and the use of the Curry-Howard isomorphism. We show how this technique can be simplified and used to prove the undecidability of type inhabitation for atomic polymorphism.