Full Content is available to subscribers

Subscribe/Learn More  >
Proceedings Article

Perspex Machine VIII: axioms of transreal arithmetic

[+] Author Affiliations
James A. D. W. Anderson, Andrew A. Adams

Univ. of Reading (United Kingdom)

Norbert Völker

Univ. of Essex (United Kingdom)

Proc. SPIE 6499, Vision Geometry XV, 649902 (January 29, 2007); doi:10.1117/12.698153
Text Size: A A A
From Conference Volume 6499

  • Vision Geometry XV
  • Longin Jan Latecki; David M. Mount; Angela Y. Wu
  • San Jose, CA, United States | January 28, 2007

abstract

Transreal arithmetic is a total arithmetic that contains real arithmetic, but which has no arithmetical exceptions. It allows the specification of the Universal Perspex Machine which unifies geometry with the Turing Machine. Here we axiomatise the algebraic structure of transreal arithmetic so that it provides a total arithmetic on any appropriate set of numbers. This opens up the possibility of specifying a version of floating-point arithmetic that does not have any arithmetical exceptions and in which every number is a first-class citizen. We find that literal numbers in the axioms are distinct. In other words, the axiomatisation does not require special axioms to force non-triviality. It follows that transreal arithmetic must be defined on a set of numbers that contains{-∞,-1,0,1,∞,} as a proper subset. We note that the axioms have been shown to be consistent by machine proof.

© (2007) COPYRIGHT SPIE--The International Society for Optical Engineering. Downloading of the abstract is permitted for personal use only.
Citation

James A. D. W. Anderson ; Norbert Völker and Andrew A. Adams
"Perspex Machine VIII: axioms of transreal arithmetic", Proc. SPIE 6499, Vision Geometry XV, 649902 (January 29, 2007); doi:10.1117/12.698153; http://dx.doi.org/10.1117/12.698153


Access This Proceeding
Sign in or Create a personal account to Buy this proceeding ($15 for members, $18 for non-members).

Figures

Tables

NOTE:
Citing articles are presented as examples only. In non-demo SCM6 implementation, integration with CrossRef’s "Cited By" API will populate this tab (http://www.crossref.org/citedby.html).

Some tools below are only available to our subscribers or users with an online account.

Related Content

Customize your page view by dragging & repositioning the boxes below.

Advertisement
  • Don't have an account?
  • Subscribe to the SPIE Digital Library
  • Create a FREE account to sign up for Digital Library content alerts and gain access to institutional subscriptions remotely.
Access This Proceeding
Sign in or Create a personal account to Buy this proceeding ($15 for members, $18 for non-members).
Access This Proceeding
Sign in or Create a personal account to Buy this article ($15 for members, $18 for non-members).
Access This Chapter

Access to SPIE eBooks is limited to subscribing institutions and is not available as part of a personal subscription. Print or electronic versions of individual SPIE books may be purchased via SPIE.org.