به گزارش وب سایت Science Alert، پس از نزدیک به سه دهه تحقیق مستمر، ریاضیدانان با استفاده از یک ابر رایانه توانستند نمونه جدیدی از یک عدد صحیح خاص به نام عدد ددکیند را کشف کنند. این عدد را مثال نهم اعداد ددکیند یا D(9) می نامند و برابر است با:
286,386,577,668,298,411,128,469,151,667,598,498,812,366.
این عدد غول پیکر دیرتر از عدد 23 رقمی قبلی ددکیند یا D(8) است که در سال 1991 کشف شد. درک مفهوم عدد ددکیند برای غیر ریاضیدانان دشوار است. در واقع، محاسبات مربوط به این عدد به قدری پیچیده و شامل ارقام بزرگتر است که معلوم نبود محققین هرگز بتوانند D(9) را کشف کنند. بعلاوه لنارت ون هیرتومیک دانشمند کامپیوتر از دانشگاه پادربورن آلمان، به مدت 32 سال، محاسبه عدد D(9) را یک مشکل بزرگ در نظر می گرفت و حتی فکر می کردیم که محاسبه این عدد غیرممکن باشد.
توابع بولی محور اصلی عدد ددکیند را تشکیل می دهند. این توابع منطقی معمولا خروجی را از ورودی های دو حالته مانند درست یا نادرست یا صفر و یک انتخاب می کنند.
توابع بولی یکنواخت توابعی هستند که عملگر منطقی را به یک جهت خاص محدود می کنند. به گونه ای که تعویض صفر با یک در ورودی خروجی را از صفر به یک تغییر می دهد و برعکس نمی شود. محققان این مشکل را با استفاده از رنگ های سفید و قرمز به جای صفر و یک توصیف کردند. اما مشکل همان است.