How much math is knowable? [video]