Sign-In
Cart
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Paperback
Series: Outstanding Contributions to Logic, Book 10
ISBN13: 9783319824437
Publisher: Springer Nature
Published: May 3 2018
Pages: 438
Weight: 1.43
Height: 0.94 Width: 6.14 Depth: 9.21
Language: English
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).
1 different editions
Also available
Also in
Logic
True Facts That Sound Like Bull$#*t: 500 Insane-But-True Facts That Will Shock and Impress Your Friends 1
Carley, Shane
Paperback
The Fallacy Detective: Thirty-Eight Lessons on How to Recognize Bad Reasoning
Bluedorn, Nathaniel
Bluedorn, Hans
Paperback
True Facts That Sound Like Bull$#*t: 500 Insane-But-True Facts That Will Shock and Impress Your Friends
Carley, Shane
Hardcover
The Thinking Toolbox: Thirty-Five Lessons That Will Build Your Reasoning Skills
Bluedorn, Nathaniel
Bluedorn, Hans
Paperback
The Pig That Wants to Be Eaten: 100 Experiments for the Armchair Philosopher
Baggini, Julian
Paperback
Logically Fallacious: The Ultimate Collection of Over 300 Logical Fallacies (Academic Edition)
Bennett, Bo
Hardcover
Mastering Logical Fallacies: The Definitive Guide to Flawless Rhetoric and Bulletproof Logic
Withey, Michael
Paperback
The Art of Logical Thinking: Inductive, Deductive and Hypothetical Reasoning and the Use of Syllogisms and Fallacies
Atkinson, William Walker
Paperback
How to Think about the Great Ideas: From the Great Books of Western Civilization
Adler, Mortimer
Paperback
The Power of Critical Thinking: Effective Reasoning about Ordinary and Extraordinary Claims
Vaughn, Lewis
Paperback
With All Your Mind: A Course on Logic and Argument for the Christian Classroom
Finkbeiner, Brad Paul
Paperback
Gateway to the Stoics: Marcus Aurelius's Meditations, Epictetus's Enchiridion, and Selections from Seneca's Letters
Aurelius, Marcus
Epictetus
Seneca
Paperback
The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number
Frege, Gottlob
Paperback
The Annotated Gödel: A Reader's Guide to his Classic Paper on Logic and Incompleteness
Prince, Hal
Paperback
Nonsense: Red Herrings, Straw Men and Sacred Cows: How We Abuse Logic in Our Everyday Language
Gula, Robert J.
Paperback
Arguing for a Better World: How Philosophy Can Help Us Fight for Social Justice
Shahvisi, Arianne
Paperback
Walden - On Walden Pond - Life in the Woods - The Transcendentalist Masterpiece
Thoreau, Henry David
Paperback
Playing God with Emerging Technologies: How to Avoid the Traps of Techno-Optimism and Techno-Pessimism
Mizrahi, Moti
Hardcover
Consciousness as Representing One's Mind: The Higher-Order Approach to Consciousness Explained
Brown, Richard
Hardcover
Brief History of the Paradox: Philosophy and the Labyrinths of the Mind (Revised)
Sorensen, Roy
Paperback
Master Your Mind: Critical-Thinking Exercises and Activities to Boost Brain Power and Think Smarter
Danesi, Marcel
Paperback
Clear and Present Thinking: A Handbook in Logic and Rationality
Semczyszyn, Nola
Elsby, Charlene
Baltzer-Jaray, Kimberly
Paperback
Linguistic Relativity: An Essential Guide to Past Debates and Future Prospects
Pelletier, Francis Jeffry
Nefdt, Ryan M.
Paperback
Good Thinking: Why Flawed Logic Puts Us All at Risk and How Critical Thinking Can Save the World
Grimes, David Robert
Paperback
Good Reasoning Matters!: A Guide to Critical Thinking in a Digital Age, Sixth Edition
Groarke, Leo
Carozza, Linda
Tindale, Christopher W.
Paperback
Wittgenstein's Critique of Russell's Multiple Relation Theory of Judgement
Connelly, James R.
Paperback
Tractatus Logico-Philosophicus (Chiron Academic Press - The Original Authoritative Edition)
Wittgenstein, Ludwig
Paperback
The Annotated Gödel: A Reader's Guide to his Classic Paper on Logic and Incompleteness
Prince, Hal
Hardcover
Shadows of Science: How to Uphold Science, Detect Pseudoscience, and Expose Antiscience in the Age of Disinformation
Frazier, Kendrick
Hardcover
Stoic Quotes: 365 Daily Reflections & Thoughts of Wisdom to Strengthen your Perspective.
Harris, Tate
Paperback