COMPUTABILIDADE, FUNÇÕES COMPUTÁVEIS, LÓGICA E OS FUNDAMENTOS DA MATEMÁTICA
WALTER CARNIELLI E RICHARD L. EPSTEIN
Quantidade limitada no estoque. Envio imediato.
Editora Unesp
Área MATEMÁTICA
Idioma Português
Número de páginas 415
Edição 2ª EDIÇÃO 2009
ISBN 9788571398979
EAN 9788571398979
SINOPSE:
O livro é um atualizado manual de Lógica, Computabilidade, funções computáveis e
Fundamentos da Matemática, que oferece uma sólida base filosófica para alunos de ensino
superior das três áreas, além de promover uma interação entre a Filosofia e essas
ciências. É objetivo, didático e traz grande quantidade de exercícios.
ORELHAS:
"Caro professor Carnielli, Escrevo para dizer-lhe o quanto apreciei seu livro com
Richard Epstein. Há anos venho utilizando-o como livro-texto em meu curso sobre
Computabilidade e Incompletude, ministrado a um público interdisciplinar de diversos
níveis, em cursos de Filosofia, Ciências da Computação e Matemática. É claro que noções
de computação são essenciais para a Filosofia da Matemática, a Filosofia da Mente e a
Epistemologia. Ao mesmo tempo, a teoria filosófica da computabilidade fornece análises
conceituais que têm exercido impacto direto nas teorias da Ciência da computação e da
Matemática, bem como no design de sistemas de computadores e tecnologias relacionadas.
Seu livro fornece uma sólida base filosófica para os estudantes das três áreas e
promove uma interação substantiva entre a Filosofia e essas ciências. Novamente
agradeço-lhe por ter escrito este maravilhoso livro." Prof. Jeremy Avigad, Departamento
de Filosofia, (Carnegie Mellon University)
Quarta capa
Este livro é recomendado e adotado em cursos de Ciências da Computação,
Matemática e Filosofia, por dezenas de universidades em todo o mundo, tais como:
University of Edinburgh, Reino Unido University of Cambridge, Reino Unido Carnegie
Mellon University, EUA National Chung Cheng University, Taiwan Columbia University
in the City of New York, EUA "Uma das mais acessíveis e intuitivas introduções à teoria
da computabilidade. Notável pelos excertos dos trabalhos de Hilbert e Gödel sobre a
Filosofia da Matemática e suas relações com a teoria da computabilidade." John L.
Casti "Literatura recomendada aos alunos do curso de Filosofia da Matemática." The
London Philosophy Study Guide (Philosophy Panel of the University of London) "Há anos
venho adotando este livro em meu curso de Computabilidade e Incompletude ... Novamente
agradeço-lhe por ter escrito este maravilhoso livro." Prof. Jeremy Avigad, Departamento
de Filosofia, Carnegie Mellon University.