Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

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)

[img]
Preview
PDF (Department of Computer Science Research Report)
WRAP_Beynon_cs-rr-421.pdf - Other - Requires a PDF viewer.

Download (212Kb) | Preview

Request Changes to record.

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:
DateEvent
2006Completion
Number: Number 421
Number of Pages: 5
DOI: CS-RR-421
Institution: University of Warwick
Status: Not Peer Reviewed
Publication Status: Unpublished
Related URLs:
  • Organisation

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics

twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us