Magazine
Latest Issue

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?

By Ian Stewart   March 2007

The year: 1611. The person: Johannes Kepler, mathematician and astrologer. The problem: Kepler wanted to give his sponsor, John Matthew Wacker, a new year’s present, but was short of cash. The solution: he wrote a book and dedicated it to Wacker. The work was Strena Seu de Nive Sexangula (“On the Six-Cornered Snowflake”); it discussed the puzzling tendency of snowflakes to form beautiful tree-like shapes with approximate sixfold symmetry.

We now know that these shapes—and many others that snowflakes can take—are the result of crystal growth in the presence of varying temperature and humidity, up above in the storm clouds.…

Register today to continue reading

You’ve hit your limit of three articles in the last 30 days. To get seven more, simply enter your email address below.

You’ll also receive our free e-book Prospect’s Top Thinkers 2020 and our newsletter with the best new writing on politics, economics, literature and the arts.

Prospect may process your personal information for our legitimate business purposes, to provide you with newsletters, subscription offers and other relevant information.

Click here to learn more about these purposes and how we use your data. You will be able to opt-out of further contact on the next page and in all our communications.

We want to hear what you think about this article. Submit a letter to letters@prospect-magazine.co.uk

More From Prospect