Logic

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.

Two mathematicians have shown that origami can, in principle, be used to perform any possible computation.

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

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

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

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.

The numbers count a variety of seemingly unrelated mathematical structures.

Mathematicians predicted that if they imposed enough restrictions on how a shape might tile space, they could force a periodic pattern to emerge. But they were wrong.

Mathematicians using the computer program Lean have verified the accuracy of a difficult theorem at the cutting edge of research mathematics.