It might be hard to build a computer system that lets you reason about both probability and say quantum mechanics.
However it might be easier to build a system that phrases a probabilistic problem in terms of duality and then solves it.
Like why should each of this have it's own foundation when there's one that captures a lot of them?
It might be hard to build a computer system that lets you reason about both probability and say quantum mechanics.
However it might be easier to build a system that phrases a probabilistic problem in terms of duality and then solves it.
Like why should each of this have it's own foundation when there's one that captures a lot of them?