una refutación constructiva de la numerología — todo verificable en tu navegador
Advertencia honesta de método
Este trabajo construye a propósito un sistema dinámico en el que todo número converge al 7. Primero se elige el objetivo (el 7) y después se orientan las reglas hacia él. La teoría que cuelga de ese sistema es formalmente correcta — abajo está cada teorema con su demostración y su verificación computacional — y sin embargo no dice nada profundo sobre el número 7. Esa es exactamente la tesis: la corrección formal y la evidencia masiva se pueden fabricar sin contenido epistémico.
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 clave (es la Proposición de propiedades elementales del manuscrito): para n > 7, ambas ramas valen exactamente ⌊n/2⌋ — si n es par, n/2; si es impar, (n−1)/2. Es decir, sobre 7 el sistema es «divide entre 2 y trunca», y bajo 7 «suma 1». Toda la teoría sale de aquí.
Cada tarjeta: enunciado, demostración completa y un verificador que se ejecuta en tu navegador. Nada que creer sin comprobar.
Para todo n ≥ 1, la órbita n, F₇(n), F₇(F₇(n)), … alcanza el 7.
Si n > 7, entonces F₇(n) = ⌊n/2⌋ < n: el valor decrece estrictamente. Mientras el valor siga siendo > 7 sigue decreciendo, así que en finito número de pasos el valor entra en {1, …, 7}. Si llega exactamente a 7, hemos terminado; si aterriza en m < 7, la rama n+1 lo sube uno a uno hasta 7 en 7−m pasos. ∎
Sea L = ⌊log₂ n⌋. Para todo n > 7, el tiempo de convergencia es T(n) = L + 5 − ⌊n / 2L−2⌋.
Como F₇(n) = ⌊n/2⌋ sobre 7, aplicar el sistema j veces lleva de n a ⌊n/2j⌋. Con j = L−2 el valor es m := ⌊n/2L−2⌋, y como n ∈ [2L, 2L+1) se tiene m ∈ [4, 8), es decir m ∈ {4,5,6,7} — a la vez, el paso anterior ⌊n/2L−3⌋ ∈ [8, 16) todavía baja. Son pues exactamente L−2 divisiones, y desde m la subida cuesta 7−m pasos: T(n) = (L−2) + (7−m) = L + 5 − m. ∎
La misma barra de convergencia comprueba la fórmula cerrada y la banda (verificadas juntas, número a número).
Para n > 7: ⌊log₂ n⌋ − 2 ≤ T(n) ≤ ⌊log₂ n⌋ + 1, y ambas cotas se alcanzan.
En la fórmula, m recorre {4,5,6,7}, luego T recorre {L+1, L, L−1, L−2} exactamente. ∎
T(2k) = k+1 (peor caso de cada octava) y T(2j−1) = j−3 (números de Mersenne, mínimo).
Para n = 2k: L = k y m = ⌊2k/2k−2⌋ = 4 → T = k+1. Para n = 2j−1: L = j−1 y m = ⌊(2j−1)/2j−3⌋ = 7 (es 8 menos una fracción) → T = j−3. ∎
En cada octava diádica ΩL = [2L, 2L+1), el tiempo toma cada uno de los valores {L−2, L−1, L, L+1} en exactamente 2L−2 números. Media L−½, varianza 5⁄4.
T solo depende de m = ⌊n/2L−2⌋, y cuando n recorre los 2L enteros de la octava, m recorre {4,5,6,7} con cada valor tomado exactamente 2L−2 veces (bloques consecutivos). Uniforme en cuatro valores equiespaciados: media 5,5 → T = L+5−m tiene media L−½ y varianza la de {4,5,6,7}, que es 5/4. ∎
Todos los enunciados anteriores, comprobados para 1 ≤ n ≤ 10⁷ sin excepción.
La barra del primer teorema lo replica en tu navegador (mitad derecha de cada pasada:
convergencia + banda + fórmula). El manuscrito además incluye verificaciones
independientes en Python en publicacion/Code/.
La misma construcción funciona con cualquier objetivo: elige k y el sistema Fk — «mitades hacia abajo desde arriba, +1 desde abajo» — hace que todo número converja a k con teoremas análogos. Que «todo converge al 7» no distingue al 7 de ningún otro entero: ahí está la refutación de la numerología.
¿En qué se diferencia esto de matemática de verdad, si los teoremas son ciertos y la verificación es masiva? En la dirección de la flecha: aquí el objetivo (el 7) se eligió antes que la dinámica y las reglas se fabricaron para satisfacerlo. Las buenas conjeturas van al revés: la dinámica viene de otra parte (naturaleza, aritmética natural) y el patrón es un riesgo que podría no cumplirse.
Las herramientas de este sitio — órbitas, fórmulas cerradas, distribuciones exactas, verificación exhaustiva — son las mismas que usaría matemática legítima. La diferencia no está en el instrumento: está en qué se afirmaba antes de mirar.
publicacion/main.tex.publicacion/Code/).Matemática de esta página verificada de forma independiente (barrido 1..10⁷, extremos k≤40, octavas L≤24) antes de publicarse.