Yes, sorry, I wasn’t very clear. you can’t translate all algorithms from the math a quantum computer applies to that which a classical computer applies. I didn’t mean to imply they used fundamentally different mathematical systems, but rather that just as you can’t always get there from here in programming one or the other, perhaps you can’t always get here from there in going from one mathematical system to another. It wasn’t the clearest analogy on my part. Anyway, my question is: just as the different mathematical systems of the two classes of computers derive from a common axiomatic system of mathematics, could axiomatic systems of mathematics reasonably be expected to share a deeper common logic?
I like that. And I think it shows how mathematicians think very differently (more abstractly) than scientists. I not sure that ever would have occurred to me anyway. So then my question would be are there rules that can be said to always apply to that processes? And what would we call that logic if not mathematics?
