- ホーム
- > 洋書
- > 英文書
- > Science / Mathematics
Full Description
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.
Contents
Acknowledgements
Introduction
1: Towards an Account of Physical Computation
2: Mapping Accounts
3: Semantic Accounts
4: Pancomputationalism
5: From Functional Analysis to Mechanistic Explanation
6: The Ontology of Functional Mechanisms
7: The Mechanistic Account
8: Primitive Components of Computing Mechanisms
9: Complex Components of Computing Mechanisms
10: Digital Calculators
11: Digital Computers
12: Analog Computers
13: Parallel Computers and Neural Networks
14: Information Processing
15: The Bold Physical Church-Turing Thesis
16: The Modest Physical Church-Turing Thesis
Epilogue: The Nature of Computation
Appendix: Computability
Bibliography
Index
