The Nature of Physical Computation

The Nature of Physical Computation

Author: Oron Shagrir

Publisher: Oxford University Press

Published: 2022

Total Pages: 319

ISBN-13: 0197552382

DOWNLOAD EBOOK

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.


Physical Computation

Physical Computation

Author: Gualtiero Piccinini

Publisher: Oxford University Press, USA

Published: 2015

Total Pages: 324

ISBN-13: 0199658854

DOWNLOAD EBOOK

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.


The Nature of Computation

The Nature of Computation

Author: Cristopher Moore

Publisher: OUP Oxford

Published: 2011-08-11

Total Pages: 1498

ISBN-13: 0191620807

DOWNLOAD EBOOK

Computational complexity is one of the most beautiful fields of modern mathematics, and it is increasingly relevant to other sciences ranging from physics to biology. But this beauty is often buried underneath layers of unnecessary formalism, and exciting recent results like interactive proofs, phase transitions, and quantum computing are usually considered too advanced for the typical student. This book bridges these gaps by explaining the deep ideas of theoretical computer science in a clear and enjoyable fashion, making them accessible to non-computer scientists and to computer scientists who finally want to appreciate their field from a new point of view. The authors start with a lucid and playful explanation of the P vs. NP problem, explaining why it is so fundamental, and so hard to resolve. They then lead the reader through the complexity of mazes and games; optimization in theory and practice; randomized algorithms, interactive proofs, and pseudorandomness; Markov chains and phase transitions; and the outer reaches of quantum computing. At every turn, they use a minimum of formalism, providing explanations that are both deep and accessible. The book is intended for graduate and undergraduate students, scientists from other areas who have long wanted to understand this subject, and experts who want to fall in love with this field all over again.


The Physical Signature of Computation

The Physical Signature of Computation

Author: Neal G. Anderson

Publisher: Oxford University Press

Published: 2024-07-09

Total Pages: 334

ISBN-13: 0192570293

DOWNLOAD EBOOK

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.


Physical Computation and Cognitive Science

Physical Computation and Cognitive Science

Author: Nir Fresco

Publisher: Springer Science & Business Media

Published: 2013-10-12

Total Pages: 242

ISBN-13: 3642413757

DOWNLOAD EBOOK

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


The Incomputable

The Incomputable

Author: S. Barry Cooper

Publisher: Springer

Published: 2017-05-05

Total Pages: 292

ISBN-13: 3319436694

DOWNLOAD EBOOK

This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontinuities in our grasp suggest a need for continued discourse between researchers from different disciplines, and this book is unique in its focus on the mathematical theory of incomputability and its relevance for the real world. The core of the book consists of thirteen chapters in five parts on extended models of computation; the search for natural examples of incomputable objects; mind, matter, and computation; the nature of information, complexity, and randomness; and the mathematics of emergence and morphogenesis. This book will be of interest to researchers in the areas of theoretical computer science, mathematical logic, and philosophy.


The Nature of Physical Computation

The Nature of Physical Computation

Author: Oron Shagrir

Publisher:

Published: 2022

Total Pages:

ISBN-13: 9780197552391

DOWNLOAD EBOOK

"Computing systems are everywhere today. Even the brain is thought to be a sort of computing system. 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 it seldom occur to us to describe stomachs, hurricanes, rocks, or chairs that way? The book provides an extended argument for the semantic view of computation, which states that semantic properties are involved in the nature of computing systems. Laptops, smartphones, and nervous systems compute because they are accompanied by representations. Stomachs, hurricanes, and rocks, for instance, which do not have semantic properties, do not compute. The first part of the book argues that the linkage between the mathematical theory of computability and the notion of physical computation is weak. Theoretical notions such as algorithms, effective procedure, program, and automaton play only a minor role in identifying physical computation. The second part of the book reviews three influential accounts of physical computation and argues that while none of these accounts is satisfactory, each of them highlights certain key features of physical computation. The final part of the book develops and argues for a semantic account of physical computation and offers a characterization of computational explanations"--


Mathematics and Computation

Mathematics and Computation

Author: Avi Wigderson

Publisher: Princeton University Press

Published: 2019-10-29

Total Pages: 434

ISBN-13: 0691189137

DOWNLOAD EBOOK

From the winner of the Turing Award and the Abel Prize, an introduction to computational complexity theory, its connections and interactions with mathematics, and its central role in the natural and social sciences, technology, and philosophy Mathematics and Computation provides a broad, conceptual overview of computational complexity theory—the mathematical study of efficient computation. With important practical applications to computer science and industry, computational complexity theory has evolved into a highly interdisciplinary field, with strong links to most mathematical areas and to a growing number of scientific endeavors. Avi Wigderson takes a sweeping survey of complexity theory, emphasizing the field’s insights and challenges. He explains the ideas and motivations leading to key models, notions, and results. In particular, he looks at algorithms and complexity, computations and proofs, randomness and interaction, quantum and arithmetic computation, and cryptography and learning, all as parts of a cohesive whole with numerous cross-influences. Wigderson illustrates the immense breadth of the field, its beauty and richness, and its diverse and growing interactions with other areas of mathematics. He ends with a comprehensive look at the theory of computation, its methodology and aspirations, and the unique and fundamental ways in which it has shaped and will further shape science, technology, and society. For further reading, an extensive bibliography is provided for all topics covered. Mathematics and Computation is useful for undergraduate and graduate students in mathematics, computer science, and related fields, as well as researchers and teachers in these fields. Many parts require little background, and serve as an invitation to newcomers seeking an introduction to the theory of computation. Comprehensive coverage of computational complexity theory, and beyond High-level, intuitive exposition, which brings conceptual clarity to this central and dynamic scientific discipline Historical accounts of the evolution and motivations of central concepts and models A broad view of the theory of computation's influence on science, technology, and society Extensive bibliography


Computation and Its Limits

Computation and Its Limits

Author: Paul Cockshott

Publisher: Oxford University Press

Published: 2012-03-15

Total Pages: 246

ISBN-13: 0199640327

DOWNLOAD EBOOK

Although we are entirely unaware of it, computation is central to all aspects of our existences. Every day we solve, or try to solve, a myriad of problems, from the utterly trivial to the bafflingly complex. This book explains why it is possible to do computation and what the ultimate limits of it are, as understood by modern science.


The Beginning of Infinity

The Beginning of Infinity

Author: David Deutsch

Publisher: Penguin UK

Published: 2011-03-31

Total Pages: 571

ISBN-13: 0141969695

DOWNLOAD EBOOK

'Science has never had an advocate quite like David Deutsch ... A computational physicist on a par with his touchstones Alan Turing and Richard Feynman, and a philosopher in the line of his greatest hero, Karl Popper. His arguments are so clear that to read him is to experience the thrill of the highest level of discourse available on this planet and to understand it' Peter Forbes, Independent In our search for truth, how far have we advanced? This uniquely human quest for good explanations has driven amazing improvements in everything from scientific understanding and technology to politics, moral values and human welfare. But will progress end, either in catastrophe or completion - or will it continue infinitely? In this profound and seminal book, David Deutsch explores the furthest reaches of our current understanding, taking in the Infinity Hotel, supernovae and the nature of optimism, to instill in all of us a wonder at what we have achieved - and the fact that this is only the beginning of humanity's infinite possibility. 'This is Deutsch at his most ambitious, seeking to understand the implications of our scientific explanations of the world ... I enthusiastically recommend this rich, wide-ranging and elegantly written exposition of the unique insights of one of our most original intellectuals' Michael Berry, Times Higher Education Supplement 'Bold ... profound ... provocative and persuasive' Economist 'David Deutsch may well go down in history as one of the great scientists of our age' Scotsman