![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
vakУчёные нашли девятое число Дедекинда. Это количество монотонных булевых функций с девятью входами. Вовсе не абстрактная штука: монотонные булевы функции имеют практическое применение в асинхронной логике.
"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
no subject
Date: 2023-06-30 22:54 (UTC)