Logic Webinar

Recent results in proof mining

Transmissão através de Videoconferência

Speaker: Andrei Sipos (TU Darmstadt & Institute of Mathematics of the Romanian Academy).

Abstract: We present some novel kinds of rates of metastability extracted from proofs in classical analysis and ergodic theory that we recently analyzed using proof mining techniques..

Zoom Meeting:
https://videoconf-colibri.zoom.us/j/92351703489?pwd=Q245VmlJUitDVS9vZGJkSlJIc3BOUT09
Meeting ID: 923 5170 3489
Password: 251275

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional