Division by Zero
a Survey of Options
DOI:
https://doi.org/10.36285/tm.v0i0.17Abstract
The idea that, as opposed to the conventional viewpoint, division by zero may produce a meaningful result, is long standing and has attracted interest from many sides. We provide a survey of some options for the defining an outcome for the application of division in case the second argument equals zero. The survey is limited by a combination of simplifying assumptions which are grouped together in the idea of a premeadow, which generalises the notion of a transfield.
References
H. Athen and H. Griesel (Hrsg.) Mathematik Heute 6. (In German.) Schroedel Verlag Hannover & Schöning Verlag Paderborn, (1978).
J.A. Anderson, N. Völker, and A. A. Adams. Perspex Machine VIII: axioms of transreal arithmetic. Vision Geometry XV, eds. J. Latecki, D. M. Mountand A. Y. Wu, 649902, (2007).
M. Beeson and F. Wiedijk. The meaning of infinity in calculus and computer algebra systems. Journal of Symbolic Computation. 39, 523–538 (2005).
J.A. Bergstra and I. Bethke. Subvarieties of the variety of meadows. Scientific Annals of Computer Science. vol 27 (1) 1–18, (2017).
J. A. Bergstra, I. Bethke, and A. Ponse. Equations for formally real meadows. Journal of Applied Logic, 13 (2): 1–23, (2015).[6] J.A. Bergstra, Y. Hirshfeld, and J.V. Tucker. Meadows and the equational specification of division. Theoretical Computer Science, 410 (12), 1261–1271 (2009).
J.A. Bergstra and C.A. Middelburg. Division by zero in non-involutive meadows. Journal of Applied Logic, 13 (1): 1–12 (2016).
J.A. Bergstra and C.A. Middelburg. Transformation of fractions into simple fractions in divisive meadows. Journal of Applied Logic, 16: 92–110 (2015).
J.A. Bergstra and A. Ponse. Fracpairs and fractions over a reduced commutative ring. Indigationes Mathematicae 27, 727-748, (2016).
J.A. Bergstra and A. Ponse. Division by zero in common meadows. In R. de Nicola and R. Hennicker (editors), Software, Services, and Systems (Wirsing Festschrift), LNCS 8950, pages 46-61, Springer, (2015).
J.A. Bergstra and J.V. Tucker. The rational numbers as an abstract datatype. Journal of the ACM, 54 (2), Article 7 (2007).
I. Bethke and P.H. Rodenburg. The initial meadows. Journal of Symbolic Logic, 75 (3), 888-895, (2010).
C.B. Boyer. An ancient reference to division by zero. The American Mathematical Monthly, 50 (8), 487-491, (1943).
J. Carlström. Wheels – on division by zero. Math. Structures in Computer Science, 14 (1) pp. 143–184, (2004).
J. Carlström. Partiality and choice, foundational contributions. PhD. Thesis, Stockholm University, (2005).
J. Czajko. On Cantorian spacetime over number systems with division by zero. Chaos, Solitons and Fractals, 21 pp. 261–271, (2004).
H. D. Ehrich, M. Wolf, and J. Loeckx. Specification of Abstract Data Types. Vieweg + Teubner, ISBN-10:3519021153, (1997)
Institute of Reproducing Kernels (Anonymous). Announcement 412: The 4th birthday of the division by zero z/0 = 0 (2018.2.2). Institute of reproducing kernels, Kawauchi-cho 5-1648-16, Kiryu 376-0041, Japan, (2018).
Y. Komori. Free algebras over all fields and pseudo-fields. Report 10, pp. 9-15, Faculty of Science, Shizuoka University (1975).
H. Michiwaki, S. Saitoh, and N. Yamada. Reality of the division by zero z/0 = 0. International Journal of Applied Physics and mathematics, doi:10.17706/ijapm.2016.6.1.1-8 (2016).
T.S. dos Reis, W. Gomide, and J.A.D.W. Anderson. Construction of the transreal numbers and algebraic transfields. IAENG International Journalof Applied Mathematics, 46 (1), 11–23, (2016).
H. Ono. Equational theories and universal theories of fields. Journal of theMathematical Society of Japan, 35(2), 289-306 (1983).
Saburou Saitoh. Who did derive First the Division by Zero 1/0 and the Division by Zero Calculus tan(π/2) = 0, log 0 = 0 as the outputs of a computer. (2019).
B. Santangelo. The axiomatic construction of a new algebraic structure in order to extend a field and define division by zero. (2016).
A. Setzer. Wheels (draft). (1997).
Okoh Ufuoma. On the operation of division by zero in Bhaskara’s frame-work: criticisms, modifications, and justifications. Asian Research Journal of Mathematicals, 6 (2), 1–20, Article no. AJROM.36240 (2017). DOI:10.9734/ARJOM/2017/36240.20
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2019 Jan Aldert Bergstra
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
Authors retain copyright and, if appropriate, performance rights but licence the journal to publish submissions. The lead author confirms that the submission is bound by the CC Attributtion Share Alike 4.0 licence.
