Corpus ID: 198953658

Construction of the Transreal Numbers and Algebraic Transfields

  title={Construction of the Transreal Numbers and Algebraic Transfields},
  author={T. Reis and Walter Gomide and James Anderson},
The transreal numbers, introduced by James Anderson, are an extension of the real numbers. The four arithmetical operations of addition, subtraction, multiplication and division are closed on the set of transreal numbers. Transreal arithmetic has engendered controversy because it allows division by zero and is proposed as a replacement for real arithmetic. Anderson introduced the transreals intuitively and axiomatically. In the history of mathematics, constructive proofs have ended… Expand
Foundations of Transmathematics
Transmathematics has the ambition to be a total mathematics. Many areas of the usual mathematics have been totalised in the transmathematics programme but the totalisations have all been carried outExpand
Review of Suppes 1957 Proposals For Division by Zero
We review the exposition of division by zero and the definition of total arithmetical functions in "Introduction to Logic" by Patrick Suppes, 1957, and provide a hyperlink to the archived text. ThisExpand
Transcomplex Numbers : Properties , Topology and Functions
We derive the properties of transcomplex arithmetic from the usual definition of transcomplex numbers as a fraction of complex numbers, whose denominator may be zero. This is equivalent to giving anExpand
The Transrational Numbers as an Abstract Data Type
In an arithmetical structure one can make division a total function by defining 1/0 to be an element of the structure, or by adding a new element, such as an error element also denoted with a newExpand
Thought Experiments as logical transformations In Transreal Logical Space : Re-Examining the Einstein , Podolsky and Rosen Paradox
In this article, from the concepts of formal causality and logical transformation, defined with transreal numbers, I intend to re-analyze the famous Einstein, Podolsky and Rosen paradox (the EPRExpand
Arithmetical Datatypes, Fracterms, and the Fraction Definition Problem
The main contribution of the paper is to provide a detailed terminology of fracterms and an outline of a survey of both forms of definitions of the notion of a fraction is given. Expand
Transcomplex Topology and Elementary Functions
The set of transcomplex numbers, introduced elsewhere, is a superset of the complex numbers that allows division by zero. Here we introduce a topology for the transcomplex numbers and extended theExpand
Integral on transcomplex numbers
The usual complex integral is defined in terms of complex numbers in Cartesian form but transcomplex numbers are defined in polar form and almost all transcomplex numbers, with infinite magnitude,Expand
Division by Zero : A Survey of Options
A survey of some options for defining an outcome for the application of division in case the second argument equals zero is provided. Expand
Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract)
The Kolmogorov axioms for probability functions are placed in the context of signed meadows. A completeness theorem is stated and proven for the resulting equational theory of probability calculus.Expand


Transdifferential and transintegral calculus
The set of transreal numbers is a superset of the real numbers. It totalises real arithmetic by defining division by zero in terms of three def- inite, non-finite numbers: positive infinity,Expand
Perspex Machine IX: transreal analysis
We introduce transreal analysis as a generalisation of real analysis. We find that the generalisation of the real exponential and logarithmic functions is well defined for all transreal numbers.Expand
Construction of the transcomplex numbersfrom the complex numbers
A geometrical construction of the transcomplex numbers was given elsewhere. Here we simplify the transcomplex plane and construct the set of transcomplex numbers from the set of complex numbers.Expand
Transreal numbers: Mathematics or Reverie?
Mathematics, known as an exact science, has the concept of number as one of its fundamental ideas. Nevertheless history shows that the understanding we have of numbers is not a dogma, but aExpand
Perspex machine: VII. The universal perspex machine
It is argued that nullity is as useful to a manufactured computer as zero is to a human computer and provides an upper bound on the computational properties of physical things, including manufactured computers and biological organisms, that have a cardinality no greater than the real-number line. Expand
Transreal Calculus
Transreal arithmetic totalises real arithmetic by defining division by zero in terms of three definite, non-finite numbers: positive infinity, negative infinity and nullity. We describe the transrealExpand
Perspex machine XI: topology of the transreal numbers
The transreal numbers are a total number system in which even, arithmetical operation is well defined even-where. This has many benefits over the real numbers as a basis for computation and,Expand
Transreal Limits Expose Category Errors in IEEE 754 Floating-Point Arithmetic and in Mathematics
The IEEE 754 standard for oating-point arithmetic is widely used in computing. It is based on real arithmetic and is made total by adding both a positive and a negative infinity, a negative zero,Expand
Transreal Arithmetic as a Consistent Basis For Paraconsistent Logics
Paraconsistent logics are non-classical logics which allow non-trivial and consistent reasoning about inconsistent axioms. They have been pro- posed as a formal basis for handling inconsistentExpand
Transreal Logical Space of All Propositions
Transreal numbers provide a total semantics containing classical truth values, dialetheaic, fuzzy and gap values. A paraconsistent Sheffer Stroke generalises all classical logics to a paraconsistentExpand