Society for Science & the Public, which publishes Science News, uses cookies to personalize your experience and improve our services. For more information on how we use cookies on our websites, visit our Cookie Policy.
Math Trek Math

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 Julie Rehmeyer

This article is only available to Science News subscribers.

Subscribers, enter your e-mail address to access our archives.

Not a subscriber?

Science News is a nonprofit.

Support us by subscribing now.

More Stories from Science News on Math

  1. Rembrandt self-portrait
    Science & Society

    Why Rembrandt and da Vinci may have painted themselves with skewed eyes

    By Sofie Bates
  2. Julia Robinson illustration
    Math

    How Julia Robinson helped define the limits of mathematical knowledge

    By Evelyn Lamb
  3. graphs
    Math

    A new book shows how not to fall for dubious statistics

    By Maria Temming
  4. Riemann zeta function
    Math

    Mathematicians report possible progress on proving the Riemann hypothesis

    By Emily Conover
  5. metal kilogram
    Physics

    The kilogram just got a revamp. A unit of time might be next

    By Emily Conover
  6. Calabi-Yau manifolds
    Math

    A mathematician traces his journey from poverty to prominence

    By Diana Steele
  7. multiplication
    Math

    Mathematicians may have found the fastest way to multiply huge numbers

    By Emily Conover
  8. two pigeons, each sitting in a cubbyhole
    Quantum Physics

    Photons reveal a weird effect called the quantum pigeonhole paradox

    By Emily Conover

From the Nature Index

Paid Content