How to (really) trust a mathematical proof | Science News

ADVERTISEMENT

MISSION CRITICAL

Support credible science journalism.

Subscribe to Science News today.


Math Trek

How to (really) trust a mathematical proof

How to (really) trust a mathematical proof

Mathematicians develop computer proof-checking systems in order to realize century-old dreams of fully precise, accurate mathematics.

By
3:32pm, November 14, 2008
This article is available only to subscribing members. Join the Society today or Log in.

Get Science News headlines by e-mail.

More from Science News

From the Nature Index Paid Content