Dear Michael,
Congratulations with your interesting essay and good luck in the competition!
You raise a very important problem whether quantum theory can be substantiated in view of the Goedel theorem. The theorem is based on the fact that a set of natural numbers is infinite. As a consequence, standard quantum theory is based on standard mathematics with infinitely small, infinitely large etc. In my papers (see e.g. http://arxiv.org/abs/1011.1076 and references therein) I consider an approach when quantum theory is based not on complex numbers but on a Galois field. Since any Galois field is finite, no problem with the Goedel
incompleteness arises. Standard theory is formally a special case of a theory based on a Galois field in the the formal limit p->infty where p is the characteristic of the Galois field. You also raise a question whether gravity should be quantized. In my approach http://arxiv.org/abs/1104.4647 gravity is
not an interaction at all but simply a kinematical manifestation of de Sitter symmetry over a Galois field.
Felix