The quest to make mathematics rigorous has a long and spotty history — one mathematicians can learn from as they push to ...
Number theorist Andrew Granville on what mathematics really is — and why objectivity is never quite within reach. In 2012, the mathematician Shinichi Mochizuki claimed he had solved the abc conjecture ...