Hipótese de vácuo contínuo
A hipótese contínua é uma hipótese de que não há um conjunto que seja tanto maior que o dos números naturais quanto menor que o dos números reais. Georg Cantor declarou esta hipótese em 1877.
Há infinitos números naturais, a cardinalidade do conjunto de números naturais é infinita. Isto também é verdade para o conjunto de números reais, mas há mais números reais do que números naturais. Dizemos que os números naturais têm uma cardinalidade infinita e os números reais têm uma cardinalidade infinita, mas a cardinalidade dos números reais é maior do que a cardinalidade dos números naturais.
Esta hipótese é o primeiro problema na lista de 23 problemas que David Hilbert publicou em 1900. Kurt Gödel mostrou em 1939 que a hipótese não pode ser falsificada usando a teoria do conjuntoZermelo-Fraenkel. A teoria dos conjuntos Zermelo-Fraenkel é a teoria dos conjuntos comumente usada em matemática. Paul Cohen mostrou nos anos 60 que a teoria dos conjuntos Zermelo-Fraenkel também não pode ser usada para provar a hipótese do continuum. Por isto, Cohen recebeu a Medalha Fields.
Perguntas e Respostas
P: O que é a hipótese do continuum?
R: A hipótese do continuum é a hipótese de que não existe um conjunto que seja maior que o dos números naturais e menor que o dos números reais.
P: Quem estabeleceu a hipótese do continuum e quando?
R: Georg Cantor declarou a hipótese do continuum em 1877.
P: Há um número infinito de números naturais?
R: Sim, há um número infinito de números naturais.
P: Qual é a cardinalidade do conjunto de números naturais?
R: A cardinalidade do conjunto de números naturais é infinita.
P: Existem mais números reais do que números naturais?
R: Sim, há mais números reais do que números naturais.
P: A hipótese do continuum pode ser falsificada usando a teoria dos conjuntos de Zermelo-Fraenkel?
R: Kurt Gödel mostrou em 1939 que a hipótese não pode ser falsificada usando a teoria dos conjuntos de Zermelo-Fraenkel.
P: Quem mostrou que a teoria dos conjuntos de Zermelo-Fraenkel não pode ser usada para provar a hipótese do continuum?
R: Paul Cohen demonstrou na década de 1960 que a teoria dos conjuntos de Zermelo-Fraenkel não pode ser usada para provar a hipótese do continuum.