(Em espanhol)
University of California, Berkeley
Data: 7 de Agosto de 2020
Midiendo la complejidad de objetos infinitos numerables
La teoría de la computabilidad es la sub-área de la lógica matemática que se dedica a buscar formas de medir la complejidad de objetos, construcciones, teoremas y demostraciones matemáticas relacionadas a objetos infinitos numerables. Por un lado, los objetos naturales parecen estar ordenados en una línea de más simple a más complejo, mientras que por otro lado, los objetos en general parecen estar muy desordenados. Esta dicotomía entre objetos naturales y objetos generales es difícil de estudiar matemáticamente, ya que no tenemos una definición formal de “objeto natural”. El objetivo de esta charla es introducir la conjetura de Martin (abierta hace más de 40 años) y ver cómo explica esta dicotomía.
Sobre Antonio
Antonio é uruguaio, trabalha com questões lógicas e mais especificamente com teoria da computabilidade. Concluiu o Bacharelado em Matemática na Universidade da República (Uruguai), para posteriormente fazer mestrado e doutorado na Universidade Cornell. Em 2005 iniciou seu pós-doutorado na University of Chicago, onde se tornou professor em 2007. Desde 2012 é professor na University of California, Berkeley.
A pesquisa de Antonio recebeu diversos reconhecimentos, incluindo o Prêmio Sacks em 2005, concedido à melhor tese de doutorado da Association for Symbolic Logic. Ele também foi reconhecido com o Centennial Fellowship da American Mathematical Society em 2009, com o Packard Fellowship em 2010, e em 2014 ele foi um palestrante convidado na sessão Logic do Congresso Internacional de Matemática em Seul, Coreia do Sul.
A paixão de Antonio nos últimos anos tem sido escalar, uma atividade que foi praticamente desacelerada pela pandemia.