COLOQUIO DE OTOÑO DEL DEPARTAMENTO

Viernes, 29 de noviembre de 2024

11:00 h., Módulo 17 - Aula 520 (Dpto. Matemáticas UAM).

Johan Commelin

Universteit Utrecht

math human U computer

Computers have changed the way grand masters play chess and they are
changing the way we do mathematics. Over the centuries, humanity has developed
a fairly robust methodology for establishing and maintaining trust in
the ecosystem of mathematical theorems and proofs. Such a robust ecosystem
is of critical importance for our mathematical practice, and for the cohesion
in our community. Using various examples, I will explain how computers
can enhance this ecosystem, thereby allowing us to expand the ways in which
we do mathematics.