Число Дедекинда показывает, сколько монотонных функций, которые могут принимать значения только 1 и 0, можно задать в зависимости от числа переменных. Для нуля переменных это две функции, для одной — три, для двух переменных — уже шесть. Этот ряд растет очень быстро, и максимальное известное число Дедекинда было известно для восьми переменных. Его нашли еще в 1991 году, и в нем целых 23 знака. Спустя 32 года две группы математиков независимо рассчитали число функций для девяти переменных. В нем оказалось уже 42 знака https://nplus1.ru/news/2023/06/27/dedekind-nine