Martin Davis on Computability, Computational Logic, and Mathematical Foundations Image close
Martin Davis on Computability, Computational Logic, and Mathematical Foundations on Hardback
Martin Davis on Computability, Computational Logic, and Mathematical Foundations on Hardback
Show Hide Adult Content
Martin Davis on Computability, Computational Logic, and Mathematical Foundations close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Humanities  
Philosophy  
Philosophy: logic

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Hardback
$415.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $103.75 with Afterpay Learn more

6 weekly interest-free payments of $69.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 17-29 July using International Courier

Explore more Outstanding Contributions to Logic

See all products in this series

Saul Kripke on Modal Logic on Hardback
$432.00
Saul Kripke on Modal Logic
Hardback
Pre-order - out 4 Sep 2024
Dick de Jongh on Intuitionistic and Provability Logics on Hardback
$358.00
Dick de Jongh on Intuitionistic and Provability Logics
Hardback
Pre-order - out 8 Jul 2024
Feferman on Foundations on Hardback
$516.00
Feferman on Foundations
Hardback
Available - Usually ships in 3-4 weeks
Hajnal Andréka and István Németi on Unity of Science
$289.00
Hajnal Andréka and István Németi on Unity of Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Leo Esakia on Duality in Modal and Intuitionistic Logics on Hardback
$293.00
Leo Esakia on Duality in Modal and Intuitionistic Logics
Hardback
Available - Usually ships in 3-4 weeks
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
$466.00
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
Paperback / softback
Available - Usually ships in 3-4 weeks
Graham Priest on Dialetheism and Paraconsistency on Hardback
$466.00
Graham Priest on Dialetheism and Paraconsistency
Hardback
Available - Usually ships in 3-4 weeks
Dag Prawitz on Proofs and Meaning on Hardback
$296.00
Dag Prawitz on Proofs and Meaning
Hardback
Available - Usually ships in 3-4 weeks
Rohit Parikh on Logic, Language and Society on Hardback
$319.00
Rohit Parikh on Logic, Language and Society
Hardback
Available - Usually ships in 3-4 weeks
Krister Segerberg on Logic of Actions
$290.00
Krister Segerberg on Logic of Actions
Paperback / softback
Available - Usually ships in 3-4 weeks
Johan van Benthem on Logic and Information Dynamics on Hardback
$587.00
Johan van Benthem on Logic and Information Dynamics
Hardback
Available - Usually ships in 3-4 weeks
David Makinson on Classical Methods for Non-Classical Problems
$436.00
David Makinson on Classical Methods for Non-Classical Problems
Paperback / softback
Available - Usually ships in 3-4 weeks
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
$415.00
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity...
Paperback / softback
Available - Usually ships in 3-4 weeks
Leo Esakia on Duality in Modal and Intuitionistic Logics
$290.00
Leo Esakia on Duality in Modal and Intuitionistic Logics
Paperback / softback
Available - Usually ships in 3-4 weeks
Larisa Maksimova on Implication, Interpolation, and Definability
$150.00
Larisa Maksimova on Implication, Interpolation, and Definability
Paperback / softback
Available - Usually ships in 3-4 weeks
Kit Fine on Truthmakers, Relevance, and Non-classical Logic on Hardback
$339.00
Kit Fine on Truthmakers, Relevance, and Non-classical Logic
Hardback
Available - Usually ships in 3-4 weeks

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.
Release date NZ
February 9th, 2017
Contributors
  • Edited by Alberto Policriti
  • Edited by Eugenio G. Omodeo
Pages
438
Edition
1st ed. 2016
Audience
  • Professional & Vocational
Illustrations
2 Illustrations, color; 25 Illustrations, black and white; XXVII, 438 p. 27 illus., 2 illus. in color.
Dimensions
155x235x25
ISBN-13
9783319418414
Product ID
25477471

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Humanities >
Philosophy >
Philosophy: logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Computers & Internet >
Computer science