O Teorema de Gödel e a Hipótese do Contínuo

Do Prefácio do Editor:
A presente coleção destina-se a proporcionar ao público de língua portuguesa o acesso a alguns dos aspectos da filosofia da matemática. Em particular, escolhi aqueles aspectos que me parecem representar bem o gênero de concepções e de argumentos que se empregam na disciplina.
Na primeira parte considera-se o problema da utilização de processos infinitos, como o axioma da escolha. Acerca dele demonstrar-se-á a sua relativa consistência e independência. Na segunda parte considera-se o problema da existência de uma proposição formalmente indemonstrável, mas intuitivamente verdadeira. Na terceira parte exploram-se alguns pontos de vista sobre a maneira de compreender o resultado indecidível da segunda parte.
Para fins escolares precedi os ensaios da coleção de uma sinopse dos axiomas e resultados mais correntes da teoria dos conjuntos.
A coleção pode ser usada de diversas maneiras. A minha experiência na Universidade de Lisboa indica que será particularmente útil para os estudantes de filosofia da matemática. Mas pode também ser usada em cursos de Lógica, antes da graduação e depois.