On terminology for approaching the multiplicative inverse of zero

Jan Bergstra, University of Amsterdam,
March 2016

Posted by James Anderson

What can be said about the value of 1/0? This question has led to may speculations and increasingly the issue constitutes an incentive for the development of mathematical and logical theory.

Different groups work on different options while promoting their view on the matter. In several cases a combination of design choices is captured in a single name for a kind of structure. Here are some examples of that approach:

(i) Wheels are structures with numbers in which 1/0 is an unsigned infinite value, while 0 x 1/0 is an error value for which I will write "a” as an abbreviation of additional value) that propagates though all operations. In a wheel 1/0 = -1/0, and 1/0+1/0 = 1/0. The error values enters the picture via multiplication: 0 x 1/0 = a.

(ii) transreals, transrationals are number systems in which 1/0 is positive signed infinite. Now 1/0 and -1/0 are different and 1/0 - 1/0 (= 1/0 + -1/0) = a.

(iii) meadows are number structures for in which 1/0 = 0.

(iv) common meadows are structures in which 1/0 = a.

Each of these approaches has a long history. For instance wheels stand in the tradition of the work of Riemann. Wheels formalise the rules of calculation in the Riemann sphere. Working with 1/0 = 0 has shorter history. The technical work on mathematical logic based on 1/0 = 0 seems to have started in papers by Komori and Ono some decades ago, the work on meadows proceeds along that line of research. More recently Saitoh and his colleagues promote 1/0 = 0 as a step forward in the design of classical mathematics while providing may examples for its use. Systematically working with transreals has been taken up by Anderson. The above list of approaches is incomplete, some authors insist that 1/0 = 1, and fixing a value of 1/0 still leaves room for differences in setting a value for 0/0.

In this contribution I wish to propose an alternative approach to naming the various design decisions on which the different approaches are based. The idea is that instead of (or in addition to) naming structures one may also provide more detailed naming for the function x -> 1/x.

PARTIAL INVERSE: this is the inverse function for which 1/0 is considered to be nonexistent. I expect that for most mathematicians the partial inverse constitute the most plausible option.

NATURAL INVERSE: the inverse function with 1/0 equal to unsigned infinite. This choice dates back to Riemann and may be the first significant proposal for dealing with 1/0 as a mathematical entity.

SIGNED NATURAL INVERSE: the inverse function with 1/0 denoting a positive infinite value.

SYMMETRIC INVERSE: the inverse function extended that takes value 0 on 1/0. The symmetry refers to the point symmetry in the graph of x->1/0 as defined in this manner.

COMMON INVERSE: the inverse function that takes value a (the euro value mentioned above) on 1/0. The justification of this name is that in computing it is quite common to consider 1/0 an error.

The usefulness of this naming scheme lies in the improved possibility to compare different approaches. Rather than speaking of wheels versus transreals one may speak of number algebras (or structures) with (unsigned) natural inverse versus number algebras with signed natural inverse. The approach of Saitoh reveals a preference for doing mathematical work with symmetric inverse over working with partial inverse.

My own current preference is to work with symmetric inverse and I have done som work on structures with common inverse. A survey of that work can be found on the following website which is maintained by Kees Middelburg:
Shared publicly