03. Catálogo razonado de teorías urbanas computables

El capítulo anterior estableció que la computabilidad exacta no es una propiedad de la ciudad sino de su representación previa, y que el registro formal-cuantitativo es el único de los tres registros del conocimiento urbano cuyos objetos vienen ya dados en forma cuantificable. Este capítulo recoge la consecuencia inmediata de esa tesis: si hay un cuerpo de teoría urbana que admite formalización exacta, conviene inventariarlo, ejecutarlo y verificarlo, en lugar de suponerlo. Lo que sigue es ese inventario. Reunimos trece modelos clásicos de la teoría urbana formalizable, desde von Thünen (1826) hasta formulaciones del siglo XXI como el escalamiento de Bettencourt-West (2007), y de cada uno damos una ficha razonada con cinco apartados: el mecanismo que postula, su formulación matemática, su condición de computabilidad, el criterio de validación cumplido con el número efectivamente obtenido al ejecutarlo, y su relevancia filosófica para una crítica de la urbanidad computada. Todas las cifras que aparecen proceden de los archivos datos_<id>.json generados por las simulaciones del corpus, y no de estimaciones del texto.

El argumento transversal del capítulo es deliberadamente sobrio y se enuncia de una vez: estos trece modelos corren de manera exacta, reproducible y validada en un ordenador portátil, sin acelerador gráfico, sin centro de datos y sin servicio de inferencia. El conocimiento urbano computable —el del registro formal— ya existe, está escrito desde hace décadas y es materialmente barato de ejecutar. Esta constatación es la bisagra empírica de la tesis central: si lo formalizable ya se computa con costo despreciable, entonces la herramienta sobredimensionada que la inteligencia artificial estadística representa no encuentra aquí su justificación. La desproporción entre potencia y aplicación no se localiza en el catálogo clásico; se localiza, como argumentarán los capítulos 06 a 08, en pretender que un sistema masivo de predicción del token plausible sustituye o supera lo que un algoritmo exacto de pocas líneas ya hace con garantía. El catálogo es, pues, el banco de contendientes que el Banco Epistémico Urbano (capítulo 09) opondrá a la IA estadística, y a la vez la prueba de que el cuello de botella del conocimiento urbano es la aplicación, no la capacidad de cómputo.

Organizamos las fichas en cinco familias temáticas —economía espacial, dinámica social, leyes estadísticas, morfología y crecimiento, y redes— y cerramos con una lectura transversal de lo que el conjunto demuestra.

3.1. Criterio de admisión y forma de la ficha

Un modelo entra en el catálogo si cumple tres condiciones. Primera, que su mecanismo pueda escribirse como una función bien definida de entradas discretas a salidas, en el sentido preciso de computabilidad fijado en 2.3. Segunda, que exista al menos un criterio de validación numérico cerrado: un valor exacto o un intervalo de tolerancia contra el cual contrastar la ejecución. Tercera, que el modelo tenga carga filosófica, es decir, que su idealización recorte algo de la ciudad de un modo que sea instructivo discutir. Los trece modelos cumplen las tres condiciones; ninguno se incluye por mera notoriedad histórica.

Cada ficha reporta el resultado de ejecutar la simulación correspondiente con el intérprete del proyecto y, donde el modelo es estocástico, con la semilla fija documentada en el corpus (Schelling con semilla 42, el autómata celular con 7, la agregación limitada por difusión con 3). Los modelos deterministas no requieren semilla porque son analíticamente cerrados: producen el mismo valor en cada ejecución. La distinción importa para la tesis, porque marca que la reproducibilidad de estos modelos no es una propiedad costosa que haya que comprar con cómputo, sino una propiedad intrínseca de la formalización exacta.

3.2. Economía espacial: el suelo como gradiente computable

Anillos de von Thünen (1826). El mecanismo es la renta de localización: un cultivo paga por situarse cerca del mercado central tanto como le ahorra en transporte. La formulación es lineal, R(d)=y·(p−c)−y·f·d, y el uso del suelo en cada distancia es el cultivo que maximiza esa renta, con fronteras de anillo donde dos cultivos la igualan. Es computable de forma cerrada: basta evaluar rectas y construir su envolvente superior. Ejecutado con dos cultivos (uno intensivo, uno extensivo) sobre un plano isótropo, el modelo cumple su criterio de validación de modo exacto: las pendientes recuperadas son −6.0 y −3.0, los radios de renta cero 10.0 y 16.0 km, y la frontera entre el anillo interior y el exterior emerge en d*=4.0 km con renta R=36.0, una distancia que no coincide con ningún radio de renta cero sino que surge del cruce de las envolventes. Filosóficamente, es el primer modelo que vuelve la localización económicamente legible: el espacio deja de ser cualidad para convertirse en distancia computable al mercado, a costa de presuponer un plano isótropo y un único centro que invisibilizan el poder territorial y la historia del lugar.

Bid-rent de Alonso (1964). Traslada el mecanismo de von Thünen al suelo residencial: cada grupo de hogares tiene una función de puja que mantiene constante su utilidad a lo largo de la distancia al centro de negocios, y el suelo se asigna al mejor postor. La formulación es de nuevo lineal por grupo y la frontera entre grupos es d*=(R0_i−R0_j)/(k_i−k_j). Computable y cerrada. Ejecutado con un grupo de gradiente pronunciado (dependiente del acceso) y otro de gradiente plano (que valora el espacio), el cruce analítico cae en d*=13.33 km con renta 233.33, y la asignación por mejor postor sobre el intervalo discretizado adjudica 134 de 301 puntos al grupo de gradiente pronunciado (fracción 0.445), que ocupa el anillo interior. El criterio de validación se cumple: el grupo de mayor gradiente queda en el centro y la envolvente es monótona decreciente. La relevancia es notable: el modelo explica por qué en muchas ciudades los pobres ocupan el centro denso y los ricos la periferia espaciosa no por preferencia moral sino por la estructura matemática del trade-off acceso/espacio, una elegancia que tiende a naturalizar la segregación al reducir la regulación, la discriminación y la herencia a «gradientes» exógenos.

Lugares centrales de Christaller (1933). El mecanismo es la geometría óptima del servicio: bajo el principio de mercado k=3, cada lugar central de orden superior atiende a tres áreas del orden inferior, y el territorio se tesela con hexágonos anidados. La formulación da el área del hexágono como A=(3√3/2)·r² y dos progresiones geométricas. Computable exactamente. Para una jerarquía de cuatro niveles con alcance base de 10 km, el área del hexágono base se calcula en 259.807621 km² con error de 0.0 km² respecto del valor esperado; las razones de área entre niveles consecutivos son exactamente [3.0, 3.0, 3.0], el nivel 4 alcanza 7014.81 km², y el número de lugares por nivel sigue 18, 6, 2, 1. El criterio de validación se cumple. Su relevancia es a la vez teórica y política: propone que la red de ciudades no es caótica sino una jerarquía deducible a priori, y la propia biografía de Christaller —que puso la teoría al servicio de la planificación nazi del este europeo— ilustra el peligro de la geometría normativa, la pretensión de deducir el orden urbano ideal y usarlo como herramienta de poder territorial.

3.3. Dinámica social: del agente a la cifra de segregación

Segregación de Schelling (1971). El mecanismo es la emergencia: agentes con una preferencia individual suave —querer que al menos cierta fracción de sus vecinos sea del propio grupo— reubicándose cuando no la satisfacen. La formulación es una regla local de satisfacción sobre la vecindad de Moore y una relajación estocástica. Es computable, aunque no de forma cerrada: requiere iterar, y por eso fija semilla. Ejecutado en una rejilla de 50×50 con 2250 agentes, umbral de tolerancia T=0.30 y semilla 42, el sistema parte de una fracción media de vecinos del mismo grupo de 0.5012 y converge, en la iteración 14, a 0.7507 con cero agentes insatisfechos. El criterio de validación se cumple plenamente: una tolerancia individual del 30 % produce una segregación global superior al 70 %. Es el experimento mental fundacional de la brecha entre intención micro y resultado macro: la segregación existe sin que ningún sujeto la haya querido, lo que desmonta la falacia de inferir intenciones desde patrones y advierte contra naturalizar la segregación como mera «autoorganización».

Índice de disimilitud de Duncan y Duncan (1955). El mecanismo es la medición: convierte una distribución de dos grupos sobre unidades territoriales en un único escalar, D=0.5·Σ|a_i/A−b_i/B|, interpretable como la fracción de un grupo que tendría que reubicarse para igualar la distribución del otro. Computable y cerrada. Para el experimento canónico de cuatro tracts el índice da exactamente 0.40, y para un caso de tres tracts 0.30. Más interesante para el catálogo es que el índice se aplica a la salida del modelo de Schelling: agregando la rejilla final segregada en 25 bloques de 10×10, la disimilitud entre los dos grupos resulta D=0.2462, una segregación baja-moderada frente a un baseline aleatorio de aproximadamente 0.09. El criterio de validación se cumple, y el encadenamiento Schelling→Duncan ilustra cómo el valor del índice depende de la escala de agregación —la falacia ecológica de la unidad de análisis—. Su relevancia es el poder del indicador: lo que se mide se gobierna, y la pregunta de si reducir la injusticia a un escalar la hace gobernable o la trivializa queda abierta.

3.4. Leyes estadísticas: regularidades sin mecanismo acordado

Ley rango-tamaño de Zipf (1949). El mecanismo, si lo hay, es discutido: empíricamente, ordenadas las ciudades de mayor a menor, la población del rango r cumple P(r)=P_1/r^q. La formulación se linealiza en el plano log-log con pendiente −q. Computable. Para un sistema sintético de 100 ciudades generado con q=1 exacto, el ajuste por mínimos cuadrados recupera una pendiente de −1.000 con R²=1.0; un sistema empírico perturbado con q=0.85 (semilla 42) recupera pendiente −0.857 con R²=0.987, apartándose visiblemente de la referencia. El criterio de validación se cumple en ambos casos. Conviene insistir, como ya hizo el capítulo 02, en que q=1 es la versión estricta o idealizada: los sistemas reales se desvían (q típicamente entre 0.8 y 1.2 según país y recorte; Gabaix, 1999). Filosóficamente es el caso de una regularidad estadística casi universal sin teoría causal acordada: describe sin explicar, y plantea el estatuto epistémico de las leyes sin mecanismo y la tensión entre la unicidad vivida de cada ciudad y su lugar anónimo en una distribución.

Escalamiento urbano de Bettencourt-West (2007). El mecanismo es la prima urbana: las magnitudes urbanas escalan con la población según Y=Y_0·N^β, con β≈1.15 (superlineal) para la creación socioeconómica y β≈0.85 (sublineal) para la infraestructura. Computable. Las regresiones recuperan exactamente β=1.15 para la nube socioeconómica y β=0.85 para la de infraestructura, ambas con R²=1.0; al duplicar la población la magnitud se multiplica por 2^1.15=2.2191, y una ciudad de un millón de habitantes produce Y=7.943.282. El criterio de validación se cumple. Su relevancia es la ciudad como reactor social: agrupar gente acelera de forma matemáticamente predecible la innovación y la riqueza, pero también el crimen y la enfermedad; el promedio superlineal oculta la distribución interna, de modo que lo bueno y lo malo escalan juntos y el agregado borra la justicia distributiva.

3.5. Morfología y crecimiento: la forma como cómputo local

Autómata celular de crecimiento urbano (White-Engelen, 1993; Clarke, 1997; antecedente conceptual de Tobler, 1979). El mecanismo es el contagio espacial: una celda no urbana se urbaniza con probabilidad creciente en el número de vecinos ya urbanizados, p_i=p_base+p_difusion·(k_i/8). La implementación del corpus adopta una regla fronteriza explícita —p_base solo refuerza celdas que ya colindan con el frente— que suprime la nucleación de islas dispersas y produce crecimiento estrictamente compacto. Computable con semilla. Partiendo de un núcleo central de 3×3 (9 celdas) en una rejilla de 100×100, con semilla 7 y 50 pasos, el cluster crece de forma monótona hasta 2672 celdas urbanas, manteniendo conexidad del 100 % en todos los pasos, con compacidad isoperimétrica final de 0.2037 (medida primaria) y dimensión fractal por conteo de cajas de 1.6812 (indicador secundario). El criterio de validación se cumple. Su relevancia es la ciudad como computación local: la forma emerge de reglas de vecindad sin plan central, y la elección compacto/disperso queda encubierta en los parámetros y en la propia regla fronteriza, una decisión de política presentada como propiedad emergente.

Agregación limitada por difusión y dimensión fractal de Batty-Longley (1994). El mecanismo es el crecimiento ramificado por difusión, y la medida es la dimensión fractal: el número de celdas ocupadas dentro de un radio cumple N(R)~R^D. Computable. Sobre un cluster simulado de 1500 partículas (rejilla 201×201, semilla 3), la regresión mass-radius en la región de escalamiento estima D=1.69275 con R²=0.99887, dentro del rango característico de la agregación limitada por difusión en dos dimensiones; el ejemplo literal de dos puntos da D=1.26607. El criterio de validación se cumple. Su relevancia ontológica es que la ciudad real no es ni un disco compacto ni una línea, sino un objeto fractal de dimensión fraccionaria entre 1 y 2: su irregularidad es medible y autosimilar, lo que abre la pregunta de si la dimensión fraccionaria capta algo esencial de la ciudad o solo su contorno de ocupación.

3.6. Redes: topología, equilibrio y flujo

Sintaxis espacial de Hillier y Hanson (1984). El mecanismo es la accesibilidad topológica: representada la ciudad como grafo de líneas axiales, la integración de un nodo mide cuán superficial es respecto del resto, vía la profundidad media y la asimetría relativa RA=2·(MD−1)/(n−2), con integración 1/RA. Computable mediante caminos mínimos. Para un camino de 5 nodos, la integración es máxima en el nodo central (3.0) y mínima en los extremos (1.0); para una rejilla viaria de 5×5, el nodo central alcanza 7.6667. El criterio de validación se cumple: la integración es máxima donde la topología es más central. Su relevancia es la tesis de que el espacio configura la sociedad —la lógica social del espacio—, con la consiguiente política de qué calles quedan «integradas» por diseño y la crítica de un determinismo espacial que puede ocultar decisiones de poder tras la topología.

Paradoja de Braess y equilibrio de Wardrop (1952/1968). El mecanismo es el equilibrio de usuario: ningún conductor puede mejorar su tiempo cambiando de ruta. La formulación iguala tiempos de ruta con funciones dependientes del flujo. Computable. En la red clásica con 4000 vehículos, el equilibrio simétrico sin atajo reparte 2000/2000 y da un tiempo de 65; añadir un atajo de coste cero lleva a todos por la misma ruta y eleva el tiempo de equilibrio a 80. La diferencia, 80−65=15, confirma la paradoja, y los tiempos de las rutas activas se igualan en el equilibrio. El criterio de validación se cumple. Su relevancia es que refuta la intuición de que más opciones siempre mejoran el bienestar: añadir una vía puede empeorar a todos cuando cada uno optimiza egoístamente, lo que justifica matemáticamente la intervención pública —cerrar calles puede mejorar el tráfico— y critica el individualismo metodológico en la movilidad.

Gravitación comercial de Reilly y Huff (1931/1964). El mecanismo es la atracción comercial relativa: dos centros se reparten el área de influencia según su tamaño y su distancia, y el consumidor elige una tienda con una probabilidad que crece con su atractivo y decae con la distancia. La ley de Reilly fija el punto de ruptura entre dos ciudades, BP=d/(1+√(P_A/P_B)), y el modelo probabilístico de Huff da la probabilidad de elección P_j=(A_j/d_j^β)/Σ_k(A_k/d_k^β). Computable de forma cerrada para el punto de ruptura y la probabilidad puntual, y por barrido de rejilla para el reparto territorial. Para dos ciudades A (64.000 habitantes) y B (16.000) separadas 30 km, con √(P_A/P_B)=2.0, el punto de ruptura cae exactamente a 10.0 km de B y 20.0 km de A; con el modelo de Huff y β=2, dos tiendas de atractivos 1.000 (a 5 km) y 4.000 (a 10 km) producen utilidades iguales U_1=U_2=40.0 y por tanto probabilidades 0.5/0.5; y sobre una rejilla de 21×21 (441 celdas) en [0,20]² km, la fracción de celdas donde la tienda mayor capta probabilidad ≥0.5 es 0.7755, con las probabilidades sumando 1 en cada celda. El criterio de validación se cumple. Su relevancia es que formaliza la competencia entre centros como un campo continuo de probabilidades de elección —no fronteras nítidas sino gradientes de captura—, a costa de reducir la decisión de compra a tamaño y distancia e invisibilizar el precio, la marca, la renta del consumidor y la historia del lugar.

Modelo gravitacional de interacción espacial (Stewart, 1948; derivación entrópica de Wilson, 1967). El mecanismo es la analogía newtoniana: el flujo entre dos zonas es proporcional al producto de sus masas e inverso a una potencia de la distancia, T_ij=G·P_i·P_j/d_ij^c. Computable. Para tres zonas con poblaciones de 10.000, 5.000 y 20.000 y c=2, los flujos son T_12=55.556, T_13=125.000 y T_23=40.000, con suma de pares 220.556; la matriz es simétrica y la regresión recupera c=2.0. El criterio de validación se cumple. Su relevancia es doble: aplica una analogía física a la interacción humana —reduciendo el desplazamiento a masa y distancia— y, en la lectura de Wilson, revela que la supuesta «ley física» es en realidad el estado más probable bajo restricciones, de modo que planificar flujos como si fueran fenómenos naturales inevitables naturaliza lo que es político.

3.7. Lectura transversal: el conocimiento urbano computable ya existe y es barato

Los trece modelos comparten un rasgo que la tabla de validaciones del corpus hace explícito: todos pasan su criterio de validación, y lo hacen con valores exactos o dentro de tolerancias estrechas, en ejecuciones que un ordenador portátil completa en segundos. No hay aquí un solo número que exija un centro de datos, un modelo de miles de millones de parámetros ni un servicio de inferencia remoto. La reproducibilidad —idéntica entre ejecuciones para semillas fijadas, garantizada por construcción en los modelos analíticos— no se compra con cómputo: viene dada por la formalización exacta. Este es el sentido empírico de la tesis de que el sobredimensionamiento no está en el catálogo clásico. El registro formal-cuantitativo del conocimiento urbano, el único que el capítulo 02 reconoció como genuinamente computable, está disponible, es antiguo y es barato.

De aquí se siguen dos consecuencias para el resto de la tesis. La primera es que el catálogo provee los contendientes del banco de pruebas: cada una de estas trece tareas tiene una verdad de referencia aritmética contra la cual contrastar a un sistema de inteligencia artificial estadística, y esa confrontación es precisamente la que la metodología (capítulo 04) y los resultados (capítulo 05) desarrollan, y la que el Banco Epistémico Urbano (capítulo 09) institucionaliza. La segunda, más decisiva, es que el cuello de botella del conocimiento urbano no es la potencia de cómputo. Lo que falta no es un modelo más capaz de calcular un punto de ruptura de Reilly o un exponente de Zipf —eso ya se hace con garantía y a costo despreciable—, sino hacer ese conocimiento presentable, usable y aplicable sobre ciudades concretas. Cada uno de estos modelos, conviene recordar, computa exactamente a costa de una mutilación: von Thünen y Alonso suponen un plano isótropo y un único centro; Christaller, Schelling y el autómata absorben el poder en parámetros exógenos; las leyes de escalamiento borran la distribución interna; las redes naturalizan como físico lo que es decisión política. La frontera que el capítulo 02 llamó el resto del cómputo sigue intacta: lo que estos modelos no computan no es un defecto técnico subsanable con más escala, sino aquello que, por definición, queda fuera de la formalización. El catálogo demuestra que lo formalizable ya está resuelto; lo que la tesis sostiene es que confundir ese resto con una carencia de cómputo es, justamente, el error de la herramienta sobredimensionada. Con los contendientes inventariados y validados, el capítulo 04 expone el protocolo experimental que los enfrenta a la inteligencia artificial estadística y la construcción de la verdad de referencia que vuelve interpretable ese enfrentamiento.

Referencias

Alonso, W. (1964). Location and Land Use: Toward a General Theory of Land Rent. Cambridge, MA: Harvard University Press.
Batty, M. y Longley, P. (1994). Fractal Cities: A Geometry of Form and Function. London: Academic Press.
Bettencourt, L. M. A., Lobo, J., Helbing, D., Kühnert, C. y West, G. B. (2007). Growth, innovation, scaling, and the pace of life in cities. Proceedings of the National Academy of Sciences, 104(17), 7301-7306.
Braess, D. (1968). Über ein Paradoxon aus der Verkehrsplanung. Unternehmensforschung, 12(1), 258-268.
Christaller, W. (1933). Die zentralen Orte in Süddeutschland. Jena: Gustav Fischer.
Clarke, K. C., Hoppen, S. y Gaydos, L. (1997). A self-modifying cellular automaton model of historical urbanization in the San Francisco Bay area. Environment and Planning B: Planning and Design, 24(2), 247-261.
Duncan, O. D. y Duncan, B. (1955). A methodological analysis of segregation indexes. American Sociological Review, 20(2), 210-217.
Gabaix, X. (1999). Zipf's Law for Cities: An Explanation. The Quarterly Journal of Economics, 114(3), 739-767.
Hillier, B. y Hanson, J. (1984). The Social Logic of Space. Cambridge: Cambridge University Press.
Huff, D. L. (1964). Defining and Estimating a Trading Area. Journal of Marketing, 28(3), 34-38.
Reilly, W. J. (1931). The Law of Retail Gravitation. New York: Knickerbocker Press.
Schelling, T. C. (1971). Dynamic models of segregation. Journal of Mathematical Sociology, 1(2), 143-186.
Stewart, J. Q. (1948). Demographic Gravitation: Evidence and Applications. Sociometry, 11(1/2), 31-58.
Tobler, W. R. (1979). Cellular Geography. En S. Gale y G. Olsson (eds.), Philosophy in Geography (pp. 379-386). Dordrecht: Reidel.
von Thünen, J. H. (1826). Der isolierte Staat in Beziehung auf Landwirtschaft und Nationalökonomie. Hamburg: Friedrich Perthes.
Wardrop, J. G. (1952). Some Theoretical Aspects of Road Traffic Research. Proceedings of the Institution of Civil Engineers, 1(3), 325-362.
White, R. y Engelen, G. (1993). Cellular Automata and Fractal Urban Form: A Cellular Modelling Approach to the Evolution of Urban Land-Use Patterns. Environment and Planning A, 25(8), 1175-1199.
Wilson, A. G. (1967). A Statistical Theory of Spatial Distribution Models. Transportation Research, 1(3), 253-269.
Zipf, G. K. (1949). Human Behavior and the Principle of Least Effort. Cambridge, MA: Addison-Wesley.