Matemática

V Feira da Matemática

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.

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.

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.

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.

Páginas