Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

The representation of a program in the Blum-Shub-Smale theory of computation over an arbitrary ring

The representation of a program in the Blum-Shub-Smale theory of computation over an arbitrary ring In the paper "On a Theory of Computation and Complexity over the Real Numbers: NP Completeness, Recursive Functions and Universal machines" (BSS 1989), the authors, Lenore Blum, Mike Shub, and Steve Smale, generalize the notion of computability from the set of natural numbers to an arbitrary ordered ring. In particular they discuss the existence of a Universal Machine over such a ring and the "godel" number or "code" of machines defined on such a ring. In this short paper we wish to correct some minor error in their definition of a "code" of a machine. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM SIGACT News Association for Computing Machinery

The representation of a program in the Blum-Shub-Smale theory of computation over an arbitrary ring

ACM SIGACT News , Volume 24 (3) – Oct 1, 1993

Loading next page...
 
/lp/association-for-computing-machinery/the-representation-of-a-program-in-the-blum-shub-smale-theory-of-mo2lKwhRrj

References (2)

Publisher
Association for Computing Machinery
Copyright
Copyright © 1993 by ACM Inc.
ISSN
0163-5700
DOI
10.1145/166589.166596
Publisher site
See Article on Publisher Site

Abstract

In the paper "On a Theory of Computation and Complexity over the Real Numbers: NP Completeness, Recursive Functions and Universal machines" (BSS 1989), the authors, Lenore Blum, Mike Shub, and Steve Smale, generalize the notion of computability from the set of natural numbers to an arbitrary ordered ring. In particular they discuss the existence of a Universal Machine over such a ring and the "godel" number or "code" of machines defined on such a ring. In this short paper we wish to correct some minor error in their definition of a "code" of a machine.

Journal

ACM SIGACT NewsAssociation for Computing Machinery

Published: Oct 1, 1993

There are no references for this article.