Computer scientists can prove certain programs to be error-free with the same certainty that mathematicians prove theorems.

# Articles tagged proofs

### The Physical Origin of Universal Computing

The physical nature of computers might reveal deep truths about their uniquely powerful abstract abilities.

### The Rise of Computer-Aided Explanation

Computers can translate French and prove mathematical theorems. But can they make deep conceptual insights into the way the world works?

### Will Computers Redefine the Roots of Math?

When a legendary mathematician found a mistake in his own work, he embarked on a computer-aided quest to eliminate human error. To succeed, he has to rewrite the century-old rules underlying all of mathematics.

### In Computers We Trust?

As the role of computers in pure mathematics grows, researchers debate their reliability.