Математики зробили нове відкриття, на яке витратили 32 роки

Після 32 років завзятих пошуків, математики нарешті відкрили дев'ятий числовий приклад спеціального цілого числа, відомого як Дедекінда.

Число, що позначається як D(9), було розраховане рівним 286 386 577 668 298 411 128 469 151 667 598 498 812 366 це цілих 42 цифри. Воно слідує за 23-значним D(8), виявленим у 1991 році.

Розуміння чисел Дедекінда складно для нефахівців, не кажучи вже про те, щоб обчислити їх.

Розрахунки, пов'язані з цими числами, настільки складні і включають такі величезні числа, що було незрозуміло, чи буде виявлено коли-небудь D(9).

У центрі нього знаходяться булеві функції, або вид логіки, який вибирає вихід із входів, що складаються всього з двох станів, таких як істина та брехня, або 0 і 1. Монотонні булеві функції обмежують логіку таким чином, що заміна 0 на 1 у вході викликає зміна виходу лише з 0 на 1, а чи не з 1 на 0.

Для обчислення D(9) використовувався спеціальний вид суперкомп'ютера: один, який використовує спеціалізовані блоки, які називаються програмованими вентильними масивами (FPGA), які можуть одночасно виконувати безліч розрахунків. Це призвело до суперкомп'ютера Noctua 2 в Університеті Падерборна.