Computation

From Wikipedia, the free encyclopedia
  (Redirected from Computational)
Jump to: navigation, search

Computation is any type of calculation[1][2] that follows a well-defined model understood and expressed as, for example, an algorithm.

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

Physical phenomenon[edit]

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.

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

Accounts of computation[edit]

The mapping account[edit]

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]

The semantic account[edit]

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.

The mechanistic account[edit]

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 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]

Mathematical models[edit]

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

See also[edit]

References[edit]

  1. ^ Computation from the Free Merriam-Webster Dictionary
  2. ^ http://www.answers.com/topic/computation
  3. ^ Godfrey-Smith, P. (2009), "Triviality Arguments against Functionalism", Philosophical Studies 145 (2): 273–95 
  4. ^ Piccinini, Gualtiero (2015). Physical Computation: A Mechanistic Account. Oxford: Oxford University Press. p. 17. ISBN 9780199658855. 
  5. ^ Fodor, J. A. (1981), "The Mind-Body Problem", Scientific American 244 (January 1981) 
  6. ^ Piccinini, Gualtiero (2015). Physical Computation: A Mechanistic Account. Oxford: Oxford University Press. p. 10. ISBN 9780199658855.