intuitionistic math can help in quantum physics?
Rene Vestergaard
renevestergaard at icloud.com
Sat Apr 11 14:46:10 EDT 2020
I was too quick when I wrote NB1 originally. It should have read as
below, with "intuitionistic" where I wrote "minimal" and "De Morgan"
where I wrote "intuitionistic".
My apologies,
Rene
On 11/04/2020 19.35, Rene Vestergaard wrote:
> NB1 The above seems to point to intuitionistic logic as the proper setting for
> reductionist science. However, De Morgan logic can be obtained by
> admitting the law of weak excluded middle (and, specifically, weak
> stability), which can be seen to amount logically to the open-system
> assumption. From that perspective, the use of classical logic admits a
> closed-system perspective.
More information about the FOM
mailing list