Kathryn Cramer tells Boing Boing:
The Wolfram 2,3 Turing Prize winner was announced this morning: a
20-year old engineering student named Alex Smith who learned about the
contest from a chat room. Link.
The write-up in Nature is here.
Alex Smith, a undergraduate
electrical engineering student at the University of Birmingham in the
United Kingdom, has proven that a primitive type of computer known as
a 2,3 Turing machine can solve every computational problem there is.
And Stephen Wolfram's blog entry on it is here.
Smith's 40-something page proof is here, proving that the Turing
machine is "universal": PDF Link.
There's also a piece in New Scientist which has some nice bio
material on Alex Smith here.