FW: intuitionistic math can help in quantum physics?

[Thomas Klimpel]

The bound for D/r^{n+1} for |g'(z)| on to top of page 4 is too small,
because the nominator also contributes a phase factor of
exp(i(n+1)arg(z-z_0)) in addition to the scale factor r^{n+1}. So D in
the bound would have to be replaced by D + (n+1) F / 2pi (where F is
an upper bound on |f(x)|).

I am not sure whether the argument itself is convincing. In a certain
sense, it just highlights that the n-th derivative of f(a z) is a^n
times the n-th derivative of f(z). In practice, computing the n-th
derivative of an analytical function remains feasible. Some spectral
methods (for the solution of elliptical boundary value problems)
basically work by doing exactly this.

Thomas



On Sun, Apr 12, 2020 at 6:09 PM Kreinovich, Vladik <vladik at utep.edu> 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., http://www.cs.utep.edu/vladik/2020/tr20-06.pdf