[FOM] FW: Constructive mathematics in Nature

Kreinovich, Vladik vladik at utep.edu
Sat Dec 12 08:34:19 EST 2015

>From Bas Spitters <b.a.w.spitters at gmail.com>
Subject: Constructive mathematics in Nature

Or in the words of Nature:

!!! Paradox at the heart of mathematics makes physics problem unanswerable !!!


Scott Aaronson has a nice discussion and questions the physical relevance.

It seems to be a specialization to a physically relevant class of
operators of the well-known fact, due to Bishop, that all kind of
properties of the spectrum/eigenvalues of an operator need not be
computable. In fact, this was known to the numerical analysists

In any case, here's the full paper.

Here's some related work on the nlab. The page still needs some work.

It is reminiscent of the discussion about unbounded operators in physics. E.g.
Douglas Bridges, Constructive mathematics and unbounded operators

More information about the FOM mailing list