The Equivalence of Elementary Particle Theories and Computer Languages: Quantum Computers, Turing Machines, Standard Model, Superstring Theory, and a Proof that Godel's Theorem Implies Nature Must Be Quantum