intuitionistic math can help in quantum physics?

[José Manuel Rodríguez Caballero]

Dear  Vladik Kreinovich,
  Klaas Landsman has developed quantum foundations of quantum theory using
topos (last chapter of [1]) and topos are related to intuitionistic
mathematics [2].

Kind regards,
Jose M.

References:
[1] Landsman, Klaas. *Foundations of quantum theory: from classical
concepts to operator algebras*. Cham: Springer International Publishing,
2017.
URL = https://www.springer.com/gp/book/9783319517766

[2] Caramello, Olivia. Theories, sites, toposes: relating and studying
mathematical theories through topos-theoretic'bridges'. Oxford University
Press, 2018.


--

José Manuel Rodríguez Caballero

arvutiteaduse instituut / Institute of Computer Science
Tartu Ülikool / University of Tartu

Homepage: https://josephcmac.github.io/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20200411/3af5f9ba/attachment.html>