(Redirected from Computational)

This article
possibly contains original research. (May 2017) (Learn how and when to remove this template message) |

This article
needs additional citations for verification. (May 2011) (Learn how and when to remove this template message) |

**Computation** is any type of calculation^{[1]}^{[2]} that includes both arithmetical and non-arithmetical steps and follows a well-defined model understood and described as, for example, an algorithm.

The study of computation is paramount to the discipline of computer science.

A computation can be seen as a purely physical phenomenon occurring inside a closed physical system called a computer. Examples of such physical systems include digital computers, mechanical computers, quantum computers, DNA computers, molecular computers, microfluidics-based computers, analog computers or wetware computers. This point of view is the one adopted by the branch of theoretical physics called the physics of computation as well as the field of natural computing.

An even more radical point of view is the postulate of digital physics that the evolution of the universe itself is a computation - pancomputationalism.

A classic account of computation is found throughout the works of Hilary Putnam and others. Peter Godfrey-Smith has dubbed this the “simple mapping account.”^{[3]} Gualtiero Piccinini's summary of this account states that a physical system can be said to perform a specific computation when there is a mapping between the state of that system to the computation such that the “microphysical states [of the system] mirror the state transitions between the computational states.”^{[4]}

Philosophers such as Jerry Fodor^{[5]} have suggested various accounts of computation with the restriction that semantic content is a necessary condition for computation (that is, that what differentiates an arbitrary physical system from a computing system is that the operands of the computation represent something). This notion attempts to prevent the logical abstraction of the mapping account of pancomputationalism, or the idea that everything can be said to be computing everything.

Gualtiero Piccinini proposes an account of computation based in mechanical philosophy. It states that physical computing systems are types of mechanisms that, by design, perform physical computation, or “the manipulation (by a functional mechanism) of a medium-independent vehicle according to a rule.” Medium-independence allows for the use of physical variables with traits other than voltage (as in typical digital computers); this is imperative in considering other types of computation, such as that occurs in the brain or in a quantum computer. A rule, in this sense, provides a mapping among inputs, outputs, and internal states of the physical computing system. ^{[6]}

In the theory of computation, a diversity of mathematical models of computers has been developed. Typical mathematical models of computers are the following:

- State models including Turing machine, pushdown automaton, finite state automaton, and PRAM
- Functional models including lambda calculus
- Logical models including logic programming
- Concurrent models including actor model and process calculi

Giunti (1997^{[7]}, ch. 1) calls the models studied by computation theory *computational systems* and he argues that all of them are mathematical dynamical systems with discrete time and discrete state space. Giunti (2017^{[8]}, pp. 179-80) maintains that a computational system is a complex object which consists of three parts. First, a mathematical dynamical systems DS with discrete time and discrete state space; second, a computational setup H = (F, B_{F}), which is made up of a theoretical part F, and a real part B_{F}; third, an interpretation I_{DS, H}, which links the dynamical system DS with the setup H.

- Calculation
- Computing
- Computationalism
- Physical information
- Real computation
- Reversible computation
- Hypercomputation
- Lateral computing
- Computational problem

**^**Computation from the Free Merriam-Webster Dictionary**^**"Computation: Definition and Synonyms from Answers.com".*Answers.com*. Archived from the original on 22 February 2009. Retrieved 26 April 2017.**^**Godfrey-Smith, P. (2009), "Triviality Arguments against Functionalism",*Philosophical Studies*,**145**(2): 273–95, doi:10.1007/s11098-008-9231-3**^**Piccinini, Gualtiero (2015).*Physical Computation: A Mechanistic Account*. Oxford: Oxford University Press. p. 17. ISBN 9780199658855.**^**Fodor, J. A. (1981), "The Mind-Body Problem",*Scientific American*,**244**(January 1981)**^**Piccinini, Gualtiero (2015).*Physical Computation: A Mechanistic Account*. Oxford: Oxford University Press. p. 10. ISBN 9780199658855.**^**Giunti, Marco (1997).*Computation, Dynamics, and Cognition*. New York: Oxford University Press. ISBN 978-0-19-509009-3.**^**Giunti, Marco (2017), "What is a Physical Realization of a Computational System?",*Isonomia -- Epistemologica*,**9**: 177–92, ISSN 2037-4348

None of the audio/visual content is hosted on this site. All media is embedded from other sites such as GoogleVideo, Wikipedia, YouTube etc. Therefore, this site has no control over the copyright issues of the streaming media.

All issues concerning copyright violations should be aimed at the sites hosting the material. This site does not host any of the streaming media and the owner has not uploaded any of the material to the video hosting servers. Anyone can find the same content on Google Video or YouTube by themselves.

The owner of this site cannot know which documentaries are in public domain, which has been uploaded to e.g. YouTube by the owner and which has been uploaded without permission. The copyright owner must contact the source if he wants his material off the Internet completely.

Wikipedia content is licensed under the GFDL and (CC) license