Lodewijk Arntzen

On the exclusion of the excluded middle law and quantum mechanics

We argue that limitations arise when using non-constructive mathematics (NCM) as a foundation for quantum mechanics, since the Boolean logical substrate of NCM fits a distributive propositional structure, but fits less naturally into the non-distributive lattice of quantum propos...