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

Squeezing feasibility

Tools
- Tools
+ Tools

Dean, Walter (2016) Squeezing feasibility. In: 12th Conference on Computability in Europe, CiE 2016 : Pursuit of the Universal, Paris, France, 27 Jun - 1 Jul 2016. Published in: Pursuit of the Universal. CiE 2016. , 9709 pp. 78-88. ISSN 0302-9743. doi:10.1007/978-3-319-40189-8_8

Research output not available from this repository.

Request-a-Copy directly from author or use local Library Get it For Me service.

Official URL: http://dx.doi.org/10.1007/978-3-319-40189-8_8

Request Changes to record.

Abstract

This note explores an often overlooked question about the characterization of the notion model of computation which was originally identified by Cobham [5]. A simple formulation is as follows: what primitive operations are allowable in the definition of a model such that its time and space complexity measures provide accurate gauges of practical computational difficulty? After exploring the significance of this question in the context of subsequent work on machine models and simulations, an adaptation of Kreisel’s squeezing argument [17] for Church’s Thesis involving Gandy machines [11] is sketched which potentially bears on this question.

Item Type: Conference Item (Paper)
Subjects: Q Science > QA Mathematics > QA75 (Please use QA76 Electronic Computers. Computer Science)
Divisions: Faculty of Social Sciences > Philosophy
Series Name: Lecture notes in computer science
Journal or Publication Title: Pursuit of the Universal. CiE 2016.
Publisher: Springer
ISSN: 0302-9743
Official Date: 14 June 2016
Dates:
DateEvent
14 June 2016Published
Volume: 9709
Page Range: pp. 78-88
DOI: 10.1007/978-3-319-40189-8_8
Status: Peer Reviewed
Publication Status: Published
Access rights to Published version: Restricted or Subscription Access
Conference Paper Type: Paper
Title of Event: 12th Conference on Computability in Europe, CiE 2016 : Pursuit of the Universal
Type of Event: Conference
Location of Event: Paris, France
Date(s) of Event: 27 Jun - 1 Jul 2016
Related URLs:
  • Organisation

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item
twitter

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