Algorithmic Randomness Interacts with Analysis and Ergodic Theory

Videos from BIRS Workshop 16w5072

, Carnegie Mellon University
- 11:34
Computability and uniformity in ergodic theory
Watch video | Download video: 201612051045-Avigad.mp4 (182M)
, Technische Universitaet Darmstadt
- 12:25
Proof Theory of Cat(kappa) spaces
Watch video | Download video: 201612051139-Kohlenbach.mp4 (188M)
, Borelian Corporation
- 10:21
Unique ergodicity and measures invariant under permutations of N
Watch video | Download video: 201612060930-Freer.mp4 (319M)
, University of Wisconsin–Madison
- 11:38
Cototal enumeration degrees
Watch video | Download video: 201612061100-Miller.mp4 (164M)
, Hofstra University
- 12:29
Birkhoff's ergodic theorem for measure-preserving transformations: the harder part
Watch video | Download video: 201612061145-Franklin.mp4 (243M)
, Chinese Academy of Sciences
- 17:30
Optimal redundancy in computations from random oracles
Watch video | Download video: 201612061645-Barmpalias.mp4 (179M)
, UniBW Munich
- 10:22
Probabilistic computability and randomness in the Weihrauch lattice
Watch video | Download video: 201612070930-Brattka.mp4 (223M)
, JAIST
- 11:34
Computable analysis and reverse mathematics
Watch video | Download video: 201612071045-Yokoyama.mp4 (163M)
, Pennsylvania State University
- 10:15
Schnorr randomness for noncomputable measures
Watch video | Download video: 201612080930-Rute.mp4 (158M)
, Universidad de Buenos Aires
- 16:30
Normality in non-integer bases and polynomial time randomness
Watch video | Download video: 201612081600-Figueira.mp4 (116M)
, Universidad Nacional Andres Bello
- 17:09
Computability of Mandelbrot-like sets
Watch video | Download video: 201612081635-Rojas.mp4 (154M)
, Paris- Creteil
- 10:42
An overview of higher randomness
Watch video | Download video: 201612091005-Monin.mp4 (128M)
, Victoria University of Wellington
- 11:43
Computability and the Denjoy Hierarchy
Watch video | Download video: 201612091100-Westrick.mp4 (213M)