Propose a theoretical hyper-computation model, such as an analog Malament-Hogarth spacetime computer, that could theoretically solve the Halting Problem. Analyze the logical consistency of such a machine within standard set theory and its potential impact on the Church-Turing thesis.