Magazine
Latest Issue

Author Archives: Ian Stewart

The future of proof

The use of computers means that modern mathematical proofs can run to millions of pages. Such proofs can never be fully verified by humans alone. Does this mean, as some argue, the death of proof?
Ian Stewart