Entre las ideas más radicales de la filosofía matemática existe una pregunta capaz de desafiar siglos de pensamiento: ¿todos los números imaginables realmente existen? El ultrafinitismo sostiene que algunos valores pueden ser tan enormes que superan toda posibilidad de representación, cálculo o comprensión. Esta postura cuestiona la naturaleza misma del infinito y obliga a revisar qué significa que un objeto matemático sea real. ¿Son los números entidades eternas independientes de nosotros? ¿O existen solo mientras podemos definirlos y manipularlos?

El CANDELABRO.ILUMINANDO MENTES
📷 Imagen generada por Dola Al para El Candelabro. © DR

Ultrafinitismo: la idea de que algunos números son demasiado grandes para existir

Entre los debates más provocadores de la filosofía de las matemáticas, pocos resultan tan contraintuitivos como el ultrafinitismo, una corriente que se atreve a poner en duda algo que la mayoría de las personas da por sentado sin siquiera pensarlo: que todos los números naturales existen, sin excepción, hasta el infinito. Mientras el sentido común matemático asume que después de cualquier número, por descomunal que sea, siempre hay otro más, el ultrafinitismo sostiene que existe un punto —no definido con precisión, pero real— más allá del cual los números simplemente dejan de tener sentido, dejan de ser accesibles, dejan de “existir” en cualquier acepción operativa del término.

Esta postura, minoritaria incluso dentro de las filosofías críticas de la matemática clásica, nace de una insatisfacción profunda con el infinito actual, esa noción que Georg Cantor formalizó en el siglo XIX y que permitió tratar conjuntos infinitos como objetos completos y manipulables. El ultrafinitismo va más lejos que el finitismo tradicional, que ya rechazaba el infinito actual pero aceptaba sin problemas el infinito potencial, es decir, la idea de que siempre se puede continuar contando. Los ultrafinitistas cuestionan incluso esa aparente inocencia: si nunca nadie podrá escribir, calcular o siquiera representar físicamente un número como una torre de exponentes de Knuth, ¿en qué sentido significativo puede decirse que ese número existe?

El principal impulsor histórico de esta corriente fue el matemático y disidente soviético Alexander Yessenin-Volpin, quien desarrolló desde los años sesenta una crítica radical al infinito matemático clásico, vinculada a su propio rechazo del totalitarismo intelectual y político. Yessenin-Volpin proponía una jerarquía de números “factibles” en la que, aunque todo número tiene un sucesor, no se sigue automáticamente que la suma de números factibles siga siendo factible; el problema, decía, es análogo a la paradoja del montón de arena (sorites): quitar un grano no destruye el montón, pero repetir la operación suficientes veces sí. De forma parecida, sumar uno a un número manejable produce otro número manejable, pero la acumulación de esos pasos puede llevar a números que ya no lo son, sin que exista una frontera nítida donde trazar la línea.

Otro nombre ineludible en esta tradición es el del matemático Doron Zeilberger, conocido por su trabajo en combinatoria algorítmica y por sus posiciones deliberadamente provocadoras sobre los fundamentos matemáticos. Zeilberger ha defendido públicamente que buena parte del análisis matemático clásico es, en su expresión, un caso degenerado del análisis discreto finito, y ha llegado a sugerir la existencia de un “número más grande”, no como una broma, sino como una postura filosófica seria sobre los límites de la representabilidad matemática. Para Zeilberger, la insistencia en tratar el infinito como algo dado sin cuestionamientos revela más sobre las comodidades heredadas de la tradición matemática que sobre la realidad última de los números.

Conviene distinguir con cuidado el ultrafinitismo de otras corrientes cercanas mas no idénticas. El finitismo clásico, asociado a figuras como Kronecker o al programa formalista de Hilbert en sus versiones más restringidas, acepta que los números naturales son infinitos en potencia: cualquier número dado tiene un sucesor, aunque no exista un “conjunto de todos los números” como totalidad acabada. El intuicionismo de Brouwer, por su parte, rechaza el principio del tercero excluido para enunciados sobre infinitos, pero no niega que se pueda seguir contando indefinidamente. El ultrafinitismo, en cambio, cuestiona incluso esa continuidad ilimitada, al introducir la posibilidad de que existan números tan grandes que ninguna operación física, computacional o cognitiva concebible pueda jamás alcanzarlos, escribirlos o procesarlos.

Este planteamiento se conecta de forma natural con la teoría de la complejidad computacional y con la existencia de funciones de crecimiento extraordinariamente rápido, como la función de Ackermann o el problema del castor atareado (busy beaver), cuyos valores para argumentos relativamente pequeños superan cualquier magnitud representable en el universo observable mediante notación convencional. Si el universo físico tiene un número finito de partículas y una edad finita medida en instantes de Planck, entonces existe, en principio, un límite físico a la cantidad de información que puede codificarse o procesarse. Para el ultrafinitista, esta limitación física no es un simple obstáculo práctico, sino una razón filosófica genuina para dudar de que ciertos números tengan estatus ontológico pleno, más allá de su mera formulación simbólica sobre el papel.

Las críticas a esta postura han sido numerosas y contundentes. Muchos filósofos y matemáticos señalan que el ultrafinitismo carece de un criterio preciso y no arbitrario para determinar dónde termina la “existencia” de los números, lo que convierte a la propuesta en una intuición filosófica sugerente pero difícil de formalizar con el mismo rigor que exige la matemática misma. Además, se argumenta que confundir la representabilidad física de un número con su existencia matemática es un error categorial: que nadie pueda escribir un número no implica que ese número carezca de definición matemática coherente dentro de un sistema axiomático determinado. El propio Zeilberger ha reconocido que su postura funciona más como provocación heurística y programa de investigación abierto que como teoría acabada con reglas de inferencia bien establecidas.

A pesar de estas objeciones, el valor filosófico del ultrafinitismo no reside tanto en ofrecer una alternativa matemática funcional y consensuada, sino en la pregunta incómoda que plantea sobre la relación entre representación simbólica y existencia matemática. Invita a repensar si los objetos matemáticos son descubiertos en un reino platónico independiente de toda mente o construcción, o si, por el contrario, dependen esencialmente de la capacidad humana o computacional de manipularlos, contarlos o definirlos de manera efectiva. Esta tensión entre platonismo matemático y constructivismo radical atraviesa buena parte de la filosofía de las matemáticas del último siglo, y el ultrafinitismo representa quizás su expresión más extrema y menos conciliadora.

En última instancia, el ultrafinitismo funciona como un espejo deformante que obliga a examinar los supuestos que damos por evidentes en matemáticas. Al preguntar si algunos números son “demasiado grandes para existir”, esta corriente no busca necesariamente imponerse como la verdad definitiva sobre la naturaleza del infinito, sino recordarnos que incluso las certezas matemáticas más arraigadas descansan sobre decisiones filosóficas que merecen ser examinadas, cuestionadas y, en algunos casos, sometidas a un escrutinio tan riguroso como el que aplicamos a cualquier otra afirmación sobre la realidad.

Referencias

  • Yessenin-Volpin, A. S. (1970). The Ultra-Intuitionistic Criticism and the Antitraditional Program for Foundations of Mathematics. En J. Myhill, A. Kino y R. E. Vesley (Eds.), Intuitionism and Proof Theory. North-Holland.
  • Zeilberger, D. (2001). “Real” Analysis Is a Degenerate Case of Discrete Analysis. New Progress in Difference Equations, CRC Press.
  • van Bendegem, J. P. (2012). Finitism in Geometry. Stanford Encyclopedia of Philosophy.
  • Isles, D. (1992). What Evidence Is There That 2^65536 Is a Natural Number? Notre Dame Journal of Formal Logic, 33(4), 465–480.
  • Shapiro, S. (2000). Thinking About Mathematics: The Philosophy of Mathematics. Oxford University Press.
  • Franzén, T. (2005). Gödel’s Theorem: An Incomplete Guide to Its Use and Abuse. A K Peters.
El CANDELABRO.ILUMINANDO MENTES

#Ultrafinitismo #Matemáticas #FilosofíaMatemática #Infinito #NúmerosGrandes #LógicaMatemática #CienciaYFilosofía #AlexanderYesseninVolpin #DoronZeilberger #FundamentosMatemáticos #PensamientoCrítico #FilosofíaDeLaCiencia /.

Descubre más desde REVISTA LITERARIA EL CANDELABRO

Suscríbete y recibe las últimas entradas en tu correo electrónico.