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.
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
More information about the FOM
mailing list