Sunday, July 20, 2025

[ycastlnl] cardinality of integrability

derivatives are easy; integrals are hard: "most" functions can be differentiated in closed form, but "most" functions do not have closed form integrals.  how can this statement be made mathematically precise?  (what is "most"?)  how small is the set of functions with closed form indefinite integral?

possibly relevant is the Risch algorithm, though we do not care how the antiderivative is obtained.

No comments:

Post a Comment