Keita Yokoyama, Video: Computable analysis and reverse mathematics
Keita Yokoyama, Video: Computable analysis and reverse mathematics
Keita Yokoyama, Computable analysis and reverse mathematics, Algorithmic Randomness Interacts with Analysis and Ergodic Theory , BIRS, BIRS talk, 16w5072, math, mathematics, video