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