Access
To read this story in full you will need to login or make a payment (see right).
News and Views
Nature 444, 1018-1019 (21 December 2006) | doi:10.1038/4441018a; Published online 21 December 2006
Open Innovation Challenges
-
Novel Approaches to Protecting Maize from Insect Damage
The Seeker is looking for novel approaches to protecting maize from insect damage. This Challenge re...
-
Methods of Modeling Adaptation in Populations
The analysis of adaptation with a population is a frequently encountered computational modeling scen...
nature jobs
Cardiovascular Electrophysiologist / Pharmacologist - GlaxoSmithKline
- GlaxoSmithKline
- Ware, Harlow - United Kingdom
Research Group Leader
- University of Vienna
- Vienna, Austria
Mathematics: Proof at a roll of the dice
Bernard Chazelle1
Abstract
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
; 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.
- Bernard Chazelle is in the Department of Computer Science, Princeton University, 35 Olden Street, Princeton, New Jersey 08540-5233, USA.
Email: chazelle@cs.princeton.edu
To read this story in full you will need to login or make a payment (see right).
MORE ARTICLES LIKE THIS
These links to content published by NPG are automatically generated.

