PORTUGUESE

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

By Manuel Lourenço (editor)

Book information

Publisher
Fundação Calouste Gulbenkian
Year
1979
Language
portuguese
Format
DJVU
Filesize
16 MB (17033836 bytes)
Pages
1002\1002
Topic
Mathematics Logic
DPI
600
Orientation
landscape
Paginated
no
Scanned
yes
Time added
2012-05-16 17:57:51

Description

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.

Similar books