Cool Logic

Levin Hornischer (ILLC)

Ideas in Algorithmic Randomness

October 6th at 18:00, in F1.15

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.