|
|
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. Castiohn L. Casti - “Five Golden Rules”, John Wiley & Sons, Inc., 1996, p. 222.
“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 |
|
| |
| |
Versões em língua inglesa:
Segunda edição norte-americana:
"Computability: Computable Functions, Logic, and the Foundations of Mathematics, with Computability: A Timeline" (Paperback) Richard L. Epstein e Walter A. Carnielli. Second edition. Wadsworth/Thomson Learning, Belmont, CA, 2000.
Primeira edição norte-americana:
"Computability: computable functions, logic and the foundations of mathematics. The Brooks/Cole Mathematics Series, Wadsworth & Brooks/Cole Advanced Books & Software, Pacific Grove, CA, 1989.
|
A ementa da disciplina "Computability, Logic, and Undecidability" do Department of Philosophy, Columbia University in the City of New diz, a respeito desse livro:
The idea behind the course is to interlace the philosophical and the technical, thereby reflecting also the actual history of the subjects. For the emerging and development of these areas has involved a continuous philosophical dialogue on the nature of computation, mathematical activity and human intelligence and thought, a dialogue that still goes on. The book “Computability: Computable Functions, Logic, and the Foundations of Mathematics”, by Epstein and Carnielli, is an example of this approach.
|
| |
|
University endereçou em 2006 a seguinte carta aos autores do livro:
"Dear Prof. Carnielli,
I
am writing to let you know how much I appreciate the book you have
written with Richard Epstein, *Computability: Computable Functions,
Logic, and the Foundations of Mathematics*. I have been using it for a
number of years now as a textbook for my course, *Computability and
Incompleteness*, with audiences ranging from 35 and 90 students. This
semester, for example, there are 60 students enrolled the course.
Computability
and Incompleteness is taught at an advanced undergraduate and
introductory graduate level, to an interdisciplinary audience of
students from philosophy, computer science, and mathematics. It is
particularly popular among students from computer science, who tend to
be very strong at Carnegie Mellon and go off to work for corporate
leaders in technology. For such students, I believe it is important not
only to reflect on the conceptual foundations of computability, but
also to learn how to express their thoughts and arguments in a clear,
analytic fashion. It is a testament to your book's success that they
not only do this, but find it enjoyable.
Thanks again for writing a wonderful textbook.” |
|
|
|
