FW: intuitionistic math can help in quantum physics?

Thomas Klimpel jacques.gentzen at gmail.com
Tue Apr 14 08:49:20 EDT 2020

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.


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

More information about the FOM mailing list