Opening book details…
Can I read Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Outstanding Contributions to Logic, 10) on EtoBox?
Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Outstanding Contributions to Logic, 10) by Eugenio G. Omodeo, Alberto Policriti (eds.) is a philosophy book available to read on EtoBox.
What is Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Outstanding Contributions to Logic, 10) about?
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
Who reads Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Outstanding Contributions to Logic, 10)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Eugenio G. Omodeo, Alberto Policriti (eds.)
- Publisher
- Springer International Publishing : Imprint : Springer
- Published
- 2016
- Language
- EN
- ISBN
- 9783319418421
- Category
- philosophy
- Subjects
- Mathematics, Science, Philosophy
- Updated
- 2026-03-25
More by Eugenio G. Omodeo, Alberto Policriti (eds.)
Browse all works by Eugenio G. Omodeo, Alberto Policriti (eds.)
Similar books
- Feferman on Foundations: Logic, Mathematics, Philosophy (Outstanding Contributions to Logic, 13) — Gerhard Jäger, Wilfried Sieg (2017)
- Raymond Smullyan on Self Reference (Outstanding Contributions to Logic (14)) — Melvin Fitting; Brian Rayman; Raymond M Smullyan (2017)
- Krister Segerberg on Logic of Actions (Outstanding Contributions to Logic Book 1) — Richmond H. Thomason (auth.), Robert Trypuz (2014)
- Temporal Logic: Mathematical Foundations and Computational Aspects Volume 1 (Oxford Logic Guides, 28) — Dov M Gabbay; Ian Hodkinson; Mark Reynolds; Marcelo Finger (1994)
- J. Michael Dunn on Information Based Logics (Outstanding Contributions to Logic, 8) — Katalin Bimbó (2016)
- Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics (Outstanding Contributions to Logic, 20) — Philip J. Scott Claudia Casadio (2021)