Saltar a contenido

Capítulo 1: Representar (≈ 43 000 a. C. hasta 1700)

⏱️ Tiempo de lectura: 6 min

En este capítulo recorremos un proceso larguísimo y decisivo: cómo la humanidad pasó de marcar cantidades en objetos físicos a construir un lenguaje matemático capaz de describir relaciones, demostrar conclusiones y anticipar el comportamiento del mundo.

No es solo una historia de números, es la historia de cómo los seres humanos aplicamos la abstracción.

El cambio profundo llegó cuando aceptamos que una marca podía sustituir a una cosa, que una letra podía representar una cantidad desconocida y que una deducción podía ser válida aunque no tocara directamente ningún objeto físico. En esa distancia entre el mundo y su representación nace una parte esencial de la historia intelectual que más tarde hará posible la computación.


1. Inventamos lenguajes para describir el mundo

Antes de escribir, ya contábamos

La necesidad de contar es mucho más antigua que la escritura. Objetos con muescas del Paleolítico, como el hueso de Lebombo y el hueso de Ishango, no prueban por sí solos la existencia de una matemática formal, pero sí muestran algo más básico y más importante: grupos humanos muy antiguos ya utilizaban secuencias de marcas para registrar, organizar o recordar cantidades (Royal Society, PNAS Border Cave, Royal Belgian Institute of Natural Sciences).

Ese gesto es más profundo de lo que parece. Una muesca no es una oveja, no es un día, no es un saco de grano. Es una representación física de cualquiera de esos conceptos. Y en cuanto aceptas que una marca puede hablar en nombre de algo ausente, aparece una idea que atraviesa toda la historia posterior: pensar operando sobre símbolos.

Números, posición y cero

Durante milenios, distintas civilizaciones desarrollaron maneras propias de representar cantidades. Los egipcios usaban un sistema aditivo. Los romanos también. Los babilonios introdujeron un sistema posicional muy potente. La diferencia importa porque, en un sistema posicional, el valor de un símbolo depende también del lugar que ocupa. Esa idea multiplica la capacidad expresiva de un conjunto pequeño de signos.

El desarrollo del cero requiere distinguir dos pasos históricos que a menudo se mezclan. Un paso es usar una marca para señalar una ausencia dentro de un sistema posicional. Otro paso, mucho más ambicioso, es tratar esa ausencia como un número con reglas propias. En India encontramos ambas piezas en momentos distintos: el manuscrito Bakhshali muestra un punto usado como placeholder, y siglos después Brahmagupta formula reglas aritméticas explícitas para operar con cero como número (Oxford GLAM, Britannica: zero, Britannica: Brahmagupta).

Con ese paso, la representación numérica gana una generalidad nueva. Ya no solo registramos cantidades concretas. Podemos construir un sistema compacto, reutilizable y formal para expresar cualquier cantidad y operar con ella siguiendo reglas estables. Más tarde, esa tradición pasará al mundo islámico y desde ahí a Europa (Britannica: zero).

Cuatro sistemas, cuatro mundos distintos
La misma cantidad expresada de formas radicalmente distintas. Lo que cambia no son los números, sino qué operaciones se vuelven posibles.
Paleolítico · ≈ 40 000 a.C.
Marcas de conteo
Un trazo por unidad. No hay símbolo para "cero" ni para cantidades abstractas: cada marca representa un objeto concreto.
Ejemplo — el número 7:
||||/ ||
Permite
  • Contar objetos concretos
  • Comparar dos cantidades visualmente
  • Registrar inventarios simples
No permite
  • Aritmética (sumar 47 + 83 requiere volver a contar todo)
  • Representar cantidades grandes de forma compacta
  • Operar con lo desconocido
El salto conceptual fue separar el símbolo del objeto: la muesca no es la oveja, la representa.
Imperio Romano · ≈ siglo IV a.C. – s. XIV d.C.
Numeración romana
Sistema aditivo con símbolos fijos para valores clave. La posición tiene importancia (IV ≠ VI) pero no es posicional en el sentido moderno.
Cómo se construye un número:
I1
V5
X10
L50
C100
D500
M1 000
1994 = MCMXCIV
Permite
  • Representar cantidades grandes de forma compacta
  • Lectura rápida de valores aproximados
  • Suma mediante agrupación de símbolos
No permite
  • Multiplicación y división razonables (XLII × XXIII es un calvario)
  • Representar fracciones
  • El concepto de cero
Sin cero ni posición, la aritmética era tan lenta que había profesionales especializados en calcular. El cálculo era trabajo manual.
India · siglos V–VII · llegó a Europa vía Al-Juarismi
Sistema decimal posicional
10 dígitos (0–9) y un principio posicional: el valor de cada dígito depende de su posición. El cero no es ausencia sino un símbolo activo que desplaza posiciones.
El mismo dígito, tres valores distintos:
3
0
0
= 300
0
3
0
= 30
0
0
3
= 3
Permite
  • Aritmética mediante reglas formales (algoritmos)
  • Representar cualquier número con solo 10 símbolos
  • Fracciones decimales, notación científica
  • Razonar sobre lo desconocido (álgebra)
Desventaja
  • No es eficiente en hardware electrónico (múltiples voltajes)
Con este sistema, seguir las reglas garantiza el resultado correcto. El cálculo dejó de requerir intuición o verificación manual.
Leibniz 1679 · adoptado en computación s. XX
Sistema binario
Solo dos dígitos (0 y 1). La posición multiplica por potencias de 2. El valor práctico es físico: 0 y 1 se implementan como apagado/encendido en un circuito eléctrico.
Contar en binario:
DecimalBinarioPatrón
00
11
210
311
5101
131101
Permite
  • Implementación directa en hardware (transistor: encendido/apagado)
  • Operaciones lógicas (AND, OR, NOT) sobre los mismos dígitos
  • Transmisión fiable con mínimo error de señal
Desventaja
  • Representaciones más largas (13 necesita 4 dígitos frente a 2 en decimal)
  • Difícil de leer directamente por humanos
El binario convierte el número en señal física. Eso conecta el mundo de las matemáticas abstractas con el de los circuitos electrónicos.

Álgebra: operar con lo que todavía no sabemos

El siguiente salto ya no consiste en representar cantidades visibles, sino en razonar sobre cantidades desconocidas. En el siglo IX, al-Khwarizmi sistematizó procedimientos para resolver ecuaciones lineales y cuadráticas en Al-Kitab al-mukhtasar fi hisab al-jabr wa-l-muqabala. De al-jabr viene la palabra álgebra, y de la latinización de su nombre vendrá más tarde la palabra algoritmo (Britannica: The Compendious Book on Calculation by Completion and Balancing, Britannica: al-Khwarizmi, MacTutor: Al-Khwarizmi).

Hay una precisión importante aquí. El álgebra de al-Khwarizmi todavía no es la notación simbólica moderna. Sus métodos son retóricos y se apoyan en argumentos geométricos. Pero el cambio conceptual ya está hecho: se puede transformar una expresión paso a paso, siguiendo reglas generales, hasta despejar lo que no conocíamos al principio.

La notación comprime el pensamiento

Entre el álgebra retórica medieval y el cálculo hay una pieza decisiva: la notación. François Viète introdujo la primera notación algebraica sistemática, usando letras para variables y parámetros. Pocas décadas después, Descartes y Fermat llevaron esa compresión simbólica un paso más lejos al conectar ecuaciones y geometría. Una curva dejaba de ser solo una figura para convertirse también en una relación expresable por símbolos (Britannica: François Viète, Britannica: Analytic geometry, Britannica: mathematics / analytic geometry, Britannica: La Géométrie).

Esto cambia el tipo de pensamiento que se puede hacer. Con buena notación, una idea compleja cabe en menos espacio mental. Y cuando una idea cabe en símbolos compactos, se vuelve más fácil transformarla, combinarla y generalizarla.

Álgebra: razonar sobre lo que aún no se sabe
Al-Khwarizmi formalizó que se puede operar sobre una cantidad desconocida como si fuera conocida, aplicar reglas y obtener el valor. Eso es un algoritmo.
Antes del álgebra
«Si el doble de cierta cantidad más cinco es trece, ¿cuál es esa cantidad?» Solo adivinando o probando valores.
Prueba y error · sin garantías · no generalizable
Con álgebra
Llamamos x a la cantidad desconocida. Escribimos las relaciones. Aplicamos reglas formales. El resultado es consecuencia inevitable.
Reglas formales · garantía de corrección · generalizable a cualquier problema de esa forma
Problema
Aislar x
Simplificar
Verificar
El punto de partida
2x + 5
=
13
x = cantidad desconocida (el objetivo)
2 = coeficiente (cuántas veces aparece x)
5 = término independiente (no contiene x)
La clave del álgebra: tratamos x como un objeto que podemos mover, dividir o multiplicar, aunque no sepamos aún su valor.
Paso 1 — eliminar el término independiente
2x + 5 5
=
13 5
Operación: restar 5 a ambos lados
2x
=
8
Regla de la balanza: lo que se hace a un lado debe hacerse al otro. La igualdad se mantiene.
Paso 2 — aislar x completamente
2x ÷ 2
=
8 ÷ 2
Operación: dividir ambos lados entre 2
x
=
4
La cantidad desconocida ha quedado sola. Aplicar reglas es suficiente: no se necesita intuición ni adivinanza.
Verificación — la prueba de que el proceso es correcto
Sustituir x = 4: 2 · 4 + 5 = 8 + 5 = 13
13 = 13 — la solución es correcta
La misma forma, cualquier problema:
ax + b = c  →  x = (c − b) / a
Al-Khwarizmi describió procedimientos generales para resolver todas las ecuaciones de una variable. La palabra algoritmo viene de su nombre latinizado: Algoritmi.

2. Formalizar la verdad

La geometría griega y el ideal deductivo

Los griegos añadieron algo que va más allá del cálculo práctico: un estándar de justificación. En los Elementos, Euclides organiza resultados a partir de definiciones, postulados y demostraciones encadenadas. No se trata solo de llegar a una conclusión correcta, sino de mostrar por qué esa conclusión se sigue de forma necesaria a partir de supuestos aceptados (Britannica: Elements, Britannica: Euclid, Britannica: Euclidean geometry).

Ese ideal deductivo cambia la naturaleza del conocimiento matemático. Dentro del sistema, la autoridad ya no está en la tradición, ni en la intuición, ni en la experiencia inmediata, sino en la cadena de inferencias. Cada paso puede revisarse y cada conclusión puede reconstruirse.

La cadena deductiva: cómo Euclides garantizaba la verdad
Cada paso se apoya en el anterior. Si los cimientos son sólidos y los pasos son válidos, la conclusión es inevitable. Dos mil años de geometría funcionaron exactamente así.
Axiomas
Definiciones
Proposición
Corolario
Punto de partida
Axiomas — verdades aceptadas sin demostración
Euclides comenzó con cinco postulados. No los demostró: los declaró como base. Todo lo demás se construye sobre ellos.
1 Entre dos puntos cualesquiera puede trazarse una línea recta.
2 Una línea finita puede prolongarse indefinidamente en una recta.
3 Con centro en un punto y radio dado puede describirse un círculo.
4 Todos los ángulos rectos son iguales entre sí.
5 Por un punto exterior a una recta solo puede trazarse una paralela a esa recta. (Postulado de las paralelas — el más debatido en la historia)
Hace posible → definir con precisión los objetos sobre los que razonamos
Vocabulario formal
Definiciones — qué queremos decir exactamente
Antes de demostrar nada, Euclides define sus objetos con precisión. Sin definición clara, la lógica resbala.
Punto
Lo que no tiene partes. Sin extensión, sin tamaño: pura posición abstracta.
Línea recta
Longitud sin anchura: extensión en una sola dimensión entre dos puntos.
Ángulo recto
El ángulo que resulta cuando una recta intercepta a otra de modo que los dos ángulos adyacentes son iguales.
Hace posible → razonar sobre los objetos con lógica precisa, sin ambigüedad
Verdad derivada
Proposición — conclusión forzada por la lógica
El Teorema de Pitágoras no fue observado: fue deducido. Euclides lo demostró en la proposición 47 del Libro I partiendo solo de axiomas y definiciones.
a² + b² = c²
Teorema de Pitágoras · Proposición I.47 de los Elementos
1. Se parte de un triángulo rectángulo (definición 22)
2. Se construyen cuadrados sobre cada lado (postulado 3)
3. Por congruencia de triángulos (prop. I.4 y I.41): las áreas son iguales
El cuadrado de la hipotenusa = suma de cuadrados de los catetos
Hace posible → derivar consecuencias adicionales — los corolarios
Consecuencia
Corolario — lo que sigue sin esfuerzo adicional
Un corolario no requiere demostración propia: se desprende directamente del teorema anterior. La cadena se extiende.
Corolario 1 — Identificar triángulos rectángulos
Si en un triángulo se cumple a² + b² = c², entonces el ángulo opuesto a c es recto. No hace falta medir el ángulo: basta con calcular.
Usado por arquitectos e ingenieros desde Egipto antiguo (regla 3-4-5).
Corolario 2 — Distancias en el plano
La distancia entre dos puntos (x₁,y₁) y (x₂,y₂) es √[(x₂−x₁)² + (y₂−y₁)²]. El Teorema de Pitágoras aplicado a coordenadas.
Base de la geometría analítica, los gráficos por computadora y el aprendizaje automático (distancia euclidiana entre vectores).
Cada corolario puede convertirse en premisa de un nuevo teorema. La cadena no termina: la geometría moderna, la topología y el álgebra lineal son extensiones de este mismo método.

El poder y el límite de la abstracción

La fuerza de este enfoque es enorme. Permite obtener verdades necesarias a partir de una estructura formal. Pero también tiene un límite claro, solo funciona sobre objetos idealizados. Una recta geométrica no tiene grosor, un triángulo no tiene errores de medición. El rigor nace precisamente de esa distancia respecto del mundo físico.

Esta distinción será crucial más adelante. La matemática gana potencia cuando abstrae, pero la ciencia solo gana poder explicativo cuando logra volver desde esa abstracción al mundo observado. La historia moderna de la ciencia consiste, en buena medida, en aprender a recorrer bien ese doble trayecto.


3. Hacer ciencia con matemáticas

Cuando la naturaleza empezó a escribirse en ecuaciones

En el siglo XVII ocurre una transformación decisiva. Galileo matematiza el movimiento terrestre, Kepler formula leyes cuantitativas para las órbitas planetarias y Newton reunirá ambas líneas en una mecánica unificada. A partir de ahí, la naturaleza deja de ser solo algo que se describe con palabras y pasa a ser algo que también se expresa con relaciones matemáticas precisas (Britannica: Galileo, Britannica: Kepler's laws, Britannica: Principia).

El cambio cultural es inmenso. Entender ya no significa únicamente clasificar o narrar sino encontrar una estructura matemática que permita explicar y prever.

El cálculo y la descripción del cambio

El cálculo aparece en ese contexto. Newton desarrolla sus métodos en la segunda mitad de la década de 1660. Leibniz llega de forma independiente en los años 1670 y publica en 1684 la exposición que fijará buena parte de la notación que seguimos usando hoy (Britannica: Newton and Leibniz, Britannica: Gottfried Wilhelm Leibniz, MacTutor: Leibniz, Britannica: Isaac Newton).

Lo que aporta el cálculo es un lenguaje para describir variación continua. Permite formalizar tasas de cambio y acumulaciones. Gracias a él, fenómenos como la caída de los cuerpos, las órbitas, la velocidad cambiante o la propagación de magnitudes físicas dejan de ser solo observables y pasan a ser calculables con antelación.

Ese poder predictivo amplía lo que la matemática puede hacer: ya no solo sirve para contar, medir o demostrar, sino también para modelar procesos.

Del símbolo al cálculo: 40 000 años en 7 pasos
Cada hito resuelve el problema que el anterior dejó abierto. Navega para ver cómo cada pieza hace posible la siguiente.

Hace posible →

4. Lo que estas herramientas hicieron posible

Al final de este periodo, la humanidad ya dispone de varias piezas que más tarde serán imprescindibles para la computación.

  • Sistemas simbólicos capaces de representar cantidades de forma compacta y operable.
  • Reglas algebraicas para transformar expresiones y trabajar con incógnitas.
  • Un ideal deductivo que convierte el razonamiento en una secuencia verificable de pasos.
  • Un lenguaje matemático capaz de describir relaciones, trayectorias y cambios continuos.

Ninguna de estas piezas nació pensando en ordenadores. Aún faltaban siglos para eso. Pero sin ellas no habría forma de imaginar la siguiente etapa: convertir estas representaciones y estas reglas en procedimientos mecánicos ejecutables.

El siguiente capítulo entra justo ahí: en el momento en que la humanidad deja de limitarse a pensar con símbolos y empieza a intentar que una máquina los manipule por nosotros.

Siguiente capítulo

Capítulo 2 — Mecanizar → — De Babbage a Turing: cómo se pasó de automatizar cuentas concretas a diseñar máquinas de propósito general capaces de ejecutar cualquier programa.


5. Referencias

Fuentes base
Clave Fuente Descripción breve
R1 Royal Society (2018) — From number sense to number symbols. An archaeological perspective Marco arqueológico para el paso desde marcas físicas a notación numérica.
R2 PNAS (2012) — Early evidence of San material culture represented by organic artifacts from Border Cave, South Africa Contexto arqueológico de Border Cave y los objetos con muescas asociados a Lebombo.
R3 Royal Belgian Institute of Natural Sciences — The Ishango Bone Descripción institucional del hueso de Ishango y sus agrupaciones de muescas.
R4 Oxford GLAM — Carbon dating finds Bakhshali manuscript contains oldest recorded origins of the symbol 'zero' Uso del punto como placeholder en el manuscrito Bakhshali.
R5 Britannica — Zero Distinción histórica entre placeholder y cero como número.
R6 Britannica — Brahmagupta Reglas aritméticas explícitas para el cero y números negativos.
R7 Britannica — The Compendious Book on Calculation by Completion and Balancing Papel fundacional de al-Khwarizmi en el desarrollo del álgebra.
R8 MacTutor — Al-Khwarizmi Etimología de “algoritmo” y contexto biográfico.
R9 Britannica — François Viète Primera notación algebraica sistemática.
R10 Britannica — Analytic geometry Unión entre álgebra y geometría en la tradición cartesiana.
R11 Britannica — Elements Euclides y el estándar del razonamiento deductivo.
R12 Britannica — Galileo Matematización del movimiento en la revolución científica.
R13 Britannica — Kepler’s laws of planetary motion Formulación cuantitativa de las órbitas planetarias.
R14 Britannica — Principia Unificación newtoniana de la mecánica y la gravitación.
R15 Britannica — Newton and Leibniz Desarrollo independiente del cálculo y cronología básica.