En combinatoria, los números de Dedekind son una sucesión entera de rápido crecimiento cuyo nombre se dio póstumamente en honor a Richard Dedekind, quien las definió por primera vez en 1897.[1] El número de Dedekind M(n) corresponde, equivalentemente, a lo siguiente: Encontrar una expresión matemática de forma cerrada para M(n) se conoce como el Problema de Dedekind.Aunque existen aproximaciones asintóticas que estiman este número,[2][3][4] y una expresión exacta en forma de sumatoria,[5] el cómputo de M(n) sigue siendo ineficiente, y sus valores exactos sólo se conocen para valores n ≤ 9.La siguiente tabla muestra tales números, junto con el año y la publicación en que fueron calculados: Si n es un número par, entonces M(n) también debería serlo.[2] A. D. Korshunov encontró en 1981 una estimación aún mejor:[14] para n par, y para n impar, donde y La principal idea detrás de estas estimaciones, es que en la mayoría de las anticadenas, todos los conjuntos tienen tamaños muy cercanos a n/2.
