Hypocomputation

Details Hypocomputation Hypocomputation

2007-06-23

arxiv.org/abs/0706.3479v1

Computer Science

Other Computer Science

34 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Hypocomputation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Hypocomputation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Hypocomputation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-703960