Opiniones de los lectores
Actualmente no hay opiniones de lectores. La calificación se basa en 2 votos.
Título original:
Computability: Computable Functions, Logic, and the Foundations of Mathematics
Contenido del libro:
Ahora en una nueva edición --la presentación clásica de la teoría de las funciones computables en el contexto de los fundamentos de las matemáticas. La Parte I motiva el estudio de la computabilidad con discusiones y lecturas sobre la crisis de los fundamentos de las matemáticas a principios del siglo XX, al tiempo que presenta las ideas básicas de número entero, función, prueba y número real.
La Parte II comienza con lecturas de Turing y Post que conducen a la teoría formal de las funciones recursivas. La Parte III presenta la lógica formal suficiente para dar un desarrollo completo de los teoremas de incompletitud de Godel.
La Parte IV considera la importancia del trabajo técnico con una discusión de la Tesis de Church y lecturas sobre los fundamentos de las matemáticas. Esta nueva edición contiene la cronología "Computabilidad e indecidibilidad", así como el ensayo "Sobre las matemáticas"".
Otros datos del libro:
| ISBN: | 9780981550725 |
| Autor: | |
| Editorial: | |
| Encuadernación: | Tapa dura |
Compra:
Actualmente disponible, en stock.
