New Computational Paradigms : Changing Conceptions of What is Computable
Publication year: 2008
ISBN: 978-0-387-68546-5
Internet Resource: Please Login to download book
This book examines new developments in the theory and practice of computation from a mathematical perspective, with topics ranging from classical computability to complexity, from biocomputing to quantum computing. The book opens with an introduction by Andrew Hodges, the Turing biographer, who analyzes the pioneering work that anticipated recent developments concerning computation’s allegedly new paradigms. The remaining material covers traditional topics in computability theory such as relative computability, theory of numberings, and domain theory, in addition to topics on the relationships between proof theory, computability, and complexity theory.
Subject: Computer Science, Analysis, algorithms, complexity, complexity theory, computability theory, computer, computer science, information theory, logic, mathematical logic, model theory, philosophy, proof theory, Math Applications in Computer Science, Theory of Computation, Mathematical Logic and Foundations, Philosophy, general, Quantum Physics, Quantum Information Technology, Spintronics
