Exclusion of Excluded Middle Law and Quantum Mechanics
Quantum Physics
2023-03-29 v1 Mathematical Physics
math.MP
Abstract
In this paper we discuss limitions appearing while using Boolean Logic in Non-Constructive Mathematics (NCM) as a mathematical foundation for Quantum Mechanics. These limitations naturally vanish using Constructive Mathematics (CM) and Topos Theory which is one of its models. The line of reasoning is in agreement with recent theoretical work on Quantum Logic, and focusses on the pivotal role of the excluded middle law, and this will be addressed in more detail in our discussion.
Keywords
Cite
@article{arxiv.2303.16076,
title = {Exclusion of Excluded Middle Law and Quantum Mechanics},
author = {Maziar Esfahanian and Lodewijk Arntzen},
journal= {arXiv preprint arXiv:2303.16076},
year = {2023}
}