The Library
Redressing the past : liberating computing as an experimental science
Tools
Tools
Tools
Beynon, Meurig and Russ, Steve (2006) Redressing the past : liberating computing as an experimental science. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)
|
PDF (Department of Computer Science Research Report)
WRAP_Beynon_cs-rr-421.pdf - Other - Requires a PDF viewer. Download (212Kb) | Preview |
Abstract
This short paper was submitted to the Steering Committee of the Grand Challenges for Computer Research in March 2004. Its purpose was to highlight a fundamental concern that can be seen as orthogonal to the Grand Challenges that had been identified at that time: that of liberating computing as an experimental science. It first discusses the difficulties of reconciling a formal mathematical view of computation with computing in the wild. In this connection, it cites Emil Post's observation that "mathematical thinking is, and must, be essentially creative" and his contention that mathematics will inevitably undergo a reversal of axiomatic trends "with a return to meaning and truth". The paper then identifies characteristics to be expected of computing as an experimental science that point to the need for an alternative conceptual framework for computing. Finally, it briefly alludes to the possibility of founding such a framework on building computer-based construals to embody the patterns of agency and dependency amongst observables that we project on to the situations to which they refer.
| Item Type: | Report | ||||
|---|---|---|---|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
| Divisions: | Faculty of Science > Computer Science | ||||
| Library of Congress Subject Headings (LCSH): | Computer programming, Computer science | ||||
| Series Name: | Department of Computer Science Research Report | ||||
| Publisher: | University of Warwick. Department of Computer Science | ||||
| Official Date: | 2006 | ||||
| Dates: |
|
||||
| Number: | Number 421 | ||||
| Number of Pages: | 5 | ||||
| DOI: | CS-RR-421 | ||||
| Institution: | University of Warwick | ||||
| 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
