← Volver

La fantasía del 7: convergencia fabricada en un sistema dinámico discreto como refutación constructiva de la numerología

20 min de lectura
MatemáticasSistemas dinámicosNumerologíaFilosofíaPython

La numerología atribuye significado místico a ciertos números apoyándose en patrones aparentemente profundos. En lugar de refutar esas atribuciones caso por caso, este trabajo adopta la estrategia inversa: construir abiertamente un sistema matemático riguroso en el que todo número natural converge al 7 por diseño, y desarrollar su teoría completa con el mismo aparato que luciría un artículo convencional. Convergencia universal, fórmula cerrada exacta, banda óptima, valores extremos, distribución uniforme por octavas y verificación exhaustiva hasta 10⁷: un experimento de demarcación entre matemáticas y pseudociencia.

Resumen. La numerología atribuye significado místico a ciertos números apoyándose en patrones aparentemente profundos. En lugar de refutar esas atribuciones caso por caso, este trabajo adopta la estrategia inversa: construir abiertamente un sistema matemático riguroso en el que todo número natural converge al 7 por diseño, y desarrollar su teoría completa. Definimos la función por casos F₇: ℕ → ℕ (punto fijo en 7, división entera por encima de 7 e incremento unitario por debajo) y demostramos: (i) la convergencia universal de toda órbita al punto fijo 7; (ii) una fórmula cerrada exacta para el tiempo de convergencia, T(n) = ⌊log₂ n⌋ + 5 − ⌊n / 2^(⌊log₂ n⌋−2)⌋ para n > 7, de la que se deduce la banda óptima ⌊log₂ n⌋ − 2 ≤ T(n) ≤ ⌊log₂ n⌋ + 1; (iii) la caracterización completa de los valores extremos, incluidas las identidades T(2^k) = k+1 y T(2^j − 1) = j−3; y (iv) la distribución uniforme exacta de T en cada octava diádica, con media ⌊log₂ n⌋ − 1/2. La verificación computacional exhaustiva para 1 ≤ n ≤ 10⁷ confirma todos los resultados. La misma construcción funciona para cualquier objetivo k (familia F_k), lo que demuestra que la «especialidad» del 7 es fabricable: la corrección formal, la abundancia de evidencia computacional y la apariencia de profundidad pueden producirse a voluntad sin contenido epistémico. Discutimos las implicaciones para la demarcación entre matemáticas y pseudociencia y para la educación matemática.

Palabras clave: sistemas dinámicos discretos; convergencia; punto fijo; filosofía de las matemáticas; demarcación; pseudociencia; numerología; educación matemática. MSC 2020: 00A30, 37E99, 11A99, 97A80.

Descargas y código: Manuscrito en PDF · Fuente LaTeX · Repositorio con código y datos

1. Introducción

1.1 Motivación

La numerología, la atribución de propiedades místicas, predictivas o causales a los números, constituye una de las pseudociencias más persistentes. El número 7 ocupa un lugar destacado en esa tradición: se lo declara «perfecto», «sagrado» o «cósmico» en múltiples culturas, y su supuesta singularidad se apoya en recuentos selectivos (siete días de la semana, siete notas musicales, siete colores del arcoíris) que confunden convenciones culturales con propiedades matemáticas intrínsecas (Gardner, 1957, 1985).

El rasgo epistemológico que hace a la numerología difícil de desalojar es que sabe vestirse de matemática: sus promotores exhiben cálculos correctos, tablas abundantes y una sintaxis formal impecable. La refutación caso por caso resulta entonces insuficiente, porque cada instancia refutada puede sustituirse por otra construida con la misma técnica. Lo que hace falta es exponer la técnica misma.

1.2 Estrategia: la refutación por construcción

Este trabajo adopta la estrategia inversa a la habitual. En lugar de discutir las afirmaciones numerológicas una a una, construimos abiertamente un sistema matemático completo, riguroso y verificable en el que todo número natural converge inevitablemente al 7, y confesamos desde el primer momento que el resultado está incorporado en el diseño. Desarrollamos después la teoría del sistema con el mismo aparato que luciría un artículo de matemáticas «genuinas»: definiciones formales, lemas, teoremas con demostración, cotas óptimas, distribución de tiempos y verificación computacional exhaustiva.

El argumento anti-numerológico es entonces directo: si podemos fabricar en unas pocas páginas un sistema formalmente impecable cuyo teorema central es «todo converge al 7», y si la misma fabricación funciona para cualquier otro objetivo k con el mismo esfuerzo, entonces la convergencia matemática hacia un número no aporta, por sí sola, ningún significado místico. La construcción actúa como vacuna intelectual: una dosis controlada y transparente del mismo procedimiento que la pseudociencia emplea de forma opaca.

La idea tiene pedigrí filosófico. Que los objetos matemáticos son construcciones humanas y no entidades reveladas es la tesis del constructivismo de Brouwer (1907) y Bishop (1967); que el conocimiento matemático se desarrolla por conjeturas, pruebas y refutaciones dentro de una comunidad es la lección de Lakatos (1976); y que la necesidad matemática es a menudo convención disfrazada es la observación de Wittgenstein (1956). Nuestro sistema lleva esas tesis a un caso límite deliberado: un objeto formalmente intachable y epistemológicamente vacío, construido para serlo.

1.3 Contribuciones y organización

Las contribuciones son de tres tipos. Matemáticas: una teoría cuantitativa completa del sistema, que incluye la convergencia universal (Teorema 3.1), una fórmula cerrada exacta para el tiempo de convergencia (Teorema 3.4), más fina que la banda logarítmica habitual en este tipo de análisis, la caracterización de los valores extremos (Proposición 3.6) y la distribución uniforme exacta del tiempo en cada octava diádica (Teorema 3.8). Computacionales: verificación exhaustiva e independiente de todos los enunciados para 1 ≤ n ≤ 10⁷, con código y datos públicos. Filosóficas: un estudio de caso controlado sobre la diferencia entre corrección formal y significado matemático, con criterios heurísticos de demarcación y aplicaciones docentes.

La Sección 2 define el sistema y establece sus propiedades elementales. La Sección 3 contiene los resultados principales. La Sección 4 describe la verificación computacional. La Sección 5 contrasta el sistema con la conjetura de Collatz y el proceso de Kaprekar. La Sección 6 presenta la familia F_k y dos variantes (aleatoria y real). Las Secciones 7–9 discuten las implicaciones filosóficas, las limitaciones y las conclusiones.

1.4 Trabajo relacionado

La posición del presente experimento en la literatura se resume con facilidad: todos sus ingredientes son conocidos, pero no hemos encontrado la receta. El ingrediente dinámico central, el desplazamiento binario n ↦ ⌊n/2⌋, pertenece al folklore algorítmico de la expansión en base 2, y la literatura sobre variantes del problema 3x+1 estudia los casos difíciles (q ≥ 3) dejando precisamente fuera de escena el caso trivialmente convergente (Crandall, 1978; Franco y Pomerance, 1995); los modelos estocásticos con multiplicadores aleatorios (Lagarias y Weiss, 1992) y las extensiones continuas (Chamberland, 1996) tampoco contemplan el caso degenerado que aquí se analiza. La fabricación deliberada de «magia numérica» cuenta, en cambio, con precedentes ilustres: el lenguaje FRACTRAN de Conway, cuyo programa de catorce fracciones genera los números primos como potencias de 2 (Conway, 1987; Guy, 1983), y la fórmula autorreferente de Tupper, cuya gráfica se contiene a sí misma (Tupper, 2001), son artefactos diseñados con el resultado incorporado, y en ingeniería la asignación de polos diseña la dinámica a partir del comportamiento deseado (Wonham, 1967). Existe incluso una tradición satírica de rigor formal al servicio de la parodia, inaugurada por el célebre artículo de Pétard sobre la teoría matemática de la caza del león (Pétard, 1938).

En el frente filosófico, la crítica de la numerología cuenta con los clásicos de Gardner (1957, 1985) y con los estudios sistemáticos de Dudley (1992, 1997). El antecedente más próximo de «significancia fabricada» es estadístico: los códigos equidistantes de la Biblia, publicados con aparato formal en una revista seria y refutados al exhibir las decisiones de diseño que los producían (Witztum et al., 1994; McKay et al., 1999), la flexibilidad analítica que permite presentar cualquier cosa como significativa (Simmons et al., 2011) y la teoría general de las coincidencias (Diaconis y Mosteller, 1989). Los engaños de forma sin contenido, desde el experimento de Sokal (1996) hasta la literatura sobre el problema de la demarcación (Pigliucci y Boudry, 2013) y el mimetismo característico de la pseudociencia (Blancke et al., 2017), comparten el objetivo pero no el método del presente trabajo: aquí el contenido es formalmente correcto, y esa corrección total es lo que convierte al experimento en un caso límite para los criterios de demarcación. La noción de coincidencia matemática sin explicación unificadora (Lange, 2010) apunta al mismo vacío explicativo que nuestros criterios de la Sección 7.

2. Definición del sistema y propiedades elementales

En lo que sigue, ℕ = {1, 2, 3, …} y ⌊x⌋ denota la función piso. Para n > 0 escribimos L(n) ≔ ⌊log₂ n⌋.

Definición 2.1 (La función F₇). Definimos F₇: ℕ → ℕ por casos:

F₇(n) = n           si n = 7
        ⌊n/2⌋       si n > 7 y n es par
        ⌊(n−1)/2⌋   si n > 7 y n es impar
        n + 1       si n < 7

Observación 2.2 (Complejidad cosmética). La distinción de casos según la paridad es formalmente innecesaria: para n impar, ⌊(n−1)/2⌋ = (n−1)/2 = ⌊n/2⌋, de modo que las dos ramas centrales coinciden y F₇(n) = ⌊n/2⌋ para todo n > 7. Mantenemos la escritura por paridad porque es parte del objeto de estudio: reproduce la sintaxis de la función de Collatz (Sección 5) y ejemplifica cómo una partición del dominio puede añadir apariencia de sofisticación sin añadir contenido matemático. Ningún resultado de este trabajo depende de esa distinción.

Definición 2.3 (Órbita y tiempo de convergencia). Para n₀ ∈ ℕ, la órbita de n₀ bajo F₇ es la sucesión O(n₀) = {n_k} con n_{k+1} = F₇(n_k). El tiempo de convergencia es

T(n₀) ≔ min { k ∈ ℕ ∪ {0} : F₇^k(n₀) = 7 }

donde F₇^k denota la k-ésima iterada de F₇; T(n₀) queda definido solo si tal k existe (el Teorema 3.1 garantiza que siempre existe).

Ejemplo 2.4. O(20) = {20, 10, 5, 6, 7, 7, …} y T(20) = 4; O(100) = {100, 50, 25, 12, 6, 7, …} y T(100) = 5; O(3) = {3, 4, 5, 6, 7, …} y T(3) = 4.

Proposición 2.5 (Propiedades elementales). Se verifican:

  1. F₇ está bien definida: para cada n ∈ ℕ exactamente una condición de la definición se cumple, y la imagen pertenece a ℕ.
  2. Si n > 7, entonces 4 ≤ F₇(n) < n: la dinámica decrece estrictamente por encima de 7.
  3. Si n < 7, entonces F₇^k(n) = n+k para 0 ≤ k ≤ 7−n; en particular, F₇^(7−n)(n) = 7 y T(n) = 7−n.
  4. El único punto periódico de F₇ es el punto fijo 7 en el sentido estándar de la dinámica discreta (Devaney, 2003): no existen ciclos de longitud mayor que 1.
  5. F₇ no preserva la estructura algebraica ni el orden: es no inyectiva (F₇(14) = F₇(15) = 7), no es un homomorfismo (F₇(2·8) = 7 ≠ 2 = F₇(2)·F₇(8)) y no preserva el orden (6 < 8 pero F₇(6) = 7 > 4 = F₇(8)).

Demostración. (i) Los casos n < 7, n = 7 y n > 7 particionan ℕ; la paridad particiona el caso n > 7. Las operaciones involucradas cierran en ℕ.

(ii) Para n > 7: si n es par, F₇(n) = n/2 < n y n/2 ≥ 8/2 = 4; si n es impar, F₇(n) = (n−1)/2 < n y (n−1)/2 ≥ (9−1)/2 = 4.

(iii) Inducción inmediata sobre k usando F₇(n) = n+1 en el rango n < 7; la cadena alcanza exactamente el valor 7 tras 7−n incrementos.

(iv) Supongamos que existe un ciclo {a₁, …, a_m} con m > 1. Si algún a_i > 7, entonces a_{i+1} = F₇(a_i) < a_i por (ii), y la órbita no puede regresar a a_i sin violar el decrecimiento estricto: contradicción. Si todos los a_i < 7, la órbita es estrictamente creciente por (iii) y alcanza 7, que es punto fijo: tampoco hay ciclo de longitud > 1.

(v) Basta exhibir los contraejemplos indicados, todos verificables por evaluación directa de la definición. □

Observación 2.6. El inciso (v) no es un defecto sino el mecanismo: la compresión de información (F₇ colapsa pares de valores consecutivos sobre la misma imagen) es lo que fuerza la convergencia universal. El sistema no fue diseñado para preservar estructura, sino para destruirla de forma controlada; esta ausencia de propiedades algebraicas es una de las señales de artificialidad que la Sección 7 recoge como criterio de demarcación.

3. Convergencia universal y caracterización cuantitativa

3.1 Convergencia universal

Teorema 3.1 (Convergencia universal). Para todo n₀ ∈ ℕ existe k ∈ ℕ ∪ {0} tal que F₇^k(n₀) = 7. Equivalentemente, T(n₀) < ∞ para todo n₀.

Demostración. Si n₀ = 7, basta k = 0. Si n₀ < 7, la Proposición 2.5(iii) da k = 7−n₀. Sea entonces n₀ > 7 y consideremos la órbita {s_i} con s₀ = n₀. Mientras s_i > 7, la Proposición 2.5(ii) garantiza s_{i+1} < s_i y s_{i+1} ≥ 4. Toda sucesión estrictamente decreciente de enteros acotada inferiormente es finita: por el principio de buen orden, existe un primer índice j con s_j ≤ 7. Si s_j = 7, k = j; si s_j < 7, la fase ascendente añade 7−s_j iteraciones y k = j + (7−s_j). □

Observación 3.2. La demostración es constructiva: proporciona un algoritmo (iterar F₇) que calcula T(n₀) en O(log n₀) iteraciones. Nótese también que el argumento no usa ninguna propiedad del número 7 más allá de la estructura de las reglas: es la primera señal de que el resultado es portable a cualquier objetivo (Teorema 6.2). La Figura 1 ilustra la estructura bifásica de una órbita típica.

Dinámica bifásica de la órbita de n₀ = 1 234 567 Figura 1. Dinámica bifásica de la órbita de n₀ = 1 234 567 (escala logarítmica en el eje vertical): descenso geométrico durante L−2 = 18 pasos hasta m = ⌊n₀ / 2^(L−2)⌋ = 4 y ascenso lineal 4 → 5 → 6 → 7. El punto fijo se alcanza en T(n₀) = 21 pasos, el valor exacto dado por la fórmula (3.1).

3.2 Fórmula cerrada para el tiempo de convergencia

Lema 3.3 (Iteradas de la fase de descenso). Sea n > 7 y L = L(n). Para 0 ≤ j ≤ r ≔ L−2 se cumple

F₇^j(n) = ⌊n / 2^j⌋ ≥ 8   (j < r),      m ≔ F₇^r(n) = ⌊n / 2^r⌋ ∈ {4, 5, 6, 7}.

Demostración. Como n > 7, se tiene L ≥ 3 y r ≥ 1. Para j < r, ⌊n/2^j⌋ ≥ ⌊2^L / 2^j⌋ = 2^(L−j) ≥ 2^(L−r+1) = 8 > 7, de modo que en los primeros r pasos solo actúa la rama de división. La identidad ⌊⌊n/a⌋/b⌋ = ⌊n/(ab)⌋, válida para a, b enteros positivos, da entonces F₇^j(n) = ⌊n/2^j⌋ por inducción. En j = r: 4 = 2^(L−r) ≤ n/2^r < 2^(L+1−r) = 8, luego m = ⌊n/2^r⌋ ∈ {4, 5, 6, 7}. □

Teorema 3.4 (Fórmula cerrada). Para todo n > 7, con L = ⌊log₂ n⌋:

T(n) = L + 5 − ⌊n / 2^(L−2)⌋        (3.1)

Demostración. Por el Lema 3.3, tras r = L−2 iteraciones la órbita alcanza m = ⌊n / 2^(L−2)⌋ ∈ {4, 5, 6, 7} sin haber pasado antes por 7 (los valores previos son ≥ 8). Si m = 7, T(n) = r. Si m ∈ {4, 5, 6}, la Proposición 2.5(iii) añade exactamente 7−m pasos de ascenso. En ambos casos T(n) = r + (7−m) = (L−2) + 7 − ⌊n / 2^(L−2)⌋ = L + 5 − ⌊n / 2^(L−2)⌋. □

3.3 Banda óptima y valores extremos

Corolario 3.5 (Banda óptima). Para todo n > 7:

⌊log₂ n⌋ − 2 ≤ T(n) ≤ ⌊log₂ n⌋ + 1.        (3.2)

Ambas cotas se alcanzan con igualdad para infinitos valores de n. Más precisamente, con L = ⌊log₂ n⌋:

En particular, T(n) = Θ(log n).

Demostración. Como m = ⌊n / 2^(L−2)⌋ ∈ {4, 5, 6, 7}, de (3.1) se sigue T(n) = L+5−m ∈ {L−2, L−1, L, L+1}. La igualdad T(n) = L−2 equivale a m = 7, es decir, 7·2^(L−2) ≤ n < 8·2^(L−2) = 2^(L+1). La igualdad T(n) = L+1 equivale a m = 4, es decir, 4·2^(L−2) = 2^L ≤ n < 5·2^(L−2). Ambos intervalos son no vacíos para todo L ≥ 3. □

La Figura 2 ilustra la banda (3.2) frente al valor real de T(n) en un rango inicial.

Cotas de la banda y valor real de T(n) Figura 2. Cotas superior e inferior de la banda (3.2) (líneas escalonadas) y valor real de T(n) para 8 ≤ n ≤ 2^11 (puntos): el tiempo se mantiene siempre dentro de la banda, de amplitud constante.

Proposición 3.6 (Valores extremos).

  1. Potencias de dos (peor caso): para k ≥ 3, T(2^k) = k+1 = ⌊log₂ 2^k⌋ + 1, que saturan la cota superior de (3.2).
  2. Números de Mersenne (convergencia rápida): para j ≥ 4, T(2^j − 1) = j−3, que alcanzan la cota inferior de (3.2) con igualdad, pues L(2^j − 1) = j−1.
  3. Convergencia en un paso: T(n) = 1 si y solo si n ∈ {6, 14, 15}.
  4. Máximo en rangos iniciales: para N ≥ 8, max{T(n) : 8 ≤ n ≤ N} = ⌊log₂ N⌋ + 1, alcanzado en particular en n = 2^⌊log₂ N⌋.

Demostración. (a) Para n = 2^k: L = k y ⌊2^k / 2^(k−2)⌋ = 4, luego (3.1) da T = k+5−4 = k+1.

(b) Para n = 2^j − 1: L = j−1 y ⌊(2^j − 1) / 2^(j−3)⌋ = ⌊8 − 2^−(j−3)⌋ = 7, luego T = (j−1)+5−7 = j−3. La cota inferior de (3.2) es L−2 = j−3: igualdad.

(c) T(n) = 1 equivale a F₇(n) = 7 con n ≠ 7. Si n < 7: n+1 = 7 da n = 6. Si n > 7 par: ⌊n/2⌋ = 7 da n ∈ {14, 15}, y la paridad deja n = 14. Si n > 7 impar: ⌊(n−1)/2⌋ = 7 da n ∈ {15, 16}, y la paridad deja n = 15.

(d) Por el Corolario 3.5(b), todo n en [2^L, 5·2^(L−2)) con L = L(N) cumple T(n) = L+1; ese intervalo contiene a 2^L ≤ N, y ningún valor mayor es posible por (3.2). □

Observación 3.7. El inciso (b) merece énfasis: los números de Mersenne 2^j − 1, lejos de ser los «más lentos» (como una inspección superficial de su expansión binaria podría sugerir), realizan la cota inferior con igualdad. La fórmula cerrada (3.1) resuelve de inmediato cualquier conjetura de este tipo: en este sistema no quedan preguntas abiertas que resolver, lo cual es precisamente el punto filosófico del artículo.

La Figura 3 representa gráficamente ambas familias extremas.

Las dos familias extremas: potencias de dos y números de Mersenne Figura 3. Las dos familias extremas de la Proposición 3.6: las potencias de dos saturan la cota superior, T(2^k) = k+1 (círculos), y los números de Mersenne realizan la cota inferior con igualdad, T(2^j − 1) = j−3 (cuadrados).

3.4 Distribución del tiempo de convergencia

Teorema 3.8 (Distribución uniforme por octavas). Sea L ≥ 3 y sea n uniforme en la octava diádica Ω_L ≔ {2^L, 2^L + 1, …, 2^(L+1) − 1}. Entonces T(n) toma cada uno de los valores {L−2, L−1, L, L+1} con probabilidad exacta 1/4 (es decir, para exactamente 2^(L−2) valores de n cada uno). En consecuencia,

E[T | Ω_L] = L − 1/2,      Var[T | Ω_L] = 5/4.        (3.3)

Demostración. Por el Teorema 3.4, T(n) = L+5−m con m = ⌊n / 2^(L−2)⌋, y el valor de T queda determinado por m ∈ {4, 5, 6, 7}. Los cuatro subintervalos [m·2^(L−2), (m+1)·2^(L−2)), m = 4, 5, 6, 7, particionan Ω_L y tienen todos longitud 2^(L−2). La media es ¼((L−2)+(L−1)+L+(L+1)) = L − ½, y la varianza, ¼(9/4 + 1/4 + 1/4 + 9/4) = 5/4. □

La Figura 4 muestra esta estructura en la octava Ω₁₀.

El tiempo T en la octava Ω₁₀: cuatro bloques consecutivos Figura 4. El tiempo T en la octava Ω₁₀: cuatro bloques consecutivos de 2^(L−2) = 256 valores con tiempos 11, 10, 9, 8, determinados por m = ⌊n / 2^(L−2)⌋ ∈ {4, 5, 6, 7} (Teorema 3.8).

Corolario 3.9 (Media asintótica). Para n₀ uniforme en {8, 9, …, 2^M − 1},

E[T(n₀)] = M − 5/2 + O(M·2^−M) = log₂ N − 5/2 + o(1),      (N = 2^M − 1 → ∞).

Demostración. Condicionando por octavas y usando E[T | Ω_L] = L − ½, basta calcular E[L] = (∑ L·2^L) / (∑ 2^L) = ((M−2)·2^M − 8) / (2^M − 8) = M − 2 + O(M·2^−M), donde se usó ∑_{L=0}^{M−1} L·2^L = (M−2)·2^M + 2. □

n₀ L = ⌊log₂ n₀⌋ cota inferior T(n₀) cota superior régimen
6 1 ascenso puro
14 3 1 1 4 un paso (imagen directa)
15 3 1 1 4 un paso (imagen directa)
63 5 3 3 6 Mersenne 2⁶−1: cota inferior
64 6 4 7 7 potencia de 2: cota superior
100 6 4 5 7 típico
127 6 4 4 7 Mersenne 2⁷−1: cota inferior
128 7 5 8 8 potencia de 2: cota superior
1000 9 7 7 10 típico
1024 10 8 11 11 potencia de 2: cota superior

Tabla 1. Casos representativos: banda teórica frente a valor real de T. Para n₀ = 6 no se indican cotas porque la banda solo aplica a n > 7.

4. Verificación computacional

4.1 Metodología

Todos los enunciados anteriores son teoremas demostrados; la verificación computacional no pretende suplir las pruebas sino someterlas a contraste en dominios extensos y producir evidencia reproducible. La implementación de referencia, escrita en Python 3 sin dependencias externas, calcula órbitas por iteración directa de la definición y tiempos T(n) por programación dinámica (T(n) = 1 + T(F₇(n)) con memoización; cf. Cormen et al., 2009), lo que permite barridos exhaustivos en tiempo lineal. El código fuente, los datos generados y las instrucciones de ejecución son públicos (véase la declaración de disponibilidad al final).

4.2 Alcance de la verificación

Se comprobaron los siguientes puntos:

  1. Convergencia y banda: para todo 1 ≤ n ≤ 10⁷, la órbita alcanza 7 y, para n > 7, se cumple la banda (3.2). Sin una sola excepción.
  2. Fórmula cerrada: la identidad (3.1) se verificó para todo 8 ≤ n ≤ 10⁷.
  3. Distribución por octavas: para cada 3 ≤ L ≤ 23, el tiempo T reparte la octava Ω_L en cuatro bloques de exactamente 2^(L−2) valores, con los tiempos {L−2, L−1, L, L+1}, conforme al Teorema 3.8.
  4. Media global: sobre {8, …, 2²⁴ − 1} la media empírica es 21,5, en coincidencia exacta con el Corolario 3.9 (M − 5/2 con M = 24).
  5. Casos grandes: trayectorias y cotas para valores de hasta 11 dígitos (Tabla 2).
  6. Máximos: el máximo de T en {8, …, N} se alcanza en la mayor potencia de 2 no superior a N (Proposición 3.6(d)); por ejemplo, max{T(n) : n ≤ 10⁷} = 24, alcanzado en n = 2²³.
n₀ T(n₀) cota inferior cota superior L = ⌊log₂ n₀⌋
1 000 000 17 17 20 19
10 000 000 24 21 24 23
2 147 483 647 28 28 31 30
98 364 526 374 36 34 37 36

Tabla 2. Números grandes: tiempo real frente a banda teórica.

Nótese que 1 000 000 y 2 147 483 647 realizan la cota inferior con igualdad: pertenecen al régimen m = 7 del Teorema 3.4. La Figura 5 contrasta la media empírica por octava con la predicción exacta del Teorema 3.8.

Media empírica de T en cada octava frente a la predicción exacta Figura 5. Media empírica de T en cada octava Ω_L, 3 ≤ L ≤ 23 (puntos), frente a la predicción exacta L − ½ del Teorema 3.8 (línea discontinua): coincidencia perfecta.

4.3 Lectura crítica de la evidencia

La Tabla 2 y los diez millones de casos verificados constituyen evidencia abundante, consistente y exportable. Es importante declarar con claridad lo que esa evidencia no es: no es indicios acumulativos sobre una conjetura abierta, porque el resultado estaba demostrado de antemano y, sobre todo, estaba garantizado por construcción. Este es exactamente el tipo de evidencia que la numerología exhibe cuando genera miles de «confirmaciones» de sus patrones: datos correctos, masivos y vacíos de contenido epistémico. El volumen de verificación no distingue por sí mismo un descubrimiento de una fabricación; para esa distinción hacen falta los criterios de la Sección 7.

5. Comparación con sistemas dinámicos genuinos

El valor pedagógico del sistema F₇ se aprecia mejor por contraste con dos procesos iterativos clásicos superficialmente parecidos: la función de Collatz y el proceso de Kaprekar.

5.1 La conjetura de Collatz

La función de Collatz C(n) = n/2 si n es par y C(n) = 3n+1 si n es impar comparte con F₇ la sintaxis por paridad y el estudio de órbitas iteradas. La semejanza termina ahí. En Collatz la regla impar produce crecimiento transitorio no acotado de forma evidente, las trayectorias son irregulares (por ejemplo, 27 alcanza 9232 antes de descender) y, tras décadas de estudio, no se dispone de una demostración de convergencia general (Lagarias, 2010). Las variantes generalizadas confirman el contraste desde el otro lado: de la familia qx+r solo se publican resultados donde el problema es difícil o divergente (Crandall, 1978; Franco y Pomerance, 1995), mientras que el caso trivialmente convergente ni siquiera genera pregunta. En F₇ la convergencia está incorporada en la propia definición: cada rama está orientada al punto fijo y la teoría cuantitativa completa cabe en la fórmula (3.1). La comparación delimita dos nociones que la retórica numerológica confunde sistemáticamente: dificultad matemática (ausencia de una teoría que explique el comportamiento) y complejidad de fachada (notación por casos alrededor de un mecanismo elemental). La Figura 6 ilustra el contraste para n₀ = 27.

Contraste para n₀ = 27: órbita de Collatz frente a órbita de F₇ Figura 6. Contraste para n₀ = 27: la órbita de Collatz (gris) necesita 111 pasos y alcanza 9 232 antes de descender, mientras que la de F₇ (negro) llega a 7 en 3 pasos. Complejidad genuina frente a complejidad de fachada.

5.2 El proceso de Kaprekar

La rutina de Kaprekar, ordenar los dígitos de un número de cuatro cifras en orden ascendente y descendente, restar e iterar, converge a la constante 6174 para todo número no repdigit (Kaprekar, 1955). Es el antecedente más cercano a nuestro sistema: un punto fijo universal dentro de su dominio. Hay, sin embargo, dos diferencias estructurales. Primero, el dominio de Kaprekar es finito (9 000 estados), de modo que la convergencia es verificable por inspección exhaustiva y la «profundidad» del fenómeno es acotada por construcción del propio proceso; en F₇ el dominio es infinito y la convergencia exige (y admite) demostración. Segundo, y más relevante, 6174 fue descubierto como punto fijo de una dinámica dada de antemano, mientras que en F₇ el punto fijo se eligió antes de definir la dinámica. La dirección de la causalidad, propiedad emergente frente a propiedad impuesta, es la que separa una curiosidad matemática genuina de un artefacto, y ni siquiera la curiosidad genuina de Kaprekar implica que 6174 posea propiedades místicas.

Collatz Kaprekar F₇ (este trabajo)
Origen del punto fijo desconocido descubierto impuesto por diseño
Dominio ℕ (infinito) finito (9 000 estados) ℕ (infinito)
Estado de la convergencia conjetura abierta verificable por exhaustividad teorema (demostrado aquí)
Crecimiento transitorio sí, irregular acotado no
Fórmula para el tiempo no conocida tabulable forma cerrada (3.1)
Preguntas abiertas que genera sí pocas ninguna (por diseño)

Tabla 3. Comparación estructural de los tres sistemas iterativos.

6. Generalizaciones y variantes

6.1 La familia F_k: la arbitrariedad del objetivo

Definición 6.1. Para k ∈ ℕ fijo, definimos F_k: ℕ → ℕ reemplazando en la definición el valor 7 por k: punto fijo en k, división entera por encima de k e incremento unitario por debajo.

Teorema 6.2 (Arbitrariedad del punto de convergencia). Para todo k ∈ ℕ y todo n₀ ∈ ℕ, la órbita de n₀ bajo F_k alcanza k en un número finito de pasos. Además, para n₀ > k, el tiempo de convergencia admite la misma banda ⌊log₂ n₀⌋ − C_k ≤ T_k(n₀) ≤ ⌊log₂ n₀⌋ + C_k con una constante C_k que solo depende de k.

Demostración (esquema). La demostración del Teorema 3.1 se traslada literalmente: sobre k hay decrecimiento estricto acotado inferiormente y bajo k hay ascenso lineal hasta k. La banda se obtiene replicando el Lema 3.3 con r = ⌊log₂ n₀⌋ − ⌊log₂ k⌋, que deja la órbita en un entorno de tamaño fijo alrededor de k. □

Este es el golpe conceptual del artículo: F₁, F₁₃, F₄₂ o F₆₆₆ funcionan con idéntica mecánica e idéntico rigor. Si cualquier número puede convertirse en el «punto especial de convergencia universal» de un sistema formalmente impecable construido en minutos, la especialidad no reside en el número sino en la decisión del constructor. La numerología del 7 queda así refutada no por argumentación retórica sino por exhibición de la clase completa de construcciones equivalentes. La Figura 7 muestra las órbitas de n₀ = 1000 bajo tres miembros de la familia.

Órbitas de n₀ = 1000 bajo F₇, F₁₃ y F₄₂ Figura 7. Órbitas de n₀ = 1000 bajo F₇, F₁₃ y F₄₂ (Teorema 6.2). Las tres trayectorias coinciden en el descenso mientras n > 42 y cada una se detiene al alcanzar su propio objetivo k: la arbitrariedad del punto de convergencia hecha visible.

6.2 Variante aleatoria

Considérese la perturbación F₇’(n) que, para n > 7, elige con probabilidad 1/2 entre ⌊n/2⌋ y ⌊(n−1)/2⌋ (ambas opciones coinciden para n impar, de modo que el azar solo actúa sobre los pares).

Proposición 6.3. Toda realización de F₇’ converge a 7: la convergencia es determinista en el destino, y la aleatoriedad solo afecta a la longitud de la trayectoria. Además, el tiempo esperado de convergencia es Θ(log n).

Demostración (esquema). Para n > 7, ambas opciones satisfacen F₇’(n) ≤ n/2 < n y F₇’(n) ≥ 3; el argumento de decrecimiento del Teorema 3.1 se aplica a cada realización sin necesidad de probabilidad. Cada paso reduce el valor al menos al factor (n−1)/2, lo que da la cota Θ(log n) en esperanza. □

Los modelos estocásticos de tipo 3x+1, con multiplicadores aleatorios por paso (Lagarias y Weiss, 1992), ofrecen el contraste exacto: allí el azar decide el comportamiento cualitativo de la órbita. La lección es que añadir ruido a una fabricación no la convierte en fenómeno natural: un sistema «estocástico» puede seguir teniendo su conclusión escrita en las reglas. La Figura 8 ilustra ambas afirmaciones para n₀ = 1000.

Variante aleatoria F₇’: realizaciones y distribución de longitudes Figura 8. Variante aleatoria F₇’ (Proposición 6.3). (a) Seis realizaciones desde n₀ = 1000: el destino es siempre 7 y las trayectorias apenas difieren. (b) Distribución de la longitud de la trayectoria en 5 000 realizaciones: la aleatoriedad solo dispersa levemente el tiempo de convergencia.

6.3 Extensión a los reales: un análisis correcto

Es natural preguntarse qué ocurre al extender el sistema a ℝ⁺ mediante

G(x) = x      si x = 7
       x/2    si x > 7
       x + 1  si x < 7

Un análisis ingenuo afirmaría que todo x converge a 7. El resultado verdadero es más fino y más instructivo, y conviene enunciarlo con precisión, porque de él depende la honestidad del ejemplo. Las extensiones continuas del problema 3x+1 exigen herramientas de dinámica real considerables (Chamberland, 1996); la extensión anterior, una vez más por construcción, se resuelve con aritmética elemental.

Proposición 6.4 (Dinámica de G). Sea B ⊂ ℝ⁺ la órbita hacia atrás de 7 bajo G (el menor conjunto que contiene 7 y es cerrado por x ↦ 2x y x ↦ x−1 restringidas al dominio adecuado). Entonces:

  1. B es numerable, y G^j(x) = 7 para algún j si y solo si x ∈ B.
  2. Si x ∉ B, la órbita nunca alcanza 7 y su conjunto ω-límite es {4, 5, 6, 7}: la distancia de la órbita a ese conjunto decae geométricamente con razón 1/2 por ciclo de excursión.

Demostración (esquema). (a) Las preimágenes de 7 se generan por x ↦ 2x (válida para x > 7) y x ↦ x−1 (válida para x < 7); una unión numerable de conjuntos finitos es numerable.

(b) Si x > 7, las mitades sucesivas depositan la órbita en (3,5, 7]; el valor 7 corresponde al caso (a). Si la órbita está en (3,5, 7) sin caer en B, los incrementos unitarios la llevan a un valor en (7, 8), cuya mitad cae en (3,5, 4). Desde z ∈ (3,5, 4), la órbita describe z ↦ z+1 ↦ z+2 ↦ z+3 ↦ z+4 ↦ (z+4)/2, es decir, el mínimo de cada excursión evoluciona por g(z) = (z+4)/2, contracción de razón 1/2 con punto fijo 4. Los mínimos sucesivos z_j → 4⁻, y los puntos correspondientes de la excursión tienden a 5, 6 y 7 respectivamente. □

Ejemplo 6.5. Para x = φ = (1+√5)/2 la órbita es 2,618…, 3,618…, …, 6,618…, 7,618…, 3,809…, …, y jamás alcanza 7: φ no es un racional diádico, luego φ ∉ B. En cambio x = 7/2 produce mínimos de excursión 15/4, 31/8, 63/16, … = 4 − 2^−j, que confirman la contracción geométrica hacia el ciclo límite. Afirmar que «todo real converge a 7» sería falso: solo es cierto en el conjunto numerable B y como límite asintótico en el resto. La Figura 9 ilustra ambos hechos.

Extensión a ℝ⁺: órbita de x₀ = 7/2 y contracción geométrica Figura 9. Extensión a ℝ⁺ (Proposición 6.4). (a) Órbita de x₀ = 7/2: nunca alcanza 7 y se aproxima al ciclo límite {4, 5, 6, 7}. (b) La distancia de los mínimos de excursión z_j a 4 decae como 2^−(j+1), contracción geométrica de razón 1/2.

Incluso al cambiar de dominio, el sistema revela su naturaleza: el punto fijo exacto sigue reservado a un conjunto de medida nula diseñado a contracorriente desde el objetivo, y el comportamiento genérico es un ciclo límite, no un «atractor místico».

7. Discusión: rigor, significado y demarcación

7.1 Qué demuestra y qué no demuestra este experimento

El sistema F₇ satisface todas las marcas externas de un resultado matemático serio: definiciones precisas, teoremas con demostración completa, cotas óptimas, distribución exacta y verificación computacional exhaustiva. Y sin embargo fue construido con la conclusión incorporada. El experimento separa así tres niveles que el discurso numerológico mezcla deliberadamente:

La tesis central es que la corrección formal es condición necesaria pero no suficiente para el significado matemático. Esto no devalúa el rigor (sin él no hay matemáticas), sino que lo sitúa: el rigor es una herramienta neutral, capaz tanto de articular teorías fecundas como de encapsular artefactos vacíos con apariencia de profundidad. Reconocerlo no es relativismo: es lo que permite defender la integridad de las matemáticas frente a sus imitaciones, en la línea de las críticas clásicas de Gardner (1957, 1985).

7.2 Criterios heurísticos de significancia

¿Cómo distinguir, entonces, un resultado genuino de una fabricación rigurosa? Proponemos, como marco heurístico y no como formalismo (pues formalizarlo caería en la misma inflación pseudoformal que aquí se critica), cinco criterios que emergen directamente del contraste entre F₇ y las matemáticas reconocidamente valiosas:

  1. Conectividad: el resultado se relaciona con cuerpos teóricos independientes de él. El Último Teorema de Fermat conectó teoría de números y geometría algebraica; F₇ no conecta con nada que no sea ella misma.
  2. Generatividad: el resultado abre preguntas nuevas y no triviales. Collatz resiste ochenta años de ataques y ha generado matemáticas al resistirse (Lagarias, 2010); sobre F₇ no queda ninguna pregunta abierta tras la fórmula (3.1).
  3. Emergencia no forzada: la propiedad no estaba escrita en las reglas. La constante 6174 de Kaprekar emergió de una dinámica dada; el 7 de F₇ fue elegido antes que la dinámica.
  4. Falsabilidad efectiva: existe una observación concebible que refutaría la afirmación central (Popper, 1959). «Todo converge a 7 bajo F₇» no es falsable en la práctica porque la definición lo garantiza; las predicciones numerológicas se inmunizan análogamente mediante reinterpretaciones ad hoc.
  5. Parsimonia explicativa: la maquinaria empleada es mínima respecto de lo explicado. F₇ exhibe la relación inversa: una partición por paridad (Observación 2.2) que no explica nada que la versión simple no explique.

Bajo estos criterios, la belleza matemática genuina, la que Hardy asociaba a la seriedad y la economía de ideas (Hardy, 1940), se distingue de la ornamentación: aquella emerge de conexiones no buscadas, como en la identidad e^(iπ) + 1 = 0; esta se manufactura añadiendo casos, notación y ruido. La conocida «irrazonable efectividad» de las matemáticas en la ciencia (Wigner, 1960) apunta al mismo contraste desde el lado aplicado: las estructuras genuinas reaparecen en contextos no previstos; las fabricadas solo «funcionan» dentro del estrecho escenario para el que fueron escritas.

7.3 El mecanismo general de la pseudomatemática

El caso F₇ es una instancia controlada de un mecanismo general. Un sistema numerológico puede describirse informalmente como una terna (A, f, I): un alfabeto o dominio A, una regla de codificación f elegida sin restricción estructural, y una capa interpretativa I que asigna significados no falsables a las salidas numéricas. La arquitectura típica combina arbitrariedad en f, inmunidad a la refutación en I, circularidad narrativa y selección sesgada de casos favorables (McKay et al., 1999; Simmons et al., 2011). Dado cualquier conjunto finito de «predicciones», siempre existe una pareja (f, I) que las «confirma»: basta fijar f para que los casos observados caigan en clases prefijadas y ajustar I a la lectura deseada.

Un segundo artefacto ilustra la generalidad del procedimiento. Defínase sobre los nombres propios la suma alfabética seguida de reducción digital R(n) al rango {1, …, 9}. El «teorema» valor(s) ∈ {1, …, 9} para todo nombre s es correcto, computable y tautológico: la conclusión está codificada en la definición de R. A partir de ahí pueden fabricarse «correlaciones» (la clase 7 con el liderazgo, compatibilidades por distancia modular, etc.) con plena «reproducibilidad computacional» y nulo mecanismo causal. La estructura del engaño es idéntica a la de F₇; solo cambia el envoltorio.

Esta lectura dialoga con la tradición filosófica: con el constructivismo, que ya advertía que los objetos matemáticos son construcciones humanas (Brouwer, 1907; Bishop, 1967); con Lakatos, para quien la matemática genuina evoluciona por crítica y refutación mientras que la pseudomatemática solo acumula capas (Lakatos, 1976); con Wittgenstein, ante quien la «necesidad» exhibida por un juego de reglas puede ser mera convención (Wittgenstein, 1956); y con la visión de las matemáticas como actividad humana falible de Davis y Hersh (1981), que explica por qué pueden construirse matemáticas vacías tan fácilmente como profundas.

7.4 Implicaciones para la educación y la divulgación

La construcción tiene valor docente directo. Primero, como material de contraste en cursos de sistemas dinámicos o teoría de números elemental: permite enseñar puntos fijos, órbitas, cotas y distribución de tiempos con un sistema completamente resoluble, antes de enfrentar a los estudiantes con problemas genuinamente abiertos (la comparación de la Tabla 3 es en sí misma una lección). Segundo, como herramienta de alfabetización crítica: mostrar el sistema con su confesión de fabricación incluida enseña a detectar las señales de la pseudomatemática (complejidad cosmética, evidencia masiva sin falsabilidad, aislamiento teórico) mejor que cualquier advertencia abstracta. Es la estrategia que recorre la obra de Dudley (1992, 1997): enfrentar la pseudomatemática con casos concretos en lugar de principios generales. La educación matemática habitual enseña a producir matemáticas; rara vez enseña a detectar matemáticas fabricadas, y esa asimetría deja al público indefenso ante la numerología con sintaxis técnica.

8. Limitaciones

Tres limitaciones delimitan el alcance del trabajo. (i) Los resultados sobre F₇ son elementales por necesidad del argumento: su misma facilidad es la tesis, de modo que el artículo no aporta técnica matemática nueva al estudio de sistemas dinámicos. (ii) Los criterios de demarcación de la Sección 7 son heurísticos y no pretenden constituir una teoría formal de la significancia; formalizarlos caería en el mismo exceso que se critica. (iii) El trabajo demuestra que la fabricación es posible y fácil, pero no estudia empíricamente por qué esas fabricaciones persuaden: esa pregunta pertenece a la psicología cognitiva y a la sociología del conocimiento, y constituye una línea de trabajo futuro (por ejemplo, evaluar en aula si el contraste F₇/Collatz mejora la detección de pseudomatemática por parte del alumnado).

9. Conclusiones

Hemos construido un sistema dinámico discreto en el que todo número natural converge al 7, hemos desarrollado su teoría cuantitativa completa (convergencia universal, fórmula cerrada para el tiempo de convergencia, banda óptima, extremos y distribución uniforme por octavas) y lo hemos verificado exhaustivamente hasta 10⁷. La misma construcción sirve para cualquier objetivo k, lo que demuestra que la «especialidad» de un número puede fabricarse a voluntad con rigor formal completo. La conclusión epistemológica se sostiene sin retórica: la validez interna, el volumen de evidencia y el valor de conocimiento son propiedades independientes, y solo la tercera distingue las matemáticas genuinas de sus imitaciones. La fantasía del 7, presentada con su fabricación a la vista, queda así al servicio de la educación matemática y de la crítica de la pseudociencia.

Disponibilidad de código y datos

Todo el código fuente (implementación de referencia, verificador interactivo, exportación CSV y grafos de trayectorias), los datos de verificación y las instrucciones de reproducción son públicos en el repositorio: github.com/686f6c61/conjetura-falso-7. Ahí están también el manuscrito en PDF y su fuente LaTeX. La verificación exhaustiva de la Sección 4 se realizó con un programa independiente al código interactivo del repositorio.

Reproducibilidad

La verificación individual de cualquier n se reduce a unas pocas líneas; el repositorio incluye además un verificador interactivo, exportación de resultados en CSV, generación de grafos de trayectorias y el script con el que se han generado las figuras de este artículo.

def F7(n):
    if n == 7: return 7
    if n > 7:  return n // 2 if n % 2 == 0 else (n - 1) // 2
    return n + 1

def orbita(n0):
    o = [n0]
    while o[-1] != 7: o.append(F7(o[-1]))
    return o

Listado 1. Implementación completa de F₇ y del cálculo de órbitas (6 líneas efectivas).

Ejemplo de grafo de trayectoria generado por la herramienta interactiva Figura 10. Ejemplo de grafo de trayectoria para n₀ = 965 489, generado por la herramienta interactiva del repositorio (scripts/demostraciones.py).

Referencias