University of California, Berkeley
Fecha: 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 es uruguayo, trabaja en temas de lógica y más específicamente en teoría de computabilidad. Realizó su Licenciatura en Matemáticas en la Universidad de la República (Uruguay), para después hacer sus estudios de maestría y doctorado en la Universidad de Cornell. En 2005 comenzó su postdoctorado en la Universidad de Chicago, donde pasó a ser profesor en 2007. Desde 2012 es profesor en la Universidad de California, Berkeley.
La investigación de Antonio ha sido premiada con diversos reconocimientos, entre ellos el Sacks Prize en 2005, dado a la mejor tesis de doctorado por la Asociación de Lógica Simbólica. También ha sido reconocido con el Centennial Fellowship de la American Mathematical Society en 2009, con el Packard Fellowship en 2010, y en 2014 fue ponente invitado en la sesión de Lógica del Congreso Internacional de Matemáticas en Seúl, Corea del Sur.
La pasión de Antonio en los últimos años ha sido la escalada, actividad que ha quedado prácticamente pausada por la pandemia.