Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Description

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.

Similar Books

ISBN 10: 3319419013
ISBN 13: 9783319419015

31 Jan 2017
Neil Douglas

ISBN 10: 3319418351
ISBN 13: 9783319418353

25 Aug 2016
Chima Williams Iheme

ISBN 10: 3319420216
ISBN 13: 9783319420219

24 Oct 2016
Katarzyna A. Rejniak

ISBN 10: 3319391097
ISBN 13: 9783319391090

12 May 2016
Manuel Serrano

ISBN 10: 3319419617
ISBN 13: 9783319419619

08 Jul 2016
Giuseppe Di Bucchianico

ISBN 10: 3319420186
ISBN 13: 9783319420189

01 Sep 2016
Jose Julio Alferes

ISBN 10: 3319420577
ISBN 13: 9783319420578

09 Sep 2016
Ondrej Slaby

ISBN 10: 3319452606
ISBN 13: 9783319452609

24 Nov 2016
Viorel Barbu

ISBN 10: 3319375350
ISBN 13: 9783319375359

04 Nov 2016
Ronald A. Chadderton

ISBN 10: 331945305X
ISBN 13: 9783319453057

01 Nov 2016
Anandwardhan A. Hardikar

ISBN 10: 3319386778
ISBN 13: 9783319386775

18 Nov 2016
John C. Rogers III

ISBN 10: 3319419943
ISBN 13: 9783319419947

14 Sep 2017
Jan G. van den Tweel