Conjuntos infinitos e outros assuntos

Olá para todos.
Semana passada concluímos a primeira parte do curso sobre a natureza da lógica.
Nosso próximo tema são conjuntos infinitos.
Material disponível abaixo:
http://www.earlham.edu/~peters/writing/infapp.htm
http://www.earlham.edu/~peters/writing/infinity.htm
Depois disso, veremos o papel do infinito no construtivismo e também discutiremos a noção de verdade intuicionista. Abaixo, textos sobre o assunto:
http://dl.dropbox.com/u/5959592/read_construtivism.pdf
http://dl.dropbox.com/u/5959592/truth_intuitionism.pdf
Lembro que dia 6/9, terça-feira, não haverá aula.
Abaixo, o cronograma das aulas até o fim do semestre.
http://dl.dropbox.com/u/5959592/calendario.htm
Abraços