The Library
Experimenting with computing
Tools
Beynon, Meurig and Russ, Steve (2008) Experimenting with computing. Journal of Applied Logic, Volume 6 (Number 4). pp. 476-489. doi:10.1016/j.jal.2008.09.008 ISSN 1570-8683.
PDF
sdarticle100.pdf - Published Version Embargoed item. Restricted access to Repository staff only - Requires a PDF viewer. Download (413Kb) |
Official URL: http://dx.doi.org/10.1016/j.jal.2008.09.008
Abstract
We distinguish two kinds of experimental activity: post-theory and exploratory. Post-theory experiment enjoys computer support that is well-aligned to the classical theory of computation. Exploratory experiment, in contrast, arguably demands a broader conception of computing. Empirical Modelling (EM) is proposed as a more appropriate conceptual framework in which to provide computational support for exploratory experiment. In the process, it promises to provide integrated computational support for both exploratory and post-theory experiment. We first sketch the motivation for EM and illustrate its potential for supporting experimentation, then briefly highlight the semantic challenge it poses and the philosophical implications.
Item Type: | Journal Article | ||||||
---|---|---|---|---|---|---|---|
Subjects: | Q Science > Q Science (General) 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): | Science -- Experiments -- Computer simulation, Science -- Experiments -- Data processing, Computer science -- Experiments, Computer programs -- Scientific applications, Empiricism | ||||||
Journal or Publication Title: | Journal of Applied Logic | ||||||
Publisher: | Elsevier BV | ||||||
ISSN: | 1570-8683 | ||||||
Official Date: | December 2008 | ||||||
Dates: |
|
||||||
Volume: | Volume 6 | ||||||
Number: | Number 4 | ||||||
Page Range: | pp. 476-489 | ||||||
DOI: | 10.1016/j.jal.2008.09.008 | ||||||
Status: | Peer Reviewed | ||||||
Publication Status: | Published | ||||||
Access rights to Published version: | Restricted or Subscription Access | ||||||
Date of first compliant deposit: | 17 December 2015 |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |