ENVÍO GRATIS a toda Colombia con compras superiores a $ 79.000 (*)

SINOPSIS:

Now in a new edition!--the classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions and readings about the crisis in the foundations of mathematics in the early 20th century while presenting the basic ideas of whole number, function, proof, and real number. Part II starts with readings from Turing and Post leading to the formal theory of recursive functions. Part III presents sufficient formal logic to give a full development of Gödel's incompleteness theorems. Part IV considers the significance of the technical work with a discussion of Church's Thesis and readings on the foundations of mathematics. This new edition contains the timeline "Computability and Undecidability" as well as the essay "On mathematics".

Características:

Atributos LU
Año de Edición
2018
Descatalogado
NO
Tipo
eBook
Autor
Richard L Epstein, Walter A Carnielli
Subtítulo
Computable Functions, Logic, and the Foundations of Mathematics
ISXN
9780981550732
Idioma
Inglés
Núm. Páginas
382
Peso (Físico)
0
Tamaño Archivo (Virtual)
5.14
DRM (Virtual)
Formato Electrónico (Virtual)
PDF
Título
Computability
Biografía del Autor
<p>Richard L. Epstein received his Ph.D. in mathematics at the University of California, Berkeley. He was a postdoctoral fellow in mathematics and philosophy at Victoria University of Wellington, New Zealand, a U.S. National Academy of Sciences Scholar to Poland, a Fulbright Fellow to Brazil, and a CNPQ Fellow to the University of Paraiba, Brazil. He is currently the Head of the Advanced Reasoning Forum.<br><br>Walter A Carnielli received his Ph.D in logic and the foundations of mathematics at the State University of Campinas, Brazil. He has held a postdoctoral fellowship at the University of California, Berkeley, and an Alexander von Humboldt scholar to Universitat Bonn. From 1999 to 2017 he was Director of the Center for Logic, Epistemology, and the History of Science at the State University of Campinas, Brazil.</p>
Botón empaque navideño
ISBN: 9780981550732
Referencia: BW1027092079

Computability - Computable Functions, Logic, and the Foundations of Mathematics

eBook
$ 114.900,00
Guía básica cómo descargar un ebook
Títulos sugeridos

Boton Guía Básica para descargar y leer tus e-books

4 pasos para descarga y leer tus libros electrónicos desde ADOBE DIGITAL EDITIONS.

Guía eBook Paso 1

COMPRA TU(S) EBOOK(S) SELECCIONADOS.

Una vez realices la compra de tu(s) eBook(s), recibirás en tu correo la confirmación.

Guía eBook Paso 1

DESCARGA ADOBE DIGITAL EDITIONS

Para leer tu(s) eBook(s) en Windows, Mac o en Dispositivos Móviles iOS y Android (smartphones y tablets) es INDISPENSABLE que descargues antes de abrir tu(s) eBooks(s) el programa de: ADOBE DIGITAL EDITIONS.

Recuerda que, no podrás realizar la descarga por medio del sistema operativo Linux

Si deseas mayor información sobre CÓMO INSTALAR ADOBE DIGITAL EDITIONS, HAZ CLIC AQUÍ

Guía eBook Paso 1

DESCARGA TU(S) EBOOK(S) EN “MI CUENTA”

Una vez realizada la compra de tu ebook y hecha la descarga del programa ADOBE DIGITAL EDITIONS, ingresa a “Mi cuenta” en la parte superior derecha de la página web, también puedes accerder a esta interfaz haciendo clic aquí.

En el boton Mis libros electrónicos, encontrarás todas las publicaciones digitales que has adquirido disponibles para descargar.

Guía eBook Mis descargas
Guía eBook Paso 1

¡LISTOS PARA LEER!

Con el programa instalado de ADOBE DIGITAL EDITIONS y la descarga de tus libros electrónicos desde “Mi cuenta” ya podrás iniciar tu lectura.

Ingresa a la aplicación de Adobe Digitatl Edition, y buscar el libro electrónico que descargaste en el paso no. 3

Si tienes algúna duda o inconveniente con la descarga o visualización, conoce cómo resolverlos aquí.

Si requieres de información adicional de tu compra, escríbenos a: servicioalcliente@libreriadelau.com o contáctanos al siguiente número: +57 3107157616

LOS LIBROS MÁS VENDIDOS