Martin Davis on Computability, Computational Logic, and Mathematical Foundations. (2016)

• Record Type: Book
• Further Information: Note: Edited by Eugenio G. Omodeo, Alberto Policriti.
• Editors: Omodeo, Eugenio; Policriti, Alberto
• Contents: Chapter 1. My Life as a Logician (Martin Davis) -- Chapter 2. Martin Davis and Hilbert's Tenth Problem (Yuri Matiyasevich) -- Chapter 3. Extensions of Hilbert's Tenth Problem: Definability and Decidability in Number Theory (Alexandra Shlapentokh) -- Chapter 4. A Story of Hilbert's Tenth Problem (Laura Elena Morales Guerrero) -- Chapter 5. Hyperarithmetical Sets (Yiannis N. Moschovakis) -- Chapter 6. Honest Computability and Complexity (Udi Boker and Nachum Dershowitz) -- Chapter 7. Why Post Did [Not] Have Turing's Thesis (Wilfried Sieg) -- Chapter 8. On Quantum Computation, Anyons, and Categories (Andreas Blass).
• Publisher Details: Cham : Springer
• Publication Date: 2016
• Extent: 1 online resource
• Subjects: 100; Philosophy; PHILOSOPHY / Essays; PHILOSOPHY / Reference; Number theory; Logic, Symbolic and mathematical; Logic; Logic; Logic, Symbolic and mathematical; Number theory; Mathematics -- Logic; Mathematical foundations; Philosophy -- Logic; Philosophy: logic; Electronic books; Electronic books
• Languages: English
• ISBNs: 9783319418421; 3319418424
• Related ISBNs: 9783319418414; 3319418416
• Notes: Note: Includes bibliographical references at the end of each chapters and indexes.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.