3 ms·
You can think of it as a really nice intermediate language. It might be hard to build a computer system that lets you reason about both probability and say qua
by adamnemecek 8y ago
You can think of it as a really nice intermediate language.
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?