Let me expand my point. Assume you run your hyper civilisation for 1 googol years, you ask it, “Do the angles in a three straight sided shape add up to 180?”
This can be answered yes or no, depending upon what axiom scheme you adopt, cartesian, hyperbolic or something more obscure. Having a system that has thought of all mathematical truths doesn’t get you a Powerful system, unless it knows which apply to solving the problems you ask.
Let me expand my point. Assume you run your hyper civilisation for 1 googol years, you ask it, “Do the angles in a three straight sided shape add up to 180?”
This can be answered yes or no, depending upon what axiom scheme you adopt, cartesian, hyperbolic or something more obscure. Having a system that has thought of all mathematical truths doesn’t get you a Powerful system, unless it knows which apply to solving the problems you ask.