These results demonstrated that there are fundamental limits to what proof and computation are capable of ... In even this most straightforward kind of math, unknowability lurks. Mathematicians wanted ...