6 October 2017, Cool Logic, Levin Hornischer

In this talk, we'll have a look at the exciting mathematical investigation of the notion of randomness. This concept is central to understanding information and probability---just to name some applications. Non-surprisingly, it has a rich and interesting history (it also was an active field of research at ILLC).

We'll sketch the development of formal definitions aiming to capture the notion of randomness. Then we'll cherry-pick some astonishing ideas and insights that this formal approach gave rise to---including the relation of randomness and computability.

The talk will be self-contained.

Snacks and drinks will be provided in the ILLC common room after the talk!