# Construction of the Transreal Numbers and Algebraic Transfields

@inproceedings{Reis2015ConstructionOT, title={Construction of the Transreal Numbers and Algebraic Transfields}, author={T. Reis and Walter Gomide and James Anderson}, year={2015} }

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

#### 13 Citations

Foundations of Transmathematics

- Mathematics
- 2019

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 out… Expand

Review of Suppes 1957 Proposals For Division by Zero

- Mathematics
- 2021

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. This… Expand

Transcomplex Numbers : Properties , Topology and Functions

- 2017

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 an… Expand

The Transrational Numbers as an Abstract Data Type

- Mathematics
- 2020

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 new… Expand

Thought Experiments as logical transformations In Transreal Logical Space : Re-Examining the Einstein , Podolsky and Rosen Paradox

- 2019

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 EPR… Expand

Arithmetical Datatypes, Fracterms, and the Fraction Definition Problem

- Computer Science
- 2020

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

- Mathematics
- 2016

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 the… Expand

Integral on transcomplex numbers

- Mathematics
- 2019

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

- Computer Science
- 2019

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)

- Computer Science, Mathematics
- WADT
- 2016

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

#### References

SHOWING 1-10 OF 30 REFERENCES

Transdifferential and transintegral calculus

- Mathematics
- 2014

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

- Mathematics, Engineering
- Electronic Imaging
- 2007

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

- Mathematics
- 2014

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?

- 2014

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 a… Expand

Perspex machine: VII. The universal perspex machine

- Computer Science, Engineering
- Electronic Imaging
- 2006

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

- 2015

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 transreal… Expand

Perspex machine XI: topology of the transreal numbers

- Mathematics
- 2008

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

- Mathematics
- 2014

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

- Mathematics
- 2014

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 inconsistent… Expand

Transreal Logical Space of All Propositions

- Mathematics
- 2015

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 paraconsistent… Expand