Matemática

Zigzag and Fregean arithmetic

Por Fernando Ferreira (Universidade de Lisboa).

Ler mais acerca de Zigzag and Fregean arithmetic

Prova de Mestrado "Estudo de equações e sistemas de equações elípticos não lineares com expoente crítico em IR2"

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²".

Ler mais acerca de Prova de Mestrado "Estudo de equações e sistemas de equações elípticos não lineares com expoente crítico em IR2"

Poliedros, cristais e... vírus?

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.

Ler mais acerca de Poliedros, cristais e... vírus?

Some aspects of geometric control theory

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

Ler mais acerca de Some aspects of geometric control theory

On the undecidibility of type inhabitation for atomic polymorphism (part 2)

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.

Ler mais acerca de On the undecidibility of type inhabitation for atomic polymorphism (part 2)

Spectral monotonicity for quantum graphs

Por Jonathan Rohleder (Universidade de Estocolmo, Suécia).

Ler mais acerca de Spectral monotonicity for quantum graphs

A 10 do 10?

José Francisco Rodrigues, professor do DM e investigador do CMAFcIO de Ciências ULisboa, escreve sobre a interação profícua entre a Matemática e a Biologia, no Ano da Biologia Matemática, que celebra o extraordinário progresso das aplicações matemáticas na Biologia.

Ler mais acerca de A 10 do 10?

A viagem de Darwin pela Matemática

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.