Alexandre Reggiolli (IMECC)
O Projeto Darwinismo formal, inciado nos idos de 1998 pelo professor da universidade de Oxford, Alan Grafen, visa fundamentar a teoria da evolução por seleção natural de Darwin com uma base matemática rigorosa. Fundamentado numa dualidade entre o movimento dos genes (genética de populações) e a mecânica do desenvolvimento biológico (ecologia comportamental), o projeto de Grafen, ainda não terminado, gerou diversas discussões sobre a natureza matemática de um formalismo evolutivo. Aqui, discutiremos o trabalho de 2006 do projeto, intitulado ”A Theory of Fisher’s Reproductive Value”. Nessa discussão, veremos como a teoria de integração em espaços Banach, combinada com noções de processos (estocásticos) markovianos neste mesmo espaço, pode servir como uma base para algo que pareça com uma teoria matemática consistente de ”algum” processo evolutivo (e também discutiremos esse ”algum” na palestra).