Hotel de Hilbert

Imagine um hotel com infinitos quartos, e que todos eles esto ocupados. Chega
um viajante no hotel, e pede para se hospedar. S que no tem vagas; apesar
de ter infinitos quartos, o hotel j est totalmente ocupado. Mas o gerente um sujeito que no manda ningum embora, e faz o seguinte: pede para o hspede do
quarto 1 se mudar para o quarto 2, o hspede do quarto 2 se mudar para o quarto 3, o hspede do quarto 3 se mudar para o quarto 4, e assim por diante.
E pronto, o hotel que estava cheio, agora tem uma vaga para o novo hspede. Usando esta estratgia, o gerente do hotel pode acomodar um novo hspede, 10
novos hspedes, um milho de novos hspedes, ou at um nmero infinito de novos hspedes. Este paradoxo foi proposto pelo matemtico alemo David Hilbert, e
um paradoxo porque a nossa definio de hotel cheio que no h vagas para novos hspedes. Mas se o hotel tiver infinitos quartos, mesmo que todos eles
estejam cheios, ainda assim d para acomodar um conjunto de novos hspedes, at mesmo infinitos novos hspedes.


Hotel de Hilbert
Imagine um hotel com infinitos quartos, e que todos eles esto
ocupados. Chega um viajante no hotel, e pede para se hospedar. S que
no tem vagas; apesar de ter infinitos quartos, o hotel j est totalmente
ocupado. Mas o gerente um sujeito que no manda ningum embora, e faz o seguinte: pede para o hspede do quarto 1 se mudar para o quarto 2, o hspede do
quarto 2 se mudar para o quarto 3, o hspede do quarto 3 se mudar para o quarto 4, e assim por diante. E pronto, o hotel que estava cheio, agora tem uma vaga
para o novo hspede. Usando esta estratgia, o gerente do hotel pode acomodar um novo hspede, 10 novos hspedes, um milho de novos hspedes, ou at um
nmero infinito de novos hspedes. Este paradoxo foi proposto pelo matemtico alemo David Hilbert, e um paradoxo porque a nossa definio de hotel cheio
que no h vagas para novos hspedes. Mas se o hotel tiver infinitos quartos, mesmo que todos eles estejam cheios, ainda assim d para acomodar um conjunto de
novos hspedes, at mesmo infinitos novos hspedes.