Rational Reconstructions. Making Sense of Proofs with Inconsistent Premises
Michèle Friend
The George Washington University
Michèle Friend
The George Washington University
Por Michael Röckner (Bielefeld University).
Workshop in preparation for the ECMTB 2018 and the Year of the Mathematical Biology.
Invited Speakers
António Fernandes
Instituto Superior Técnico, Universidade de Lisboa
Abstract: The purpose of this talk (eventually a series of talks) is to exhibit a proof (by Donald Martin) that analytic determinacy holds under a certain large cardinal hypothesis. In fact we intend to convey a little bit more than just the content of this proof, we will try to enlighten the deep connection between determinacy, which is a game related concept, and the theory of definable sets of reals.
Maurice de Gosson
Faculty of Mathematics, University of Vienna
Raquel Coelho Simões
CEAFEL
Björn Gohla
Group of Mathematical Physics of the University of Lisbon
Apresentação de Daniel Ramos (CMAF-CIO, FCUL).
A Terra pode ser representada no plano por muitos tipos de mapas, cada um podendo servir diferentes fins. Pelo teorema Egregium de Gauss, todos eles distorcem a realidade. Então, como medimos a distorção? Como medimos as distâncias? Como obtemos uma
intuição das suas propriedades geométricas?
A Biologia da Conservação é uma área multidisciplinar recente que tem por objetivo produzir conhecimentos e estabelecer procedimentos que possam contribuir para a persistência da diversidade biológica. A definição de áreas prioritárias para a conservação da biodiversidade é um tópico importante em Biologia da Conservação. Vamos ver que a Matemática está intimamente ligada ao estudo deste tópico.
No programa Novos Talentos em Matemática, edição 2016/2017, da Fundação Calouste Gulbenkian, foram distinguidos três alunos de Ciências. Desta vez, entrevistamos a aluna do 3.º ano do curso de Matemática de Ciências, Isabel Nobre.