  The fascinating mathematics of algorithmic randomness are largely unknown to philosophers. For this reason, I will give a fairly detailed exposition in this entry. Various points of more technical interest have been relegated to this supplementary document: