Thanks for this information. The idea of an Oracle computer sounds exciting. Do you think the will ever create an Oracle machine that can overcome the halting problem on another Oracle machine of the same capacity?