Departamento de Filosofia

Computabilidade e Logica, de George S. Boolos, John P. Burgess, Richard C. Jeffrey. Computabilidade e lógica tornou-se um livro de referência em sua área por apresentar, de maneira acessível, questões complexas do estudo de lógica. Seus capítulos cobrem não apenas os tópicos básicos de um curso intermediário sobre o assunto, como os teoremas de incompletude de Gödel, mas também um amplo leque de tópicos adicionais, como a teoria da computabilidade de Turing e o teorema de Ramsey.

 

Sobre os autores:

George S. Boolos (1940-1996) nasceu em Nova York e formou-se em Matemática na Universidade Princeton e em Filosofia na Universidade de Oxford. Especializou-se em Lógica matemática, lecionou no Instituto de Tecnologia de Massachussts e escreveu, entre outras obras, The Logic of Provability (1993).

John P. Burgess : É professor de Filosofia da Universidade Princeton.

Richard C. Jeffrey (1926-2002), natural de Boston, formou-se em Filosofia, com ênfase em epistemologia e teoria da decisão. Escreveu Formal Logic: Its Scope and Limits (2006, 4.ed.).

Contracapa:

 

 

 

 

 

 

 

 

 

# Traduções