The Library
The interpretation of states : a new foundation for computation?
Tools
Tools
Tools
Beynon, Meurig and Russ, Steve (1992) The interpretation of states : a new foundation for computation? University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
|
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-207.pdf - Other - Requires a PDF viewer. Download (1070Kb) | Preview |
Abstract
Computation is a central concept in computer science. The mathematical theory of computation, with its historical origins that predate the computer, has been most influential in the development of programming languages, tools and methodologies. The study of psychological aspects of computation is by comparison a new concern that has developed largely as a post hoc investigation of contemporary methods of programming; it has yet to make a serious impact upon computer science theory. In this paper , we shall argue that concerns about perception and interpretation that are significant in psychology should be a primary source of insight into the new models of computation that will shape future developments in computer programming. To this end, we reconsider fundamental issues concerning the nature of computation and its relationship to mathematics and cognition. In particular, we shall explain how computation has to be understood with reference to
* physical processes that are perceived to undergo changes of state
* conceptual methods for interpreting state changes in computational terms.
Brief references to our work on agent-oriented programming using definition-based representations of state will be used to explain our thesis.
| Item Type: | Report | ||||
|---|---|---|---|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
| Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
| Library of Congress Subject Headings (LCSH): | Computer science -- Psychological aspects | ||||
| Series Name: | Department of Computer Science research report | ||||
| Publisher: | University of Warwick. Department of Computer Science | ||||
| Official Date: | 1992 | ||||
| Dates: |
|
||||
| Number: | Number 207 | ||||
| Number of Pages: | 14 | ||||
| DOI: | CS-RR-207 | ||||
| Institution: | University of Warwick | ||||
| Theses Department: | Department of Computer Science | ||||
| Status: | Not Peer Reviewed | ||||
| Publication Status: | Unpublished | ||||
| Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
Downloads
Downloads per month over past year
