Alex Smith, a 20-year-old British engineering student, has proved that a Turing machine proposed by complexity guru Stephen Wolfram is in fact the simplest possible computer capable of solving every ...