Un factorion es un número natural que coincide con la suma de los factoriales de sus dígitos.
No es que haya muchos factoriones en base decimal, de hecho los cuatro que aparecen en la imagen anterior son los únicos que existen.
Más que el nombre de un tipo de número, esto de los factoriones podría parecer una especie alienígena que viene a conquistarnos o algo así. El nombre de «factorion» se debe al reconocido divulgador científico Clifford A. Pickover, que lo acuñó en el capítulo 22 de su libro Keys to Infinity, titulado «La soledad de los Factoriones» («The Loneliness of the Factorions«).
Traducción: «Uh-oh… ¡estamos en inferioridad numérica!»
Ya de por sí, el hecho de que unos números aparezcan diciendo que están «en inferioridad numérica» tiene su gracia, pero la viñeta encierra en sí una realidad matemática que voy a comentar a continuación.
En la época de Pitágoras, la gente se negaba a creer que los números irracionales existieran. Muchos siglos después, a finales del siglo XIX, el matemático alemán Georg Cantor descubrió que los números irracionales eran en realidad más numerosos que los racionales.
Georg Cantor (Imagen de Dominio Público)
Es decir, el infinito de los números irracionales era mayor que el de los racionales. Sin duda, en aquella época fue muy impactante la idea de que pudiera haber más de un tipo de infinito, hasta el punto de no ser aceptado por muchos matemáticos hasta bastante tiempo después.
