Hello Hal Ruhl
About your list of questions you are missing some important keywords, it seems to me. You miss Russell Standish's "occam", George Levy's "plenitude", Jacques Mallah's "implementation", Higgo's "buddha", my own "phi/psy reversal", etc. The introductory dialog by Wei Dai and Hal Finney makes the problem clear (a dissatisfaction with Schmidhuber quick dissolution of "philosophical" problems in his TOE), Ontological consistency in Tegmark sort of TOE, etc. Just some remarks. Bruno
