A 20-year-old self-taught programmer has won a $25,000 prize by proving that even the simplest of computers can do tough mathematics.
In May, mathematician and businessman Stephen Wolfram of Champaign, Illinois, announced a challenge involving a mechanical calculator known as a Turing machine. Some kinds of TM are “universal computers” – given enough time and memory, they can solve almost any problem in mathematics. Wolfram wanted to know whether the simplest possible TM was also universal.
Now Alex Smith, an undergrad at the University of Birmingham, UK, has shown that it is. Since TMs are loose models for computing devices…
