intuitionistic math can help in quantum physics?

Joe Shipman joeshipman at
Sun Apr 12 13:02:10 EDT 2020

This paper appears to suggest a new and interesting type of quantum speedup—certain analytic functions which are feasibly computable may have Taylor series coefficients which are not feasibly computable but which may be feasibly measurable. 

How is this different from the situation in ordinary calculus, where analytic functions can have their integrals evaluated over an interval by evaluating their derivatives at the endpoints? I’m not aware of any results delineating for which analytic functions this use of the Fundamental Theorem of Calculus does not improve on numerical integration, but that sounds like an interesting question.

— JS

Sent from my iPhone

> On Apr 12, 2020, at 12:09 PM, Kreinovich, Vladik <vladik at> wrote:
> P.S. I think we need to go beyond pure intuitionism to get meaningful results, e.g., by limiting ourselves to feasible algorithms, see, e.g.,

More information about the FOM mailing list