Paradoxes of completeness, definability and computation explained through animation, from Gödel to Richard to Turing, a mix of Philosophy, Maths, Logic and Computer Science.