New entries in the years 1897, 1940, 1946, 1965, 1991, 2023.
(see also "Ninth Dedekind number discovered: long-known problem in mathematics solved" https://news.ycombinator.com/item?id=36491677)
New entries in the years 1897, 1940, 1946, 1965, 1991, 2023.
(see also "Ninth Dedekind number discovered: long-known problem in mathematics solved" https://news.ycombinator.com/item?id=36491677)