Why mathematicians want to destroy infinity – and may succeed