Paradosso di Galileo sull'infinito
Galileo associò ogni numero naturale al suo quadrato, 1 con 1, 2 con 4, 3 con 9, e notò che nessuno dei due elenchi si esaurisce prima dell'altro. Scelga un limite fino a 10.000 e veda quell'abbinamento scritto per intero, numero per numero. Gratis nel suo browser.
- Gratis
- Funziona nel suo browser
- Senza registrazione
- I suoi dati restano sul dispositivo
Esegui gratis nel browser
Esempio risolto
- Limite
- 5
- Quantità
- 5
Il paradosso dell'infinito di Galileo è una delle prime osservazioni rigorose sugli insiemi infiniti, riportata nei Discorsi e dimostrazioni matematiche intorno a due nuove scienze del 1638. I quadrati perfetti diventano sempre più rari tra i numeri naturali, eppure Galileo associò a ciascun numero naturale esattamente un quadrato: 1 con 1, 2 con 4, 3 con 9, e così via all'infinito. Nessuna delle due collezioni si esaurisce prima dell'altra, quindi nel caso infinito i due insiemi hanno la stessa grandezza pur essendo l'uno una parte propria dell'altro. Questo strumento elenca esplicitamente tale abbinamento per ogni numero naturale da 1 fino a un limite intero positivo scelto da Lei, così che la corrispondenza possa essere esaminata, citata e verificata direttamente.
Che cosa osservò realmente Galileo
Nel suo ultimo libro, Galileo Galilei mise un argomento inquietante in bocca al suo personaggio Salviati. Da un lato, i quadrati perfetti sono una piccolissima minoranza dei numeri naturali: tra i primi cento numeri naturali solo dieci sono quadrati, e tra i primi diecimila solo cento, per cui la proporzione continua a scendere verso lo zero. Dall'altro lato, ogni numero naturale ha un quadrato, e ogni quadrato ha esattamente una radice quadrata positiva, per cui esiste un abbinamento biunivoco perfetto tra i numeri naturali e i quadrati.
Se due collezioni possono essere abbinate membro per membro senza che nulla avanzi da nessuna delle due parti, disse Galileo, allora nessuna delle due può onestamente essere definita più grande. Egli concluse che il linguaggio ordinario del 'più', del 'meno' e dell''uguale' semplicemente non si applica alle collezioni infinite come si applica a quelle finite, e lasciò la questione lì, come un autentico paradosso.
Il prefisso finito prodotto da questo strumento è l'ombra concreta e verificabile di quell'argomento: per qualsiasi limite positivo, l'elenco delle coppie mostra ogni numero accanto al proprio quadrato senza ripetizioni e senza vuoti da nessuna delle due parti.
La corrispondenza biunivoca, resa finita e visibile
Una corrispondenza biunivoca, o biiezione, è un abbinamento in cui ogni elemento della prima collezione è associato esattamente a un elemento della seconda, e nulla in nessuna delle due collezioni resta privo di corrispondente o abbinato due volte. La funzione che manda ogni numero naturale n nel suo quadrato n al quadrato è esattamente un abbinamento di questo tipo: numeri di partenza diversi danno sempre quadrati diversi, e ogni quadrato proviene da un'unica radice positiva.
Quando Lei invia un limite a questa capacità, la risposta contiene un record per ciascun numero naturale da uno fino a quel limite, e ogni record contiene il numero e il suo quadrato. Scorrendo le coppie si dimostrano per ispezione le due proprietà definitorie. In primo luogo, la colonna n visita ogni numero naturale dell'intervallo esattamente una volta, per cui l'abbinamento è totale e univoco.
In secondo luogo, la colonna dei quadrati non contiene duplicati, perché la funzione di elevamento al quadrato è strettamente crescente sugli interi positivi. È accettato qualsiasi limite fino a diecimila, il che mantiene l'output abbastanza piccolo da poter essere letto integralmente, rendendo al contempo vivido l'argomento della densità: al limite massimo i quadrati occupano solo l'uno per cento dell'intervallo.
Dal paradosso di Galileo alla teoria degli insiemi infiniti di Cantor
Galileo trattò il paradosso come un avvertimento che l'infinito resiste al confronto quotidiano, e la matematica lasciò la questione lì per circa due secoli e mezzo. Negli anni Settanta dell'Ottocento Georg Cantor rovesciò l'osservazione e ne fece una definizione: due insiemi, finiti o infiniti, hanno la stessa cardinalità precisamente quando esiste una corrispondenza biunivoca tra di essi.
Secondo tale definizione i numeri naturali e i quadrati perfetti hanno davvero la stessa grandezza, e lo stesso vale per i numeri pari e gli interi, che è il fatto che Galileo aveva trovato troppo strano per accettarlo. Cantor dimostrò poi che non tutti gli insiemi infiniti si abbinano ai numeri naturali — i numeri reali, famosamente, non lo fanno — per cui l'infinito esiste in grandezze diverse, misurate però mediante abbinamenti anziché mediante conteggio.
Casi d'uso
Lezioni di teoria degli insiemi e sull'infinito
I docenti che introducono le biiezioni e la nozione di cardinalità di Cantor possono mostrare l'abbinamento esplicito numero-quadrato per un limite scelto, invece di disegnarlo a mano alla lavagna.
Gruppi di lettura di storia della matematica
I gruppi che studiano le Due Nuove Scienze di Galileo possono riprodurre l'esatta corrispondenza descritta da Salviati e verificare la densità dei quadrati in qualsiasi intervallo finito.
Domande frequenti
Che cos'è il paradosso dell'infinito di Galileo?
Galileo osservò nel 1638 che, sebbene i quadrati perfetti diventino sempre più rari tra i numeri naturali, ogni numero naturale n si abbina esattamente al suo quadrato n², per cui le due collezioni infinite possono essere messe in corrispondenza biunivoca — una contraddizione per le idee quotidiane di 'più' e 'meno'.
Perché questo dimostra che i due insiemi hanno la stessa grandezza?
L'abbinamento è una biiezione: ogni numero naturale compare esattamente una volta nella colonna n e ogni quadrato elencato compare esattamente una volta nella colonna dei quadrati. Poiché nulla da nessuna delle due parti resta senza corrispondente o duplicato, nessuna delle due collezioni può superare l'altra in numero.
Chi ha descritto il paradosso di Galileo, e quando?
Galileo Galilei stesso, nel suo ultimo libro, i Discorsi e dimostrazioni matematiche intorno a due nuove scienze del 1638. Mise l'argomento in bocca al personaggio di Salviati e lo lasciò aperto come un vero paradosso.
Quanti quadrati perfetti ci sono tra i primi 100 numeri?
Soltanto 10, e tra i primi 10.000 ce ne sono appena 100. La proporzione continua a scendere verso zero; eppure ogni numero naturale ha il proprio quadrato e nessuno resta senza compagno.
Che cos'è una corrispondenza biunivoca?
È un abbinamento in cui ogni elemento di un insieme viene associato a esattamente un elemento dell'altro, senza avanzi e senza ripetizioni. Associare a ogni numero naturale il suo quadrato è proprio un abbinamento di questo tipo.
Strumenti correlati
Per sviluppatori — accesso via API
Tutto quello che vedi in questa pagina è disponibile anche via API. Questa sezione è per i team che vogliono integrarlo nei propri sistemi; chi non ne ha bisogno può semplicemente usare lo strumento qui sopra.
Endpoint
Autenticazione con Bearer token: un POST mette in coda l'attività e il risultato arriva via webhook o link firmato.
Chiamala dal tuo 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)Esempio di richiesta
{
"limit": 10
}Esempio di risposta
{
"task_id": "tsk_a1b2c3d4e5f6a1b2c3d4e5f6",
"type": "math.galileos_paradox_of_infinity",
"status": "queued",
"_links": {
"result": "/tasks/tsk_…/result"
}
}L'API è asincrona: ricevi subito un task_id e puoi fare polling fino a 1 richiesta al secondo.
Prezzi
Prezzo pubblicato, senza token né crediti. Se l'attività fallisce, non paghi.
Limiti
max_limit | 10000 |
Errori
| HTTP | Codice | Significato |
|---|---|---|
401 | unauthorized | Chiave API mancante o non valida: controlla l'header Authorization. |
402 | insufficient_balance | Credito esaurito: ricarica per continuare a eseguire attività. |
404 | unknown_type | Tipo di attività sconosciuto: controlla il campo type della richiesta. |
429 | rate_limited | Troppe richieste in poco tempo: rallenta e riprova tra qualche secondo. |
Note tecniche
Dal paradosso di Galileo alla teoria degli insiemi infiniti di Cantor
Lavorare con abbinamenti finiti espliciti, come quelli prodotti da questo strumento, è il percorso didattico standard per accedere a quella teoria: lo schema 1-1, 2-4, 3-9 è una biiezione che si può vedere, ed estenderlo mentalmente oltre qualsiasi limite è esattamente il passo che Cantor formalizzò. Anche il comportamento degli errori è semplice e deterministico: qualsiasi limite che non sia un intero positivo, o che superi diecimila, viene rifiutato con un errore invalid_input che nomina il campo incriminato.
Casi di integrazione
Generazione programmatica di tabelle di quadrati
Notebook, demo e fixture di test che necessitano di una tabella affidabile di n accanto a n² per n da 1 a un valore massimo possono ottenerla con una singola chiamata deterministica.
Domande tecniche
Come ottengo l'abbinamento con questa API?
Invii un corpo JSON con un campo intero positivo 'limit' a math.galileos_paradox_of_infinity. La risposta elenca le coppie, un record per ciascun n da 1 fino a limit con il suo quadrato, oltre al conteggio delle coppie.
Quali valori di input sono accettati?
Solo interi positivi da 1 a 10000. Lo zero, i valori negativi, i non interi e i valori superiori al massimo vengono rifiutati con un errore invalid_input che nomina il campo 'limit'.
Quanto costa ogni chiamata?
La capacità costa $0.002 per elemento, il prezzo minimo di catalogo per le capacità analitiche di parsing di livello A. La stessa logica di abbinamento funziona anche gratuitamente nel widget del browser.