بعد ثلاثة عقود من البحث، ومع بعض العون من لدن كمبيوتر عملاق، اكتشف علماء الرياضيات أخيرا مثالا جديدا لعدد صحيح خاص يسمى رقم Dedekind (الرقم العقدي).

وهو يعد التاسع فقط من نوعه، أو D (9)، ويتم حسابه ليساوي 286 386 577 668 298 411 128 469 151 667 598 498 812 366، إذا كنت تقوم بتحديث سجلاتك الخاصة. وهذا الرقم المكون من 42 رقما يتبع الرقم D المكون من 23 رقما (8) الذي تم اكتشافه في عام 1991.

ويعتبر استيعاب مفهوم رقم Dedekind صعبا على غير الرياضيين، ناهيك عن حله. فالحسابات المعنية، في الواقع، معقدة للغاية وتتضمن مثل هذه الأعداد الضخمة، ولم يكن من المؤكد أن D (9) سيتم اكتشافه على الإطلاق.

ويقول عالم الكمبيوتر لينارت فان هيرتوم، من جامعة بادربورن في ألمانيا: "كان حساب D (9)، لمدة 32 عاما، يمثل تحديا مفتوحا، وكان من المشكوك فيه ما إذا كان من الممكن حساب هذا الرقم على الإطلاق".

وفي وسط رقم Dedekind توجد وظائف منطقية (Boolean functions)، وهو نوع من المنطق يختار مخرجات من المدخلات المكونة من حالتين فقط، مثل صح وخطأ، أو 0 و1.

وتعرّف الوظائف الرتيبة المنطقية بأنها تلك التي تقيد المنطق بطريقة تجعل تبديل 0 مقابل 1 في الإدخال يؤدي فقط إلى تغيير الإخراج من 0 إلى 1، وليس من 1 إلى 0.