Sign-In
Cart
Computability
Hardcover
FictionPhilosophyGeneral Computers
ISBN13: 9783030832018
Publisher: Springer Nature
Published: Aug 3 2022
Pages: 637
Weight: 2.43
Height: 1.44 Width: 6.14 Depth: 9.21
Language: English
This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians and philosophers studying the mathematical foundations of computing) need to mathematically analyze computational processes and investigate the theoretical limitations of computing. Beginning with an introduction to the mathematisation of mechanical process using URM programs, this textbook explains basic theory such as primitive recursive functions and predicates and sequence-coding, partial recursive functions and predicates, and loop programs.
Advanced chapters cover the Ackerman function, Tarski's theorem on the non-representability of truth, Goedel's incompleteness and Rosser's incompleteness theorems, two short proofs of the incompleteness theorem that are based on Lob's deliverability conditions, Church's thesis, the second recursion theorem and applications, a provably recursive universal function for the primitive recursive functions, Oraclecomputations and various classes of computable functionals, the Arithmetical hierarchy, Turing reducibility and Turing degrees and the priority method, a thorough exposition of various versions of the first recursive theorem, Blum's complexity, Hierarchies of primitive recursive functions, and a machine-independent characterisation of Cobham's feasibly computable functions.
Also in
Philosophy
Solidarity: The Past, Present, and Future of a World-Changing Idea
Taylor, Astra
Hunt-Hendrix, Leah
Hardcover
In the Beginning Was the Deed: Realism and Moralism in Political Argument
Williams, Bernard
Paperback
The American Indian Mind in a Linear World: American Indian Studies and Traditional Knowledge
Fixico, Donald Lee
Paperback
Dreaming of Cinema: Spectatorship, Surrealism, and the Age of Digital Media
Lowenstein, Adam
Paperback
Machine Intelligence and the Imaginal Realm: Spiritual Freedom and the Re-Animation of Matter
Lafitte, Luke
Paperback
The Sociogony: Social Facts and the Ontology of Objects, Things, and Monsters
Worrell, Mark P.
Paperback
On Quality: An Inquiry Into Excellence: Unpublished and Selected Writings
Pirsig, Robert M.
Pirsig, Wendy K.
Hardcover
The Electromagnetic Brain: Em Field Theories on the Nature of Consciousness
Joye, Shelli Renée
Paperback
Philosophy in Turbulent Times: Canguilhem, Sartre, Foucault, Althusser, Deleuze, Derrida
Roudinesco, Elisabeth
Paperback
The New Science of Giambattista Vico: Unabridged Translation of the Third Edition (1744) with the Addition of Practic of the New Science
Vico, Giambattista
Paperback
The Persuaders: At the Front Lines of the Fight for Hearts, Minds, and Democracy
Giridharadas, Anand
Hardcover
The Dream of Reason: A History of Philosophy from the Greeks to the Renaissance
Gottlieb, Anthony
Paperback
The Modes of Scepticism: Ancient Texts and Modern Interpretations
Julia, Annas
Annas, Julia
Barnes, Jonathan
Paperback
Friendship and Society: An Introduction to Augustine's Practical Philosophy
Burt, Donald X.
Paperback
Suffering and the Search for Meaning: Contemporary Responses to the Problem of Pain
Rice, Richard
Paperback
The Philosophy of John Dewey: Volume 1. the Structure of Experience. Volume 2: The Lived Experience
Dewey, John
Paperback
Essays V2: Moral And Entertaining On The Various Faculties And Passions Of The Human Mind (1815)
Clarendon, Edward Hyde Earl of
Paperback
The Daily Stoic: 366 Meditations on Wisdom, Perseverance, and the Art of Living
Holiday, Ryan
Hanselman, Stephen
Hardcover
The Mattering Instinct: How Our Deepest Longing Drives Us and Divides Us
Goldstein, Rebecca Newberger
Hardcover
The Obstacle Is the Way Expanded 10th Anniversary Edition: The Timeless Art of Turning Trials Into Triumph
Holiday, Ryan
Hardcover
Self-Help from the Middle Ages: What the Seven Deadly Sins Can Teach Us about Living
Jones, Peter
Hardcover
Other Minds: The Octopus, the Sea, and the Deep Origins of Consciousness
Godfrey-Smith, Peter
Paperback
The Boy, the Mole, the Fox and the Horse Fifth Anniversary Limited Edition: The Global Bestseller
Mackesy, Charlie
Hardcover
Bless & Release: The physics of letting go-and wanting what's meant for you.
Laporte, Danielle
Paperback
The Ethical Slut, Third Edition: A Practical Guide to Polyamory, Open Relationships, and Other Freedoms in Sex and Love
Easton, Dossie
Hardy, Janet W.
Paperback
Eight Million Ways to Happiness: Wisdom for Inspiration and Healing from the Heart of Japan
Yoda, Hiroko
Hardcover
Self-Reliance and Nature: The Complete First and Second Series of Emerson's Essays
Emerson, Ralph Waldo
Hardcover