Paradoxo do infinito de Galileu
Galileu associou cada número natural ao seu quadrado, 1 com 1, 2 com 4, 3 com 9, e percebeu que nenhuma das listas acaba antes da outra. Escolha um limite de até 10.000 e veja esse pareamento escrito por completo, número a número. Grátis no seu navegador.
- Grátis
- Funciona no seu navegador
- Sem cadastro
- Seus dados não saem do seu aparelho
Executar grátis
Exemplo resolvido
- Limite
- 5
- Quantidade
- 5
O paradoxo do infinito de Galileo é uma das primeiras observações rigorosas sobre conjuntos infinitos, registrada nos Discursos e Demonstrações Matemáticas sobre Duas Novas Ciências, de 1638. Os quadrados perfeitos tornam-se cada vez mais raros entre os números naturais, mas Galileo emparelhou cada número natural com exatamente um quadrado: 1 com 1, 2 com 4, 3 com 9, e assim por diante. Nenhuma das coleções se esgota antes da outra, de modo que, no caso infinito, os dois conjuntos têm o mesmo tamanho, embora um seja parte própria do outro. Esta ferramenta lista esse emparelhamento de forma explícita para cada número natural de 1 até um limite inteiro positivo escolhido por você, permitindo que a correspondência seja inspecionada, citada e verificada diretamente.
O que Galileo realmente observou
Em seu último livro, Galileo Galilei colocou um argumento inquietante na boca de seu personagem Salviati. Por um lado, os quadrados perfeitos são uma pequeníssima minoria dos números naturais: entre os cem primeiros números naturais, apenas dez são quadrados, e entre os dez mil primeiros, apenas cem, de modo que a proporção cai continuamente em direção a zero.
Por outro lado, todo número natural tem um quadrado, e todo quadrado tem exatamente uma raiz quadrada positiva, o que estabelece uma correspondência perfeita um a um entre os números naturais e os quadrados. Se duas coleções podem ser emparelhadas membro a membro sem sobras em nenhum dos lados, dizia Galileo, então nenhuma delas pode honestamente ser chamada de maior.
Ele concluiu que a linguagem cotidiana de 'mais', 'menos' e 'igual' simplesmente não se aplica às coleções infinitas da mesma forma que às finitas, e deixou a questão ali, como um paradoxo genuíno. O prefixo finito que esta ferramenta produz é a sombra concreta e verificável desse argumento: para qualquer limite positivo, a lista de pares mostra cada número ao lado de seu próprio quadrado, sem repetição nem lacuna em nenhum dos lados.
A correspondência um a um, tornada finita e visível
Uma correspondência um a um, ou bijeção, é um emparelhamento no qual cada elemento da primeira coleção é associado a exatamente um elemento da segunda, e nada em nenhuma das coleções fica sem par ou emparelhado duas vezes. A aplicação que leva cada número natural n ao seu quadrado n² é exatamente esse tipo de emparelhamento: números iniciais diferentes sempre geram quadrados diferentes, e cada quadrado provém de uma única raiz positiva.
Ao enviar um limite a esta capacidade, você recebe um registro por número natural, de um até esse limite, cada registro contendo o número e seu quadrado. Percorrer os pares demonstra as duas propriedades definidoras por simples inspeção. Primeiro, a coluna de n visita cada número natural do intervalo exatamente uma vez, portanto o emparelhamento é total e unívoco.
Segundo, a coluna dos quadrados não contém duplicatas, porque a função de elevar ao quadrado é estritamente crescente nos inteiros positivos. Qualquer limite até dez mil é aceito, o que mantém a saída pequena o suficiente para ser lida por completo, sem perder a força do argumento da densidade: no limite máximo, os quadrados ocupam apenas um por cento do intervalo.
Do paradoxo de Galileo à teoria dos conjuntos infinitos de Cantor
Galileo tratou o paradoxo como um alerta de que o infinito resiste à comparação cotidiana, e a matemática deixou a questão assim por cerca de dois séculos e meio. Na década de 1870, Georg Cantor inverteu a observação e a transformou em definição: dois conjuntos, finitos ou infinitos, têm a mesma cardinalidade precisamente quando existe uma correspondência um a um entre eles.
Sob essa definição, os números naturais e os quadrados perfeitos têm de fato o mesmo tamanho, assim como os números pares e os inteiros — exatamente o fato que Galileo considerara estranho demais para aceitar. Cantor provou em seguida que nem todos os conjuntos infinitos se emparelham com os números naturais — os números reais, notoriamente, não se emparelham — de modo que o infinito afinal existe em tamanhos diferentes, apenas medidos por emparelhamento, e não por contagem.
Trabalhar com emparelhamentos finitos explícitos, como os que esta ferramenta produz, é o caminho didático clássico para essa teoria: o padrão 1-1, 2-4, 3-9 é uma bijeção que você pode ver, e estendê-lo mentalmente além de qualquer limite é exatamente o passo que Cantor formalizou.
Casos de uso
Aulas de teoria dos conjuntos e do infinito
Professores que apresentam bijeções e a noção de cardinalidade de Cantor podem exibir o emparelhamento explícito entre cada número e seu quadrado para um limite escolhido, em vez de desenhá-lo à mão no quadro.
Grupos de leitura de história da matemática
Grupos que estudam as Duas Novas Ciências de Galileo podem reproduzir a correspondência exata que Salviati descreve e verificar a densidade dos quadrados em qualquer intervalo finito.
Geração programática de tabelas de quadrados
Notebooks, demonstrações e dados de teste que precisam de uma tabela confiável de n ao lado de n² para n de 1 até um limite podem obtê-la em uma única chamada determinística.
Perguntas frequentes
O que é o paradoxo do infinito de Galileo?
Galileo observou em 1638 que, embora os quadrados perfeitos se tornem cada vez mais raros entre os números naturais, cada número natural n se emparelha exatamente com seu quadrado n², de modo que as duas coleções infinitas podem ser correspondidas uma a uma — uma contradição para as ideias cotidianas de 'mais' e 'menos'.
Por que isso mostra que os dois conjuntos têm o mesmo tamanho?
O emparelhamento é uma bijeção: cada número natural aparece exatamente uma vez na coluna de n e cada quadrado listado aparece exatamente uma vez na coluna dos quadrados. Como nada em nenhum dos lados fica sem par ou duplicado, nenhuma coleção pode superar a outra em quantidade.
Quem descreveu o paradoxo de Galileu e quando?
Galileu Galilei, no seu último livro, os Discursos e demonstrações matemáticas acerca de duas novas ciências, de 1638. Ele colocou o argumento na boca do personagem Salviati e o deixou em aberto como um verdadeiro paradoxo.
Quantos quadrados perfeitos existem entre os primeiros 100 números?
Apenas 10, e entre os primeiros 10.000 há só 100. A proporção continua caindo em direção a zero; mesmo assim, todo número natural tem o seu próprio quadrado e nenhum fica sem par.
O que é uma correspondência biunívoca?
É um pareamento em que cada elemento de um conjunto fica ligado a exatamente um elemento do outro, sem sobras e sem repetições. Associar cada número natural ao seu quadrado é justamente um pareamento desse tipo.
Ferramentas relacionadas
Para desenvolvedores — acesso via API
Tudo nesta página está disponível via API. Esta seção é para equipes que querem integrar a ferramenta aos próprios sistemas; quem não precisa disso pode simplesmente usar a ferramenta acima.
Endpoint
Autenticação por token Bearer. Um único POST coloca a tarefa na fila; o resultado chega por webhook ou link assinado.
Chame do seu código
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)Exemplo de requisição
{
"limit": 10
}Exemplo de resposta
{
"task_id": "tsk_a1b2c3d4e5f6a1b2c3d4e5f6",
"type": "math.galileos_paradox_of_infinity",
"status": "queued",
"_links": {
"result": "/tasks/tsk_…/result"
}
}A API é assíncrona: cada chamada devolve um task_id na hora. Se preferir polling, consulte o status a até 1 requisição por segundo.
Preço
Preço publicado, sem tokens nem créditos escondidos. Tarefa que falha não é cobrada.
Limites
max_limit | 10000 |
Erros
| HTTP | Código | O que significa |
|---|---|---|
401 | unauthorized | Token ausente ou inválido. Confira o header Authorization. |
402 | insufficient_balance | Saldo insuficiente para esta tarefa. Faça uma recarga e tente de novo. |
404 | unknown_type | Esse tipo de tarefa não existe. Confira o campo type no catálogo. |
429 | rate_limited | Muitas requisições em pouco tempo. Espere um instante e tente de novo. |
Notas técnicas
Do paradoxo de Galileo à teoria dos conjuntos infinitos de Cantor
O comportamento de erro também é simples e determinístico: qualquer limite que não seja um inteiro positivo, ou que exceda dez mil, é rejeitado com um erro invalid_input que nomeia o campo em questão.
Perguntas técnicas
Como obtenho o emparelhamento com esta API?
Envie um corpo JSON com um campo 'limit' inteiro positivo para math.galileos_paradox_of_infinity. A resposta lista os pares, um registro por n de 1 até limit com seu quadrado, além da contagem de pares.
Quais valores de entrada são aceitos?
Apenas inteiros positivos de 1 a 10000. Zero, valores negativos, não inteiros e valores acima do máximo são rejeitados com um erro invalid_input que nomeia o campo 'limit'.
Quanto custa cada chamada?
A capacidade custa US$ 0,002 por item, o piso do catálogo para capacidades analíticas de análise do nível A. A mesma lógica de emparelhamento também funciona gratuitamente no widget do navegador.