Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

International Journal of Theoretical Physics

Non Locality Proofs in Quantum Mechanics Analyzed by Ordinary Mathematical Logic

Giuseppe Nisticò

Published Sep 28, 2013• 8 citations
Publisher
DOI
10.1007/s10773-013-1822-x

Related papers

On the quantum logic approach to quantum mechanics

Stanley Gudder

Communications in Mathematical Physics•Mar 1, 1969•16 citations

A logical analysis of Stapp's non-locality theorem

Giusepp Nisticò

According to an argument proposed by Stapp, Quantum Mechanics violates the Locality Principle if the two hypotheses of {\sl Free Choices} and {\sl No backward-in-time influence} are assumed to hold, without the need of introducing hidden variables or criteria of reality. We develop an approach that endows the new hypotheses with a logico-mathematical formulation which allow us to perform an analysis of Stapp's argument, based on ordinary, not counterfactual, logic. According to our results, the analyzed argument is not able to conclude that Quantum Mechanics violates the Locality Principle.

arXiv:1111.5121•Nov 22, 2011•0 citations

Non-locality in Quantum Mechanics Covering Theoretical Insights and Recent Evidence

AAS Shuvo, Jubayer Ahmed, Israt Jahan Mahi

•Jan 1, 2025•0 citations

Anti CHSH - Refutation Of The CHSH Inequality

Ilija Barukčić

Abstract: The principle of causality occupies an important place in the history of the philosophical interpretation of quantum mechanics from the beginning. In last consequence, today’s Copenhagen dominated acausal interpretation of quantum mechanics casts doubt upon traditional views in the philosophy of nature and demands the revision of the principle of causality at a fundamental level of theoretical description in physics. Testing the mathematical and logical consistency of the quantum mechanical description of nature i. e. especially such as non-locality has become a subject of an ongoing dispute and research. Today, quantum-mechanical concepts i. e. such as non-locality refer to some mathematical foundations, especially to Bell's inequality and the CHSH inequality. Experimental data, analyzed by the help of Bell’s inequality or the CHSH inequality favor a quantum mechanical description of nature, over local hidden variable theories (often referred to as local realism). In general, the use of mathematically inconsistent methods can imply a waste of money, time and effort on this account. Under some certain conditions (the assumption of independence) Bell's theorem and the CHSH inequality are already refuted. The purpose of this publication is explore the terra incognita, the interior logic that may lie beyond Bell's original theorem and the CHSH-inequality and to refute both, Bell's original theorem and the CHSH-inequality under any circumstances by the proof that we can derive a logical contradiction out of Bell's inequalities. Thus far, accept Bell's theorem or the CHSH-inequality as correct,

•Nov 1, 2014•0 citations

The logic of quantum mechanics

E. Buffenoir

arXiv:2510.12502•Discrete Applied Mathematics•Jan 1, 1984•23 citations

Logical Quantum Computing: A Proof of Validity through Non-Symmetric Properties

Jincheng Zhang

This paper explores the potential of logical quantum computing to provide a novel framework for proving mathematical theorems. Leveraging the inherent non-symmetry of quantum computation, we aim to develop a method for rigorously validating mathematical constructs and potentially uncovering new quantum algorithms. The core mechanism involves simulating and analyzing mathematical theorems using quantum systems, identifying subtle patterns and inconsistencies that reveal vulnerabilities. This research will focus on establishing a rigorous, albeit preliminary, proof of the validity of a specific theorem, demonstrating the potential for a paradigm shift in mathematical verification. The paper concludes with a discussion of the challenges and future directions of this approach.

•Sep 7, 2026•0 citations
According to an argument proposed by Stapp, Quantum Mechanics violates the Locality Principle if the two hypotheses of {\sl Free Choices} and {\sl No backward-in-time influence} are assumed to hold, without the need of introducing hidden variables or criteria of reality. We develop an approach that endows the new hypotheses with a logico-mathematical formulation which allow us to perform an analysis of Stapp's argument, based on ordinary, not counterfactual, logic. According to our results, the analyzed argument is not able to conclude that Quantum Mechanics violates the Locality Principle.
Abstract: The principle of causality occupies an important place in the history of the philosophical interpretation of quantum mechanics from the beginning. In last consequence, today’s Copenhagen dominated acausal interpretation of quantum mechanics casts doubt upon traditional views in the philosophy of nature and demands the revision of the principle of causality at a fundamental level of theoretical description in physics. Testing the mathematical and logical consistency of the quantum mechanical description of nature i. e. especially such as non-locality has become a subject of an ongoing dispute and research. Today, quantum-mechanical concepts i. e. such as non-locality refer to some mathematical foundations, especially to Bell's inequality and the CHSH inequality. Experimental data, analyzed by the help of Bell’s inequality or the CHSH inequality favor a quantum mechanical description of nature, over local hidden variable theories (often referred to as local realism). In general, the use of mathematically inconsistent methods can imply a waste of money, time and effort on this account. Under some certain conditions (the assumption of independence) Bell's theorem and the CHSH inequality are already refuted. The purpose of this publication is explore the terra incognita, the interior logic that may lie beyond Bell's original theorem and the CHSH-inequality and to refute both, Bell's original theorem and the CHSH-inequality under any circumstances by the proof that we can derive a logical contradiction out of Bell's inequalities. Thus far, accept Bell's theorem or the CHSH-inequality as correct,
This paper explores the potential of logical quantum computing to provide a novel framework for proving mathematical theorems. Leveraging the inherent non-symmetry of quantum computation, we aim to develop a method for rigorously validating mathematical constructs and potentially uncovering new quantum algorithms. The core mechanism involves simulating and analyzing mathematical theorems using quantum systems, identifying subtle patterns and inconsistencies that reveal vulnerabilities. This research will focus on establishing a rigorous, albeit preliminary, proof of the validity of a specific theorem, demonstrating the potential for a paradigm shift in mathematical verification. The paper concludes with a discussion of the challenges and future directions of this approach.