The loss of logical foundations might actually be liberating. What is the greatest mathematical achievement of all time? Judged in terms of the consequences for science and engineering, one might ...