2023-06-30
Учёные нашли девятое число Дедекинда. Это количество монотонных булевых функций с девятью входами. Вовсе не абстрактная штука: монотонные булевы функции имеют практическое применение в асинхронной логике.
"Ninth Dedekind number discovered: Scientists from Paderborn and Leuven solve long-known problem in mathematics"
Вычисление чисел Дедекинда задача непростая. Пришлось задействовать FPGA. Подробности в статье: arxiv.org/pdf/2304.03039.pdf
"Ninth Dedekind number discovered: Scientists from Paderborn and Leuven solve long-known problem in mathematics"
Вычисление чисел Дедекинда задача непростая. Пришлось задействовать FPGA. Подробности в статье: arxiv.org/pdf/2304.03039.pdf