From Hypocomputation to Hypercomputation

LOVE, D. (2009). From Hypocomputation to Hypercomputation. International journal of unconvential computing, 5 (3-4), 339-367.

Full text not available from this repository.

Abstract

Hypercomputational formal theories will, clearly, be both structurally and foundationally different from the formal theories underpinning computational theories. However, many of the maps that might guide us into this strange realm have been lost. So little work has been done recently in the area of metamathematics, and so many of the previous results have been folded into other theories, that we are in danger of loosing an appreciation of the broader structure of formal theories. As an aid to those looking to develop hypercomputational theories, we will briefly survey the known landmarks both inside and outside the borders of computational theory. We will not focus in this paper on why the structure of formal theory looks the way it does. Instead we will focus on what this structure looks like, moving from hypocomputational, through traditional computational theories, and then beyond to hypercomputational theories.

Item Type:	Article
Research Institute, Centre or Group - Does NOT include content added after October 2018:	Cultural Communication and Computing Research Institute > Communication and Computing Research Centre
Page Range:	339-367
Depositing User:	Ann Betterton
Date Deposited:	17 Nov 2010 15:11
Last Modified:	18 Mar 2021 10:00
URI:	https://shura.shu.ac.uk/id/eprint/2653

Actions (login required)

View Item

Downloads

Publication Metrics