Access

News and Views

Nature 444, 1018-1019 (21 December 2006) | doi:10.1038/4441018a; Published online 21 December 2006

Mathematics: Proof at a roll of the dice

Bernard Chazelle1

Top

The PCP theorem encapsulates the idea that randomization allows the immediate verification of any mathematical proof. A simple route to this striking result was proposed earlier this year.

Many branches of mathematics have their signature numbers: geometry has the transcendental pi; analysis Euler's exponential e; and algebra the imaginary unit, the square-root of -1, i. These numbers are the stars of exotic — but seemingly quite separate — worlds scattered across the vast expanse of the mathematical cosmos.

MORE ARTICLES LIKE THIS

These links to content published by NPG are automatically generated.