Physical Computation Book in PDF, ePub and Kindle version is available to download in english. Read online anytime anywhere directly from your device. Click on the download button below to get a free pdf file of Physical Computation book. This book definitely worth reading, it is an incredibly well-written.
Computation permeates our world, but a satisfactory philosophical theory of what it is has been lacking. Gualtiero Piccinini presents a mechanistic account of what makes a physical system a computing system. He argues that computation does not entail representation or information-processing, although information-processing entails computation.
Gualtiero Piccinini articulates and defends a mechanistic account of concrete, or physical, computation. A physical system is a computing system just in case it is a mechanism one of whose functions is to manipulate vehicles based solely on differences between different portions of the vehicles according to a rule defined over the vehicles. The Nature of Computation discusses previous accounts of computation and argues that the mechanistic account is better. Many kinds of computation are explicated, such as digital vs. analog, serial vs. parallel, neural network computation, program-controlled computation, and more. Piccinini argues that computation does not entail representation or information processing although information processing entails computation. Pancomputationalism, according to which every physical system is computational, is rejected. A modest version of the physical Church-Turing thesis, according to which any function that is physically computable is computable by Turing machines, is defended.
Computing systems are ubiquitous in contemporary life. Even the brain is thought to be a computing system of sorts. But what does it mean to say that a given organ or system "computes"? What is it about laptops, smartphones, and nervous systems that they are deemed to compute - and why does itseldom occur to us to describe stomachs, hurricanes, rocks, or chairs that way? These questions are key to laying the conceptual foundations of computational sciences, including computer science and engineering, and the cognitive and neural sciences.Oron Shagrir here provides an extended argument for the semantic view of computation, which states that semantic properties are involved in the nature of computing systems. The first part of the book provides general background. Although different in scope, these chapters have a common theme-namely,that the linkage between the mathematical theory of computability and the notion of physical computation is weak. The second part of the book reviews existing non-semantic accounts of physical computation. Shagrir analyze three influential accounts in greater depth and argues that none of theseaccounts is satisfactory, but each of them highlights certain key features of physical computation that he eventually adopts in his own semantic account of physical computation - a view that rests on a phenomenon known as simultaneous implementation (or "indeterminacy of computation"). Shagrircompletes the characterization of his account of computation and highlights the distinctive feature of computational explanations.
A very active field of research is emerging at the frontier of statistical physics, theoretical computer science/discrete mathematics, and coding/information theory. This book sets up a common language and pool of concepts, accessible to students and researchers from each of these fields.
In The Physical Signature of Computation, Neal Anderson and Gualtiero Piccinini articulate and defend the robust mapping account--the most systematic, rigorous, and comprehensive account of computational implementation to date. Drawing in part from recent results in physical information theory, they argue that mapping accounts of implementation can be made adequate by incorporating appropriate physical constraints. According to the robust mapping account, the key constraint on mappings from physical to computational states--the key for establishing that a computation is physically implemented--is physical-computational equivalence: evolving physical states bear neither more nor less information about the evolving computation than do the computational states they map onto. When this highly nontrivial constraint is satisfied, among others that are spelled out as part of the account, a physical system can be said to implement a computation in a robust sense, which means that the system bears the physical signature of the computation. Anderson and Piccinini apply their robust mapping account to important questions in physical foundations of computation and cognitive science, including the alleged indeterminacy of computation, pancomputationalism, and the computational theory of mind. They show that physical computation is determinate, nontrivial versions of pancomputationalism fail, and cognition involves computation only insofar as neurocognitive systems bear the physical signature of specific computations. They also argue that both consciousness and physics outstrip computation.
Anderson and Piccinini offer the most systematic, rigorous, and comprehensive account of computational implementation to date. Their robust mapping account holds that the key for establishing that a computation is physically implemented is that the physical states bear neither more nor less information than the computational states they map onto.
Although computation and the science of physical systems would appear to be unrelated, there are a number of ways in which computational and physical concepts can be brought together in ways that illuminate both. This volume examines fundamental questions which connect scholars from both disciplines: is the universe a computer? Can a universal computing machine simulate every physical process? What is the source of the computational power of quantum computers? Are computational approaches to solving physical problems and paradoxes always fruitful? Contributors from multiple perspectives reflecting the diversity of thought regarding these interconnections address many of the most important developments and debates within this exciting area of research. Both a reference to the state of the art and a valuable and accessible entry to interdisciplinary work, the volume will interest researchers and students working in physics, computer science, and philosophy of science and mathematics.
This Element has three main aims. First, it aims to help the reader understand the concept of computation that Turing developed, his corresponding results, and what those results indicate about the limits of computational possibility. Second, it aims to bring the reader up to speed on analyses of computation in physical systems which provide the most general characterizations of what it takes for a physical system to be a computational system. Third, it aims to introduce the reader to some different kinds of quantum computers, describe quantum speedup, and present some explanation sketches of quantum speedup. If successful, this Element will equip the reader with a basic knowledge necessary for pursuing these topics in more detail.
This book presents a study of digital computation in contemporary cognitive science. Digital computation is a highly ambiguous concept, as there is no common core definition for it in cognitive science. Since this concept plays a central role in cognitive theory, an adequate cognitive explanation requires an explicit account of digital computation. More specifically, it requires an account of how digital computation is implemented in physical systems. The main challenge is to deliver an account encompassing the multiple types of existing models of computation without ending up in pancomputationalism, that is, the view that every physical system is a digital computing system. This book shows that only two accounts, among the ones examined by the author, are adequate for explaining physical computation. One of them is the instructional information processing account, which is developed here for the first time. "This book provides a thorough and timely analysis of differing accounts of computation while advancing the important role that information plays in understanding computation. Fresco’s two-pronged approach will appeal to philosophically inclined computer scientists who want to better understand common theoretical claims in cognitive science.” Marty J. Wolf, Professor of Computer Science, Bemidji State University “An original and admirably clear discussion of central issues in the foundations of contemporary cognitive science.” Frances Egan, Professor of Philosophy, Rutgers, The State University of New Jersey