portada Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Outstanding Contributions to Logic) (en Inglés)

Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Outstanding Contributions to Logic) (en Inglés)

Formato

Libro Físico

Editorial

Springer

Año

2018

Idioma

Inglés

N° páginas

438

Encuadernación

Tapa Blanda

ISBN13

9783319824437

Categorías

Lógica matemática

Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Outstanding Contributions to Logic) (en Inglés)

Libro Nuevo Importado

Envío: 17 a 24 días háb.

$ 190.80$ 95.40

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 95.40

Llega entre el 22 Sep y el 05 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Outstanding Contributions to Logic) (en Inglés)"

This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspects of Davis’ work and set it in a contemporary context. They analyse, discuss and develop many of the ideas and concepts that Davis put forward, including such issues as contemporary satisfiability solvers, essential unification, quantum computing and generalisations of Hilbert’s tenth problem. The book starts out with a scientific autobiography by Davis, and ends with his responses to comments included in the contributions. In addition, it includes two previously unpublished original historical papers in which Davis and Putnam investigate the decidable and the undecidable side of Logic, as well as a full bibliography of Davis’ work. As a whole, this book shows how Davis’ scientific work lies at the intersection of computability, theoretical computer science, foundations of mathematics, and philosophy, and draws its unifying vision from his deep involvement in Logic.

Opiniones del libro

¿Leíste este libro? Inicia sesión para poder agregar tu propia evaluación.

Ver más opiniones de clientes

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes

Reseña del libro "Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Outstanding Contributions to Logic) (en Inglés)"

Opiniones del libro

Preguntas frecuentes sobre el libro

¿El libro es original?

¿En qué Idioma está escrito el libro?

¿Cuál es la encuadernación de este libro?

Preguntas y respuestas sobre el libro

Opiniones sobre Buscalibre