# GetWiki

*Computation*

ARTICLE SUBJECTS

being →

database →

ethics →

fiction →

history →

internet →

language →

linux →

logic →

method →

news →

policy →

purpose →

religion →

science →

software →

truth →

unix →

wiki →

ARTICLE TYPES

essay →

feed →

help →

system →

wiki →

ARTICLE ORIGINS

critical →

forked →

imported →

original →

Computation

[ temporary import ]

**please note:**

- the content below is remote from Wikipedia

- it has been imported raw for GetWiki

**Computation**is any type of calculationComputation from the Free Merriam-Webster DictionaryWEB, Computation: Definition and Synonyms from Answers.com,weblink Answers.com, 26 April 2017,weblink" title="web.archive.org/web/20090222005439weblink">weblink 22 February 2009, yes, that includes both arithmetical and non-arithmetical steps and follows a well-defined model, for example an algorithm.The study of computation is paramount to the discipline of computer science.

## Physical phenomenon

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 has been adopted by the physics of computation, a branch of theoretical physics, as well as the field of natural computing.An even more radical point of view, pancomputationalism, is the postulate of digital physics that argues that the evolution of the universe is itself a computation.### Accounts of computation

#### The mapping account

The classic account of computation is found throughout the works of Hilary Putnam and others. Peter Godfrey-Smith has dubbed this the "simple mapping account."{{Citation | last = Godfrey-Smith | first = P. | year = 2009| title = Triviality Arguments against Functionalism | journal = Philosophical Studies | volume = 145 | issue = 2 | pages = 273â€“95 | doi=10.1007/s11098-008-9231-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.â€BOOK, Piccinini, Gualtiero, Physical Computation: A Mechanistic Account, Oxford, Oxford University Press, 2015, 17, 9780199658855,#### The semantic account

Philosophers such as Jerry Fodor{{Citation | last = Fodor | first = J. A. | year = 1981 | title = The Mind-Body Problem | journal = Scientific American | volume = 244 | issue = January 1981}} have suggested various accounts of computation with the restriction that semantic content be a necessary condition for computation (that is, 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, the idea that everything can be said to be computing everything.#### The mechanistic account

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 requires that the property is able to be instantiated by multiple realizers and multiple mechanisms and that the inputs and outputs of the mechanism also be multiply realizable. In short, 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. BOOK, Piccinini, Gualtiero, Physical Computation: A Mechanistic Account, Oxford, Oxford University Press, 2015, 10, 9780199658855,## Mathematical models

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

*computational systems,*and he argues that all of them are mathematical dynamical systems with discrete time and discrete state space. Giunti (2017{{Citation | last = Giunti | first = Marco | year = 2017 | title = What is a Physical Realization of a Computational System? | journal = Isonomia -- Epistemologica | volume = 9 | pages = 177-92 | ISSN = 2037-4348 | URL =weblink}}, 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, BF), which is made up of a theoretical part F, and a real part BF; third, an interpretation IDS, H, which links the dynamical system DS with the setup H.

## See also

- Computationalism
- Physical information
- Real computation
- Reversible computation
- Hypercomputation
- Lateral computing
- Computational problem
- Multiple realizability

## References

{{Reflist}}**- content above as imported from Wikipedia**

- "

- time: 5:17am EDT - Sun, Oct 21 2018

- "

__Computation__" does not exist on GetWiki (yet)- time: 5:17am EDT - Sun, Oct 21 2018

[ this remote article is provided by Wikipedia ]

LATEST EDITS [ see all ]

GETWIKI 09 MAY 2016

GETWIKI 18 OCT 2015

GETWIKI 20 AUG 2014

GETWIKI 19 AUG 2014

GETWIKI 18 AUG 2014

© 2018 M.R.M. PARROTT | ALL RIGHTS RESERVED