Name: Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Outstanding Contributions to Logic) (en Inglés)
Price: 422682.00 COP
Availability: InStock
ISBN: 9783319824437

portada 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

$ 422.682

$ 845.364

Ahorras: $ 422.682

50% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Martes 21 de Mayo y el Martes 04 de Junio.

Lo recibirás en cualquier lugar de Colombia entre 1 y 5 días hábiles luego del envío.

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.