Prize Announced for Determining the Boundaries of Turing Machine Computation
May 14, 2007--Wolfram Research and Stephen Wolfram today announced the establishment of a US $25,000 prize for the
first person or group to prove (or disprove) that a particular very simple Turing machine can act as a universal
The prize is being announced on the fifth anniversary of the publication of Stephen Wolfram's influential book A New Kind of
Science, and is intended to help stimulate one of the lines of research opened up by the book.
Today's computers have CPUs with millions of components. But it is known in theory that much simpler systems are also
capable of "universal computation," which means that with appropriate programming, they can perform arbitrary
computational tasks. The aim of the Wolfram 2,3 Turing Machine Research Prize
announced today is to determine the edge
of where universal computation is possible.
Invented by British mathematician Alan Turing in 1936, Turing machines were the first abstract models of today's
computers. Alan Turing's primary achievement was to construct--on paper--a single "universal Turing machine" that could
be made to emulate any other Turing machine, or in effect to perform any computation.
Alan Turing's insight--which in effect showed that software is possible--is what eventually launched the computer
revolution, and led to much of the dramatic growth of technology in the late twentieth century.
In the 1950s and 1960s some research was done into finding the simplest universal Turing machine. By the early 1960s,
American artificial intelligence pioneer Marvin Minsky had shown that a particular machine with 28 possible operations
(7 states and 4 colors) could be universal. But with little connection being seen to other problems, this result
remained largely a curiosity.
The situation changed, however, with Stephen Wolfram's work, beginning in the early 1980s, on the general science of
simple programs and their connection to natural systems.
Wolfram's work, which culminated in the publication of A New Kind of Science, showed how programs and systems
with extremely simple rules can be capable of highly complex behavior--and of sophisticated computation.
Armed with new computer experimentation methodology made possible by his widely used Mathematica software system, Wolfram was able to begin the broad exploration
of what he calls the "computational universe."
Wolfram's work has led to new insights about many long-standing problems in the physical, biological, mathematical, and
social sciences, and showed how the study of simple programs can be connected to many important foundational issues.
"For three hundred years, the exact sciences have been dominated by the idea of using mathematical equations to
describe the world," says Wolfram. "Now, with programs, we have something new, and much more general. And the first
step is to explore the basic science of what the simplest possible programs can do."
Wolfram likens the study of the universe of possible programs to many classic explorations in science--including the
exploration of possible chemicals and of possible biological species.
For his 2002 book, Wolfram found many striking examples of programs with extremely simple rules that give rise to
highly complex behavior, and he proposed his general Principle of
Computational Equivalence to characterize this phenomenon.
One consequence of this principle is that it suggests that universal computation should be common even among systems
with very simple rules.
This has several important implications, both conceptual and practical. At a conceptual level it implies a certain
fundamental "irreducibility" to many processes in nature, and explains why these processes have been difficult to
understand except by simulation. It also has implications for the foundations of mathematics, notably suggesting that
mathematics has artificially limited itself to study only areas that avoid the effects of Gödel's Theorem and
Wolfram's concept that universal computation should be ubiquitous--even among systems with simple rules--also has
practical implications, notably suggesting that it should be possible to make computational devices out of many new
classes of physical systems, especially at the molecular scale.
"Finding the very simplest universal computers is an important way to nail down the Principle of Computational
Equivalence," says Wolfram. "And Turing machines are the classic examples of computational systems."
In A New Kind of Science, Wolfram showed that a particular Turing machine with just 2 states and 5 colors is
universal, substantially improving on Minsky's previous result. Wolfram systematically studied millions of simple
Turing machines, and on the basis of his investigations, identified a candidate for the very simplest possible
universal Turing machine--with just 2 states and 3 colors.
It is this Turing machine that is the subject of the prize announced today.
"We want to find the absolute boundary of computation universality in Turing machines," says Wolfram. "This is an
example of important basic research on the computational universe."
The prize is open to all entrants, both amateur and professional. It has no closing date.
The prize is being adjudicated by a distinguished committee consisting of Lenore Blum, Greg Chaitin, Martin Davis, Ron
Graham, Yuri Matiyasevich, Marvin Minsky, Dana Scott, and Stephen Wolfram.
For additional details, see the prize
The prize is part of Wolfram Research's ongoing commitment to the support of scientific research and education. In
addition to its acclaimed Mathematica software system, Wolfram Research is
also responsible for MathWorld, the world's #1 mathematics
information website, as well as the new Wolfram Demonstrations
Project. Wolfram Research also sponsors the prestigious annual NKS Summer School, as well as the Wolfram Science Conference.
For more information see:
http://www.wolframprize.org -- the prize announced today
http://www.wolframscience.com -- the Wolfram Science (NKS) initiative
http://www.wolfram.com -- the Wolfram Research main site
http://www.stephenwolfram.com -- the Stephen Wolfram site