Paradoja de Galileo del infinito
Galileo emparejó cada número natural con su cuadrado, 1 con 1, 2 con 4, 3 con 9, y vio que ninguna de las dos listas se agota antes. Elija un límite de hasta 10.000 y verá ese emparejamiento escrito completo, número a número. Gratis en su navegador.
- Gratis
- Funciona en su navegador
- Sin registro
- Sus datos no salen de su equipo
Ejecutar — gratis
Ejemplo resuelto
- Límite
- 5
- Cantidad
- 5
La paradoja del infinito de Galileo es una de las primeras observaciones rigurosas sobre los conjuntos infinitos, recogida en los Discursos y demostraciones matemáticas en torno a dos nuevas ciencias de 1638. Los cuadrados perfectos se vuelven cada vez más escasos entre los números naturales y, sin embargo, Galileo emparejó cada número natural con exactamente un cuadrado: el 1 con el 1, el 2 con el 4, el 3 con el 9, y así indefinidamente. Ninguna de las dos colecciones se agota antes que la otra, de modo que, en el caso infinito, ambos conjuntos tienen el mismo tamaño aunque uno sea una parte propia del otro. Esta herramienta muestra ese emparejamiento de forma explícita para cada número natural desde 1 hasta un límite entero positivo que usted elija, de manera que la correspondencia pueda inspeccionarse, citarse y verificarse directamente.
Lo que Galileo observó realmente
En su último libro, Galileo Galilei puso un argumento inquietante en boca de su personaje Salviati. Por una parte, los cuadrados perfectos son una minoría diminuta de los números naturales: entre los primeros cien números naturales solo diez son cuadrados, y entre los primeros diez mil solo cien lo son, de modo que la proporción no deja de caer hacia cero.
Por otra parte, todo número natural tiene un cuadrado, y todo cuadrado tiene exactamente una raíz cuadrada positiva, de modo que existe una correspondencia biunívoca perfecta entre los números naturales y los cuadrados. Si dos colecciones pueden emparejarse miembro a miembro sin que sobre nada en ninguna de las dos, decía Galileo, entonces no puede afirmarse con honestidad que una sea mayor que la otra.
Concluyó que el lenguaje ordinario de «más», «menos» e «igual» sencillamente no se aplica a las colecciones infinitas del mismo modo que a las finitas, y dejó el asunto ahí, como una auténtica paradoja. El prefijo finito que produce esta herramienta es la sombra concreta y comprobable de ese argumento: para cualquier límite positivo, la lista de pares muestra cada número junto a su propio cuadrado, sin repeticiones ni huecos en ninguno de los dos lados.
La correspondencia biunívoca, hecha finita y visible
Una correspondencia biunívoca, o biyección, es un emparejamiento en el que cada elemento de la primera colección se asocia con exactamente un elemento de la segunda, sin que nada quede sin emparejar ni emparejado dos veces. La aplicación que envía cada número natural n a su cuadrado n² es exactamente un emparejamiento de ese tipo: números de partida distintos dan siempre cuadrados distintos, y cada cuadrado procede de una única raíz positiva.
Cuando usted envía un límite a esta capacidad, la respuesta contiene un registro por cada número natural desde uno hasta ese límite, y cada registro contiene el número y su cuadrado. Revisar los pares permite comprobar las dos propiedades definitorias por simple inspección. En primer lugar, la columna de n recorre cada número natural del rango exactamente una vez, de modo que el emparejamiento es total y unívoco.
En segundo lugar, la columna de los cuadrados no contiene duplicados, porque la función de elevar al cuadrado es estrictamente creciente sobre los enteros positivos. Se acepta cualquier límite hasta diez mil, lo que mantiene la salida lo bastante pequeña para leerla por completo y, a la vez, hace muy vívido el argumento de la densidad: con el límite máximo, los cuadrados ocupan solo el uno por ciento del rango.
De la paradoja de Galileo a la teoría de conjuntos infinitos de Cantor
Galileo trató la paradoja como una advertencia de que el infinito se resiste a la comparación cotidiana, y las matemáticas dejaron la cuestión ahí durante unos dos siglos y medio. En la década de 1870, Georg Cantor dio la vuelta a la observación y la convirtió en una definición: dos conjuntos, finitos o infinitos, tienen la misma cardinalidad precisamente cuando existe una correspondencia biunívoca entre ellos.
Con esa definición, los números naturales y los cuadrados perfectos tienen realmente el mismo tamaño, y lo mismo ocurre con los números pares y los enteros, que es justo lo que Galileo había considerado demasiado extraño para aceptarlo. Cantor demostró después que no todos los conjuntos infinitos se emparejan con los números naturales —los números reales, como es célebre, no lo hacen—, de modo que el infinito, al fin y al cabo, tiene distintos tamaños, solo que medidos por emparejamiento y no por recuento.
Trabajar con emparejamientos finitos explícitos, como los que produce esta herramienta, es el camino habitual en el aula para llegar a esa teoría: el patrón 1-1, 2-4, 3-9 es una biyección que se puede ver, y extenderla mentalmente más allá de cualquier cota es exactamente el paso que Cantor formalizó.
Qué puede hacer con ella
Clases de teoría de conjuntos e infinito
Quienes enseñan biyecciones y la noción de cardinalidad de Cantor pueden mostrar el emparejamiento explícito entre cada número y su cuadrado para un límite elegido, en lugar de dibujarlo a mano en la pizarra.
Grupos de lectura de historia de las matemáticas
Los grupos que trabajan con las Dos nuevas ciencias de Galileo pueden reproducir la correspondencia exacta que describe Salviati y comprobar la densidad de los cuadrados en cualquier rango finito.
Generación programática de tablas de cuadrados
Los cuadernos, demostraciones y casos de prueba que necesitan una tabla fiable de n junto a n² para n de 1 a una cota pueden obtenerla con una única llamada determinista.
Preguntas frecuentes
¿Qué es la paradoja del infinito de Galileo?
Galileo observó en 1638 que, aunque los cuadrados perfectos son cada vez más raros entre los números naturales, cada número natural n se empareja exactamente con su cuadrado n², de modo que ambas colecciones infinitas pueden emparejarse uno a uno: una contradicción para las ideas cotidianas de «más» y «menos».
¿Por qué muestra esto que los dos conjuntos tienen el mismo tamaño?
El emparejamiento es una biyección: cada número natural aparece exactamente una vez en la columna de n y cada cuadrado listado aparece exactamente una vez en la columna de los cuadrados. Como nada queda sin emparejar ni duplicado en ninguno de los dos lados, ninguna colección puede superar en número a la otra.
¿Quién planteó la paradoja de Galileo y cuándo?
Galileo Galilei, en su último libro, los Discursos y demostraciones matemáticas en torno a dos nuevas ciencias, de 1638. Puso el argumento en boca de su personaje Salviati y lo dejó abierto como una auténtica paradoja.
¿Cuántos cuadrados perfectos hay entre los primeros 100 números?
Solo hay 10, y entre los primeros 10.000 apenas hay 100. La proporción no deja de caer hacia cero; aun así, cada número natural tiene su propio cuadrado y ninguno se queda sin pareja.
¿Qué es una correspondencia uno a uno?
Es un emparejamiento en el que cada elemento de un conjunto se asocia con exactamente uno del otro, sin que sobre ninguno ni se repita. Asignar a cada número natural su cuadrado es justamente un emparejamiento así.
Herramientas relacionadas
Para desarrolladores — acceso por API
Todo lo de esta página está disponible por programación. Esta sección es para equipos que quieren integrarlo en sus sistemas; el resto puede usar la herramienta de arriba sin más.
Endpoint de API
¿Prefiere automatizarlo? Un POST autenticado crea la tarea; el resultado llega por webhook o enlace firmado. La misma capacidad también se ejecuta aquí en la web, por email y desde Telegram — y pronto también desde nuestra app.
Llámela desde su stack
curl -X POST https://api.kit.forhosting.com/math/galileos-paradox-of-infinity \
-H "Authorization: Bearer $KIT_KEY" \
-H "Content-Type: application/json" \
-d '{"limit":10}'const res = await fetch("https://api.kit.forhosting.com/math/galileos-paradox-of-infinity", {
method: "POST",
headers: {
"Authorization": `Bearer ${process.env.KIT_KEY}`,
"Content-Type": "application/json"
},
body: JSON.stringify({
"limit": 10
})
});
const { task_id } = await res.json();import os, requests
res = requests.post(
"https://api.kit.forhosting.com/math/galileos-paradox-of-infinity",
headers={"Authorization": f"Bearer {os.environ['KIT_KEY']}"},
json={
"limit": 10
},
)
task_id = res.json()["task_id"]<?php
$res = file_get_contents("https://api.kit.forhosting.com/math/galileos-paradox-of-infinity", false, stream_context_create([
"http" => [
"method" => "POST",
"header" => "Authorization: Bearer " . getenv("KIT_KEY") . "\r\nContent-Type: application/json",
"content" => '{"limit":10}',
],
]));
$task = json_decode($res, true);body := bytes.NewBufferString(`{"limit":10}`)
req, _ := http.NewRequest("POST", "https://api.kit.forhosting.com/math/galileos-paradox-of-infinity", body)
req.Header.Set("Authorization", "Bearer "+os.Getenv("KIT_KEY"))
req.Header.Set("Content-Type", "application/json")
res, _ := http.DefaultClient.Do(req)Ejemplo de solicitud
{
"limit": 10
}Ejemplo de respuesta
{
"task_id": "tsk_a1b2c3d4e5f6a1b2c3d4e5f6",
"type": "math.galileos_paradox_of_infinity",
"status": "queued",
"_links": {
"result": "/tasks/tsk_…/result"
}
}La API es asíncrona: la llamada devuelve un task_id al instante y el resultado llega por webhook. El polling está limitado a 1 req/s por tarea.
Precio
Precio publicado — sin tokens ni créditos inventados. Una tarea fallida no se cobra.
Límites
max_limit | 10000 |
Errores
| HTTP | Código | Significado |
|---|---|---|
401 | unauthorized | API key ausente o inválida. |
402 | insufficient_balance | El saldo no cubre el precio de la tarea. |
404 | unknown_type | El tipo de tarea no existe. |
429 | rate_limited | Demasiadas peticiones. Use el webhook en vez de sondear. |
Notas técnicas
De la paradoja de Galileo a la teoría de conjuntos infinitos de Cantor
El comportamiento de los errores también es sencillo y determinista: cualquier límite que no sea un entero positivo, o que supere los diez mil, se rechaza con un error invalid_input que indica el campo en cuestión.
Preguntas técnicas
¿Cómo obtengo el emparejamiento con esta API?
Envíe un cuerpo JSON con un campo entero positivo 'limit' a math.galileos_paradox_of_infinity. La respuesta enumera los pares, con un registro por cada n desde 1 hasta limit junto a su cuadrado, además del recuento de pares.
¿Qué valores de entrada se aceptan?
Solo enteros positivos del 1 al 10000. El cero, los valores negativos, los no enteros y los valores por encima del máximo se rechazan con un error invalid_input que indica el campo 'limit'.
¿Cuánto cuesta cada llamada?
La capacidad cuesta $0.002 por artículo, el mínimo del catálogo para las capacidades analíticas de análisis de nivel A. La misma lógica de emparejamiento también funciona gratis en el widget del navegador.