Perspex Machine VIII: Axioms of Transreal Arithmetic

Part of book or chapter of book OPEN
Anderson, J.A.D.W.; Voelker, N.; Adams, A.A.;
(2007)

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... View more
Share - Bookmark

  • Download from
    ZENODO via ZENODO (Part of book or chapter of book, 2007)
  • Cite this publication