“mathematics at the limits of computation”