デデキント数
0 ≤ n ≤ 9 に対する正確なデデキント数が知られている。
2, 3, 6, 20, 168, 7581, 7828354, 2414682040998, 56130437228687557907788, 286386577668298411128469151667598498812366 (オンライン整数列大辞典の数列 A000372)
これらのうち最初の6個は Church (1940) によって与えられた。M(6) は Ward (1946) によって計算された。M(7) は Church (1965) と Berman & Köhler (1976) により、M(8) は Wiedemann (1991) により計算された。M(9) は2023年に Christian Jäkel と Lennart Van Hirtum の二人により同時に計算された。
n が偶数ならば M(n) も偶数でなければならない。5番目のデデキント数 M(5) = 7581 の計算により、ガレット・バーコフ(英語版)の予想「(n = 1 を除き)M(n) は必ず (2n − 1)(2n − 2) で割り切れる」は反証された。