🔢 mathematics

A Foundation for the Core Mathematician

Este artículo propone una nueva fundación axiomática y un modelo definitivo para las matemáticas fundamentales basadas en los números reales, con el objetivo de resolver la indeterminación de la teoría de conjuntos tradicional asignando un valor de verdad único a cada afirmación matemática fundamental.

Autores originales: David Mumford, Sy-David Friedman

Publicado 2026-05-06

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: David Mumford, Sy-David Friedman

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina las matemáticas como un rascacielos masivo y altísimo. Durante décadas, la mayoría de los matemáticos han coincidido en que la base de este edificio es un conjunto específico de reglas llamado ZFC (teoría de conjuntos de Zermelo-Fraenkel con el Axioma de Elección). Creen que esta base es lo suficientemente sólida para soportar cada piso, desde el sótano de los números simples hasta el ático de las teorías complejas.

Sin embargo, los autores de este artículo, David Mumford y Sy-David Friedman, argumentan que, aunque ZFC funciona para el "ático", en realidad es un poco inestable y está lleno de peculiaridades extrañas e inexplicables para el "piso de la calle": la parte de las matemáticas que trata con números reales, tiempo, espacio y el mundo físico. Proponen una nueva base, más robusta, diseñada específicamente para el "matemático central" que trabaja con el mundo real.

Aquí tienes el desglose de su argumento utilizando analogías simples:

1. El Problema: La base del "Truco de Magia"

La base actual (ZFC) depende en gran medida de una regla llamada Axioma de Elección. Piensa en este axioma como una habilidad mágica para elegir un elemento de un número infinito de cajas, incluso si no puedes ver dentro de ellas ni describir cómo los elegiste.

El Problema: Aunque este truco de magia ayuda a los matemáticos a probar cosas sobre estructuras abstractas e infinitas, crea "fantasmas". Permite la existencia de conjuntos tan extraños y caóticos que no tienen conexión con la realidad (como la paradoja de Banach-Tarski, donde puedes cortar una bola en piezas y volver a ensamblarla en dos bolas del mismo tamaño).
El Resultado: Debido a estos "fantasmas", los matemáticos no pueden estar 100% seguros de que cada pregunta que hacen tenga una única respuesta definitiva de "Verdadero" o "Falso". La base se siente menos como un piso sólido y más como un paisaje neblinoso donde diferentes reglas se aplican en diferentes lugares.

2. La Propuesta: Una base basada en la realidad

Los autores sugieren que dejemos de intentar construir una base para todo (incluidos los fantasmas) y, en su lugar, construyamos una base específicamente para el Núcleo de las Matemáticas: los Números Reales ( $\mathbb{R}$ ), los Enteros y las estructuras construidas a partir de ellos.

Proponen tres pilares principales para esta nueva base:

Pilar A: El Mundo Real es Real. Tratan el conjunto de números reales (como los números en una regla) como un hecho "dado", al igual que aceptamos que podemos contar manzanas. No intentan construir los números reales desde cero; simplemente dicen: "Aquí están, existen".
Pilar B: Desecha la Magia, Mantén la Aleatoriedad. Rechazan el "Axioma de Elección" porque crea esos fantasmas extraños. En su lugar, adoptan el Axioma de Freiling.
- La Analogía: Imagina a dos personas lanzando dardos a un tablero en el espacio. Si los lanzan exactamente al mismo tiempo desde planetas diferentes (de modo que ninguna señal pueda viajar entre ellos lo suficientemente rápido para hacer trampa) y eligen sus puntos completamente al azar, no hay forma de que el punto de un lanzador sea "predecible" basado en el del otro.
- Esta intuición lleva a una regla que dice: "Si eliges dos números al azar, no deberían estar atrapados en algún patrón extraño y predeterminado". Esta regla elimina naturalmente el "Axioma de Elección" y los conjuntos extraños que crea.
Pilar C: Detén la Escalera Infinita. En las matemáticas estándar, puedes seguir construyendo infinitos cada vez más grandes para siempre. Los autores dicen: "Basta". Proponen construir un modelo donde solo subimos tan alto como sea necesario para manejar los números reales y sus subconjuntos, pero nos detenemos antes de llegar a los infinitos "ajenos al mundo" que no tienen significado físico.

3. Los Dos Modelos: El "Estándar" y el "Minimalista"

El artículo describe dos formas de visualizar esta nueva base:

Modelo 1: El Modelo del "Mundo Real". Esta es una versión de las matemáticas donde los números reales son exactamente lo que pensamos que son. En este mundo, cada conjunto de números reales se comporta bien (todos son "medibles", lo que significa que puedes calcular su tamaño/área sin paradojas). Es un mundo limpio y lógico donde cada problema matemático tiene una respuesta definitiva.
Modelo 2: El Modelo "Minimalista". Este es un truco inteligente que utiliza un concepto de la física y la lógica. Imagina un universo diminuto y numerable que cree que es enorme. Dentro de este universo diminuto, los "números reales" parecen un océano infinito e incontable. Pero desde fuera, sabemos que en realidad es solo una lista pequeña y finita.
- ¿Por qué hacer esto? Este modelo es "completo". En las matemáticas estándar (ZFC), Gödel demostró que siempre hay preguntas que no se pueden responder. En este modelo minimalista, como el universo está tan estrictamente controlado, cada pregunta individual tiene una respuesta definitiva. Es como un rompecabezas donde cada pieza encaja perfectamente y no hay piezas faltantes.

4. Por Qué Esto Importa

Los autores no están tratando de cambiar cómo los físicos o ingenieros hacen su trabajo. Están ofreciendo un "sistema operativo" más limpio para el matemático que estudia la naturaleza de los números y las formas.

La Vieja Forma: Utiliza un motor poderoso pero desordenado (ZFC) que a veces produce "fantasmas" y deja algunas preguntas sin respuesta.
La Nueva Forma: Utiliza un motor especializado construido sobre aleatoriedad y realidad. Elimina los fantasmas, asegura que cada conjunto de números tenga un tamaño claro y garantiza que cada pregunta matemática tenga una respuesta Verdadera o Falsa.

Resumen

Piensa en la base actual de las matemáticas como una biblioteca masiva y caótica donde algunos libros están escritos con tinta invisible y algunos estantes flotan en el aire. Mumford y Friedman dicen: "Construyamos una nueva biblioteca específicamente para los libros que realmente leemos (los números reales). Tiraremos la tinta invisible (el Axioma de Elección) y los estantes flotantes (los infinitos extraños). En nuestra nueva biblioteca, cada libro es visible, cada estante es sólido y cada historia tiene un final claro".

Demuestran que es posible construir esta nueva biblioteca, siempre que aceptemos algunas suposiciones razonables sobre la naturaleza del infinito, y ofrece un hogar mucho más satisfactorio para el "núcleo" de las matemáticas.

Resumen Técnico: Una Fundación para el Matemático Central

Enunciado del Problema
Los autores, David Mumford y Sy-David Friedman, argumentan que la teoría de conjuntos estándar de Zermelo-Fraenkel con Elección (ZFC) es una fundación inadecuada para el "núcleo" de la investigación matemática. Aunque ZFC es ampliamente aceptada, los autores sostienen que falla en proporcionar una base "firme y fija" porque admite una proliferación de modelos (la visión del "multiverso") y depende del Axioma de Elección (AC) de maneras que generan conjuntos no constructivos y "ajenos al mundo" (por ejemplo, mediante la paradoja de Banach-Tarski o conjuntos no medibles). Además, la creencia platonista en un universo único de conjuntos se ve socavada por la independencia de la Hipótesis del Continuo y la existencia de axiomas de cardinales grandes.

El artículo postula que el "núcleo central" de la experiencia matemática concierne a los números naturales ( $\mathbb{N}$ ), los números reales ( $\mathbb{R}$ ) y las estructuras derivadas de ellos. Los autores buscan una fundación que:

Trate a $\mathbb{R}$ como un objeto dado y "del mundo real" (una visión platonista específica para $\mathbb{R}$ , no para conjuntos arbitrarios).
Asegure que todas las conjeturas en este núcleo tengan un valor de verdad definido (un modelo único).
Evite las patologías introducidas por la Elección no numerable, manteniendo al mismo tiempo suficiente fuerza para el análisis estándar.

Metodología y Marco Axiomático
El artículo propone un sistema axiomático específico $T$ y dos modelos distintos para realizarlo.

1. Los Axiomas ( $T$ ):
El sistema propuesto $T$ se define como $(ZF^-) + \mathbb{R} + A^{\text{null}}_N + DC$ .

$ZF^-$ : Teoría de conjuntos de Zermelo-Fraenkel sin el axioma del Conjunto Potencia y sin Elección no numerable. Incluye Extensionalidad, Fundamentación, Emparejamiento, Unión, Infinito, Comprensión, Recolección y Sustitución.
Dado $\mathbb{R}$ : El conjunto de números reales se toma como una entidad primitiva y dada, modelando el continuo físico.
Axioma de Freiling ( $A^{\text{null}}_N$ ): Esta es la innovación central. Basado en un experimento mental de "lanzamiento de dardos" que involucra variables aleatorias independientes y la teoría de la relatividad (para descartar la fuga de información), afirma que para cualquier función $f: [0,1]^{\mathbb{N}} \to \mathcal{N}$ $f : [0, 1]^{N} \to N$ (mapeando secuencias a conjuntos nulos), existe una secuencia de reales aleatorios independientes $\{x_i\}$ ${x_{i}}$ tal que $x_i \notin f(\sigma(i))$ $x_{i} \in / f (σ (i))$ para todo $i$ $i$ .
- Consecuencia: Este axioma contradice el Axioma de Elección no numerable. Implica que $\mathbb{R}$ no puede ser bien ordenado y que la Hipótesis del Continuo es falsa.
Elección Dependiente (DC): El sistema retiene el Axioma de Elección Dependiente (introducido por Bernays), que es suficiente para la mayor parte del análisis estándar (por ejemplo, el Teorema de Categoría de Baire, existencia de límites) pero más débil que el AC completo.

2. El Modelo Propuesto ( $M$ ):
Los autores construyen un modelo $M = L_{\alpha^*}(\mathbb{R})$ , donde los conjuntos se construyen a partir de $\mathbb{N}$ y $\mathbb{R}$ mediante inducción transfinita hasta un ordinal específico $\alpha^*$ .

Construcción: Comenzando con $L_0(\mathbb{R}) = \mathbb{R}$ , el modelo itera conjuntos definibles.
El Límite $\alpha^*$ : La inducción se detiene en el primer "ordinal completamente $\mathbb{R}$ -admisibles" ( $\alpha_{ZF^-}$ ), definido como el punto donde no se generan nuevos subconjuntos de $\mathbb{R}$ ( $L_{\alpha^*}(\mathbb{R}) \cap \mathcal{P}(\mathbb{R}) = L_{\alpha^*+1}(\mathbb{R}) \cap \mathcal{P}(\mathbb{R})$ ).
Propiedades: En este modelo, cada enunciado tiene una "verdad fundamental". El modelo satisface $ZF^-$ , DC y el axioma de Freiling. Se demuestra que la existencia de tal modelo sigue de la consistencia de ZFC más la existencia de un cardinal inaccesible.

3. La Alternativa Minimalista (Modelo de Solovay):
El artículo también discute una fundación "minimalista" basada en el modelo de Robert Solovay, que asume la consistencia de ZF más un cardinal inaccesible.

Construcción: Se construye un modelo transitivo numerable donde todos los subconjuntos de $\mathbb{R}$ son medibles según Lebesgue y tienen la propiedad de Baire.
Completitud: Los autores definen una teoría $T^*$ (una extensión de $T$ ) que incluye una "propiedad de minimalidad" y un conjunto genérico $G$ . Afirman que dos modelos bien fundados cualesquiera de $T^*$ satisfacen las mismas oraciones de primer orden. Esto proporciona una forma de "completitud" para modelos bien fundados, actuando como un antídoto a la incompletitud de Gödel para el matemático central que rechaza conjuntos grandes y mal fundados.

Contribuciones y Resultados Clave

Rechazo de la Elección No Numerable: El artículo reemplaza formalmente el Axioma de Elección no numerable con el axioma probabilístico de Freiling $A^{\text{null}}_N$ , argumentando que este último es más intuitivo para el "mundo real" y evita la construcción de conjuntos no medibles.
Refinamiento de la Aritmética de Segundo Orden: Aunque reconocen que la Aritmética de Segundo Orden ( $Z_2$ ) es suficiente para gran parte del análisis, los autores argumentan que es insuficiente para definir el conjunto de todos los conjuntos de Borel o espacios topológicos directamente. Su modelo propuesto extiende $Z_2$ incluyendo explícitamente a $\mathbb{R}$ y permitiendo construcciones hasta $\alpha^*$ .
Limbo Cardinal: El artículo destaca una característica única de su modelo: aunque existe una sobreyección de $\mathbb{R}$ sobre $\omega_1$ (el primer ordinal numerable), no existe una biyección debido al axioma de Freiling. Así, $\omega_1$ existe pero carece de una relación cardinal clara con $\mathbb{R}$ , existiendo en un "limbo" que difiere del ZFC estándar.
Pruebas de Consistencia: Los autores demuestran que sus axiomas son consistentes en relación con la existencia de un cardinal inaccesible. Utilizan técnicas de forcing de Solovay para mostrar que si ZFC + Inaccesible es consistente, entonces su sistema $T$ (y el más fuerte $T^*$ ) es consistente.

Significado y Afirmaciones
El artículo afirma ofrecer una "mejor fundación" específicamente para el "matemático central": aquellos que trabajan con reales, enteros y estructuras derivadas (por ejemplo, análisis, EDPs, espacios de Banach).

Definición: El principal significado reclamado es la restauración de una base "firme y fija" donde todas las conjeturas tengan una respuesta única, contrarrestando el "multiverso" de la teoría de conjuntos.
Realismo: Al fundamentar la base en la intuición física de variables aleatorias (axioma de Freiling) y la naturaleza dada de $\mathbb{R}$ , los autores argumentan que su fundación está más alineada con la práctica matemática que la naturaleza abstracta y no constructiva del ZFC completo.
Antídoto a la Incompletitud: La fundación "minimalista" ( $T^*$ ) se presenta como una solución para los matemáticos que desean evitar los fenómenos de independencia de los cardinales grandes mientras mantienen una teoría robusta de los reales.

Los autores permanecen modestos, señalando que su enfoque depende de la consistencia de un cardinal inaccesible y que los métodos probabilísticos podrían eventualmente refutar la medibilidad de conjuntos proyectivos en ciertos contextos de cardinales grandes. Sin embargo, afirman que su marco proporciona una base coherente y no controvertida para la vasta mayoría de la investigación matemática.