Olá para todos.
Na aula do dia 17 veremos a prova da completude da lógica sentencial com o método de Henkin. Há duas apostilas no dropbox. Veremos também o teorema da compacidade (Hunter 32.20) e a seção 34 (decidibilidade da lógica sentencial).
Além disso, pretendo ver alguns resultados metateóricos da lógica intuicionista (apostila 'traducoes.glivenko' no dropbox).
Sugiro a leitura de textos sobre aspectos filosóficos da lógica intuicionista, por exemplo:
Verbete da Stanford,
http://plato.stanford.edu/entries/logic-intuitionistic/
Excerto do livro do Heyting, Intuitionism, com apresentação de um sistema axiomático para a lógica intuicionista
http://dl.dropbox.com/u/5959592/heyting_itcn.pdf
Troelstra, História do Construtivismo no séc. XX
http://dl.dropbox.com/u/5959592/Troelstra.History.constructivism.20th.century.pdf
Nenhum comentário:
Postar um comentário