For 50 years, mathematicians have believed that the total number of real numbers is unknowable. A new proof suggests otherwise. The quest to make mathematics rigorous has a long and spotty history — ...