¿Qué tan reales son los números reales?

En noviembre de 2004, el matemático y científico de la computación Gregory J. Chaitin publicó en arXiv el ensayo «How real are real numbers?», una pieza de matemáticas y fundamentos de la informática que cuestiona la noción clásica de número real como entidad bien definida y 'completamente existente'. Chaitin, conocido por desarrollar la teoría algorítmica de la información y por el llamado número Omega (una constante irracional que codifica la complejidad de los programas), examina hasta qué punto los números reales son realmente especificables, computables o medibles. El texto recorre la diferencia entre números definibles, números computables y números aleatorios algorítmicamente, y argumenta que la inmensa mayoría de los reales no son computables ni siquiera definibles, lo que socava la imagen clásica del continuo como una colección densa de puntos todos igualmente 'reales'. El ensayo pone en diálogo ideas de Gödel, Turing y la incompletitud con la noción de complejidad algorítmica, y propone que los números que podemos nombrar o calcular son una fracción negligible del total. El trabajo se enmarca en una línea de investigación que Chaitin ha impulsado durante décadas sobre los límites de la formalización y la irreducibilidad computacional, y conecta con discusiones filosóficas sobre si la matemática descubre o inventa sus objetos. Con tres versiones depositadas entre el 18 y el 29 de noviembre de 2004, el artículo permanece como una referencia divulgativa accesible dentro de la sección de Historia y visión general de arXiv, y es citado en estudios sobre aleatoriedad algorítmica, complejidad de Kolmogórov y fundamentos de la matemática.