Bell's theorem shows that no local hidden variable theory can reproduce all predictions of quantum mechanics.في عام 1964، وجد جون بل طريقة للفصل في الجدل بين أينشتاين وبور: استنتج متباينة تلتزم بها أي نظرية ذات بارامترات مخفية ولا تؤثر فيها الجسيمات على بعضها آنياً. يعبّر عن هذا القيد بالمتباينة: S ≤ 2. لكن ميكانيكا الكم بحالاتها المتشابكة تخترق هذه المتباينة، متوقعة S تصل إلى 2√2 (حوالي 2.828). مثلاً، عند زوايا معينة لتدوير المحللات الاستقطابية، يكون الارتباط بين الفوتونات أقوى مما يسمح به الواقعية المحلية. أكدت تجارب عديدة، بدءاً من تجارب آلان أسبيه في الثمانينيات، النتيجة الكمومية.
صاغ جون ستيوارت بل المتباينة عام 1964، مستلهماً مفارقة أينشتاين–بودولسكي–روزن. في عام 1969، اقترح كلاوزر، هورن، شيموني وهولت صيغة أسهل للتجربة (CHSH). التجارب الحاسمة التي قام بها آلان أسبيه عام 1982 أغلقت ثغرة المحلية، مؤكدة التنبؤ الكمومي.
يستخدم الفحص التجريبي مصدر فوتونات متشابكة ومحللين بعيدين. بتغيير اتجاه المحللين، تقاس أربع دوال ارتباطية E(θ). في الحالة الكمومية، E(θ) = cos(2θ)، مما يعطي S_max = 2√2 عند الزوايا 0°، 22.5°، 45°، 67.5°. القيود: تنطبق المتباينة على المجموعات الإحصائية، لا على الأحداث الفردية؛ تستبعد فقط المتغيرات المخفية المحلية، دون النظر إلى النظريات غير المحلية.
على هذه الخاصية بُنيت التشفير الكمومي: أي تدخل في زوج الفوتونات المتشابكة يعطل فوراً الارتباط الدقيق، مما يجعل التنصت مستحيلاً.
اعتبرت مفارقة أينشتاين–بودولسكي–روزن (EPR) طويلاً حجة ضد كمال ميكانيكا الكم، لكن مبرهنة بل حولتها إلى أداة فحص تجريبي، مؤكدة 'التأثير الشبح عن بعد'.












