Perspex Machine VIII: axioms of transreal arithmetic

James A. D. W. Anderson; Norbert Völker; Andrew A. Adams

doi:10.1117/12.698153

29 January 2007 Perspex Machine VIII: axioms of transreal arithmetic

James A. D. W. Anderson; Norbert Völker; Andrew A. Adams

Author Affiliations +

Proceedings Volume 6499, Vision Geometry XV; 649902 (2007) https://doi.org/10.1117/12.698153
Event: Electronic Imaging 2007, 2007, San Jose, CA, United States

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,∞,&pphi;} as a proper subset. We note that the axioms have been shown to be consistent by machine proof.

Citation Download Citation

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

ACCESS THE FULL ARTICLE

PERSONAL SIGN IN
Full access may be available with your subscription

Email or Username Forgot your username?

Password Forgot your password?

Show

Remember Email/Username on this computer

Remember Password

No SPIE account? Create an account
or Institutional Sign In via Shibboleth

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available

Members: $14.40

Non-members: $18.00 ADD TO CART

Show All Keywords

Keywords/Phrases

Search In:

Publication Years