Alex Smith (The Simplest Universal Computer Proof contest winner)
From Wikipedia, the free encyclopedia
 |
This article or section is currently being developed or reviewed. Some statements may be disputed, incorrect, unverified, biased or otherwise objectionable. Please read the discussion on the talk page before making substantial changes. |
Alexander Ian Smith (born April 15, 1987 in Birmingham), an undergraduate studying electronic and computer engineering at the University of Birmingham, UK,[1] is known for winning the Stephen Wolfram's research prize in October 2007 for a proof that a particular 2,3 Turing machine is the simplest Universal Turing machine possible.
Alex Smith grew up in Birmingham, attending King Edward VI Five Ways, and was an alternate for the UK International Mathematical Olympiad team. His parents are both teachers at University of Birmingham.
Although at first he thought that the machine proposed by Stephen Wolfram was not universal because its behavior seemed to him too simple for it to be a universal Turing machine with slightly more complicated behavior than a regular (non-universal) Turing machine, he eventually changed his mind and finally devised a formal proof of the proposition that Wolfram's candidate was indeed universal.[2]
[edit] References
[edit] See also
[edit] Further reading
- Student snags maths prize, Nature, Published online 24 October 2007.
- College Kid Proves That Wolfram's Turing Machine is the Simplest Universal Computer, Wired Science, Published online 24 October 2007.
- Prize Announcement and Alex Smith's original proof.
- Simplest 'universal computer' wins student $25,000, New Scientist, Published online 24 October 2007.
- The Wolfram Prize and Universal Computation: It's Your Problem Now, Dr. Dobbs Journal, Published online 22 October 2007.
- Wolfram, S. A New Kind of Science. Wolfram Media, 2002, page 709.[1]
- Wolfram 2,3 Turing Machine Research Prize.
- A New Kind of Science Author Pays Brainy Undergrad $25,000 for Identifying Simplest Computer by J.R. Minkel, Scientific American, October 25, 2007.
