Por Fabio Chalub (DM e CAM/FCT/NOVA).
"Matemática na Teoria da Evolução"
Resumo: A teoria da Evolução, originalmente proposta pelo naturalista inglês Charles Darwin, não foi inicialmente formulada em termos matemáticos. No entanto, ideias muito importantes em matemática estavam todas lá! Nesta palestra, mostraremos como durante o século XX a compreensão da evolução biológica passou de um modelo verbal para um modelo rigoroso.
José Matos (Ordem dos Biólogos)
Fábio Chalub (Sociedade Portuguesa de Matemática)
Carlos Braumann (Sociedade Portuguesa de Estatística)
Moderação de José Francisco Rodrigues (Ciências ULisboa)
Por Andrei Zviagin (Voronezh State University, Russia).
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.
Por Gabriele Rembado (ETH, Zurique).
Por Luigi Santocanale (Aix-Marseille Université).
The set of permutations on a finite set can be given the lattice structure known as the weak Bruhat order.
This talk is an invitation to the magic world of (partial and ordinary) differential equations. A (partial) differential equation is an equation that contains an unknown function and its (partial) derivatives. Such equations are used to describe a wide range of physical systems or natural processes. Examples include many aspects of our daily life. Partial Differential Equations also play an important role in several areas of mathematics such as analysis, probability and differential geometry.
Por Pedro Pinto (Universidade de Lisboa).
Por Bernardo San Martin (Universidad Católica del Norte).
Por Pedro Pinto (Universidade de Lisboa).
