4 ms·
Because there is no known algorithm for deciding equality. It becomes automatic if we assume an oracle. Since deciding equality is an open problem and the answe
by konjin 6y ago
Because there is no known algorithm for deciding equality. It becomes automatic if we assume an oracle. Since deciding equality is an open problem and the answer is probably 'no there isn't a decidable equality algorithm' it is as good an answer as we are going to get.
- adamnemecek 6y agoYou are assuming that we care about expressing the integral as a function. Given that with autodiff, we don't actually get the function expression, presumably with autodiff, we also wouldn't get it.
- konjin 6y agoIn automatic differentiation we depend on the fact that a closed form elementary solution exists even if we don't calculate it directly. For integration we need to prove that such a object exists for each expression we want to integrate before we try integrating. Which as far as I'm aware is a problem equivalent to that solved by the Risch algorithm.
- adamnemecek 6y agoOK but that's not how automatic differentiation would work?
- ajuc 6y ago> For integration we need to prove that such a object exists for each expression we want to integrate before we try integrating. Can't we just integrate away and check if it's correct by differentiating it back? EDIT: oh, I guess that's why we need to be able to check for function equality :)
- konjin 6y agoIt's been over a decade since I studied it, but from memory you could also end up in infinite loops when you start generating the closed form solution if it doesn't exist. Which with as much hand waving as possible is ultimately equivalent to the computer function form auto integration would produce.