What impact would a device (ie super-computer or relativistic computer or other method) that solves the halting problem have on math?
Would there be any mathematical problems left to solve?
What would be the greatest mathematical challenges left?
Could we compute if our axiom system is is consistent?
Could we find "the one true and final" complete set theory?