2000 character limit reached
Exclusion of Excluded Middle Law and Quantum Mechanics (2303.16076v1)
Published 28 Mar 2023 in quant-ph, math-ph, and 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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.