Organized (formal) information processing, usually algorithmic in nature. Starting with the concept of the action of a computer, it has become a formal concept studied by computer science, and a pervasive metaphor for cognitive activity in general. This has led to controversy about whether there is any other kind of information processing (whether, for instance, human thought is a form of computation); see Church-Turing Thesis, Alan Turing, Chomsky Hierarchy.