a new kind of science alma mater birmingham cellular automaton child prodigy complexity theory computer algebra system connection machine cosmology digital object identifier england eton college institute for advanced study intellectual property london mathematica mathematician particle physics philosophy physicist quantum chromodynamics quark richard feynman rudy rucker symbolic manipulation program turbulence united kingdom universal turing machine university of illinois at urbana-champaign university of oxford vaughan pratt wolfram research