Gleason's theorem establishes that quantum probabilities arise from the inner product structure of Hilbert space and are given by the Born rule.البعد الثالث هو الرقم الحرج للاحتمال الكمومي. في عام 1957، أثبت الرياضي أندرو جليسون أنه في فضاء هيلبرت (Hilbert Space - المنزل الرياضي للحالات الكمومية) ذي الأبعاد الثلاثة فما فوق، أي مقياس احتمالي غير متناقض يتحول تلقائياً إلى أثر (Trace) لجداء مصفوفة الكثافة (Density Matrix) مع المُسقِط (Projector). هذه هي قاعدة بورن. قبل ذلك، اشتبه الفيزيائيون في إمكانية وجود طرق أخرى لإسناد أعداد إلى النتائج - أغلَق جليسون الثغرة.
ظهرت المشكلة في ثلاثينيات القرن العشرين أثناء محاولات بَدْهَنةِ (Axiomatize) ميكانيكا الكم. كان المؤسس جون فون نيومان، لكن برهانه احتوى على فجوة. في عام 1957، قدّم أندرو جليسون في بحثه 'مقاييس على الفضاءات الجزئية المغلقة لفضاء هيلبرت' برهاناً لا تشوبه شائبة، أصبح كلاسيكياً. لاحقاً، وُجدت تعميمات لفضاءات هيلبرت الحقيقية والكواتيرنيونية (Quaternionic).
تُستخدم في أسس ميكانيكا الكم ونظرية المعلومات الكمومية لإثبات وحدانية التنبؤات الاحتمالية. في البُعد الثاني (كيوبت واحد) توجد أمثلة مضادة - كما لو أن اقتراعاً بمرشحَين يسمح بالتلاعب. التطبيق العملي - في التشفير الكمومي: بدون ضمان عدم غموض قاعدة بورن، لما كان لبروتوكولات توزيع المفاتيح أي معنى.
تؤسس لوحدانية التنبؤات الاحتمالية في النظرية الكمومية. لولا هذه النظرية لما استطاع المهندسون تصميمَ الحواسيب الكمومية بثقة - إذ كان عمل أي شريحة ليعود إلى الرياضيات ذاتها.
جليسون نفسه لم يكن فيزيائياً - لقد حل مشكلةً رياضيةً بحتةً طرحها زملاؤه. أصبحت النظرية حجر الزاوية في المنطق الكمومي.
| P(A|B) | متغير | Conditional probability of A given B — conditional probability |
| P(B|A) | متغير | Conditional probability of B given A — conditional probability |
| P(A) | متغير | Marginal probability of A — احتمال |
| P(B) | متغير | Marginal probability of B — احتمال |
















