intuitionistic math can help in quantum physics?

José Manuel Rodríguez Caballero josephcmac at
Sat Apr 11 12:23:09 EDT 2020

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.

[1] Landsman, Klaas. *Foundations of quantum theory: from classical
concepts to operator algebras*. Cham: Springer International Publishing,

[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

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

More information about the FOM mailing list