vak: (Знайка)
Serge Vakulenko ([personal profile] vak) wrote2023-06-30 02:35 pm

286386577668298411128469151667598498812366

Учёные нашли девятое число Дедекинда. Это количество монотонных булевых функций с девятью входами. Вовсе не абстрактная штука: монотонные булевы функции имеют практическое применение в асинхронной логике.

"Ninth Dedekind number discovered: Scientists from Paderborn and Leuven solve long-known problem in mathematics"

Вычисление чисел Дедекинда задача непростая. Пришлось задействовать FPGA. Подробности в статье: arxiv.org/pdf/2304.03039.pdf