What's up in

# Proofs

## Latest Articles

### Computer Scientists Combine Two ‘Beautiful’ Proof Methods

Three researchers have figured out how to craft a proof that spreads out information while keeping it perfectly secret.

### With Fifth Busy Beaver, Researchers Approach Computation’s Limits

After decades of uncertainty, a motley team of programmers has proved precisely how complicated simple computer programs can get.

### How Is Science Even Possible?

How are scientists able to crack fundamental questions about nature and life? How does math make the complex cosmos understandable? In this episode, the physicist Nigel Goldenfeld and co-host Steven Strogatz explore the deep foundations of the scientific process.

### What Makes for ‘Good’ Mathematics?

Terence Tao, who has been called the “Mozart of Mathematics,” wrote an essay in 2007 about the common ingredients in “good” mathematical research. In this episode, the Fields Medalist joins Steven Strogatz to revisit the topic.

### ‘A-Team’ of Math Proves a Critical Link Between Addition and Sets

A team of four prominent mathematicians, including two Fields medalists, proved a conjecture described as a “holy grail of additive combinatorics.”

### The Deep Link Equating Math Proofs and Computer Programs

Mathematical logic and the code of computer programs are, in an exact way, mirror images of each other.

### Alan Turing and the Power of Negative Thinking

Mathematical proofs based on a technique called diagonalization can be relentlessly contrarian, but they help reveal the limits of algorithms.

### Why Mathematical Proof Is a Social Compact

Number theorist Andrew Granville on what mathematics really is — and why objectivity is never quite within reach.

### Complexity Theory’s 50-Year Journey to the Limits of Knowledge

How hard is it to prove that problems are hard to solve? Meta-complexity theorists have been asking questions like this for decades. A string of recent results has started to deliver answers.