Mathematics in the Age of the Turing Machine http://arxiv.org/abs/1302.2898