Prospective, Retrospective, and Formal Division:
a contribution to philosophical arithmetic
DOI:
https://doi.org/10.36285/tm.71Abstract
Division by zero is a controversial theme. Why is division by zero a relevant issue and how can this issue be addressed from different perspectives? Fracterm is used as an abbreviation for fractional expression. Three types of occurrence of the division symbol in a fracterm are distinguished: prospective occurrence, retrospective occurrence, and formal occurrence. Mathematics mostly features retrospective occurrences of division, computer programming gives rise to prospective occurrences, and so does automated proof checking. The use of division in an axiom system may indicate the presence of formal occurrences of division symbols.
References
R.S. Anderson. Philosophical Arithmetic. The Hicks-Judd Co. SanFransisco (1889).
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. Mount and A. Y. Wu, 649902, (2007).
James A.D.W. Anderson and Tiago S. dos Reis. Construction of the transreal numbers from rational numbers via Dedekind cuts. Engineering Letters, 29 (2), pp 2-17 (2021).
N. H. Beebe. New directions in floating-point arithmetic. in: T.E.Simons and G. Maroulis Eds. Computation in Modern science and Engineering, AIP Conference proceedings 963. (2008).
J.A. Bergstra. Adams conditioning and Likelihood Ratio Transfer Mediated Inference. Scientific Annals of Computer Science, 29 (1),1–58, (2019).
Jan A. Bergstra. Division by zero, a survey of options. Transmathematica, ISSN 2632-9212, (published 2019-06-25).
J.A. Bergstra. Sumterms, summands, sumptuples, and sums and the meta-arithmetic of summation. Scientific Annals of Computer Science, 30 (2), 167–203, (2020).
J.A. Bergstra. Fractions in transrational arithmetic. Transmathematica. ISSN 2632-9212 (2020).
J.A. Bergstra. Arithmetical datatypes, fracterms, and the fraction definition problem. Transmathematica, ISSN 2632-9212, (published2020-04-30).
J. A. Bergstra, I. Bethke, and A. Ponse. Equations for formally real meadows. Journal of Applied Logic, 13(2): 1–23, (2015).
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. 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 A. Ponse. Fracpairs and fractions over a reduced commutative ring. Indigationes Mathematicae 27, 727-748, (2016).
J.A. Bergstra and J. V. Tucker. The transrational numbers as an abstract datatype. Transmathematica, ISSN 2632-9212, (published2020-12-16).
J.A. Bergstra and J. V. Tucker. On the axioms of common meadows: Fracterm calculus, flattening and incompleteness. The ComputerJournal, (2022).
J. Carlström. Partiality and choice, foundational contributions. PhD. Thesis, Stockholm University, (2005).
Sandra Crespo and Cynthia Nicol. Challenging preservice teacher’s mathematical understanding: the case of division by zero. School,Science and Mathematics, 106 (2), 88–97, (2006).
T.S. dos Reis, W. Gomide, and J.A.D.W. Anderson. Construction ofthe transreal numbers and algebraic transfields. IAENG International Journal of Applied Mathematics, 46 (1), 11–23, (2016).
Tiago Soares dos Reis. Transreal integral. Transmathematica, ISSN2632-9212, (published 2019-06-25).
Martha I.F. Fandino Pinilla. Fractions: conceptual and didactic aspects. Acta Didactica Universitatis Comenianae, 7: 82–115 (2007).
Antonio Gavilanes-Franco and Francisa Lucio-Carasco. A first orderlogic for partial functions. Theoretical Computer Science, 74: 37–69, (1990).
C. B. Jones and C. A. Middelburg. A typed logic of partial functions, reconstructed classically. Acta Informatica, 31, 399–430, (1994).
Ann Kajander and Miroslav Lovic. “It does not exist”: infinity anddivision by zero in the Ontario mathematics curriculum. Canadian Journal of Science, Mathematics and Technology Education, 18, 154–163 (2018).
H. Michiwaki, S. Saitoh, and N. Yamada. Reality of the division byzero z/0 = 0. International Journal of Applied Physics and mathe-matics, (2016).
Ann Kajander and Miroslav Lovic. “It does not exist”: infinity and division by zero in the Ontario mathematics curriculum. Canadian Journal of Science, Mathematics and Technology Education, 18, 154–163 (2018).
H. Michiwaki, S. Saitoh, and N. Yamada. Reality of the division by zero z/0 = 0. International Journal of Applied Physics and mathematics, (2016).
J. Dan Knifong and Grace M. Burton. Intuitive definitions for division with zero. The Mathematics Teacher, 73 (3), 1(980).[26] H. Ono. Equational theories and universal theories of fields. Journalof the Mathematical Society of Japan, 35(2), 289-306, (1983).
Hiroshi Okumura, Saburou Saitoh and Tsutomu Matsuura. Relations of zero and ∞. Journal of Technology and Social Science1 (1), (2017).
Robert J. Quinn, Teruni D. Lamberg and John R. Perrin. Teacher perceptions of division by zero. The clearing house: a journal of educational strategies, issues and ideas, 81 (3), 101–104, (2008).
Anthony Robinson.Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules. Journal of Symbolic Logic, 54 (2): 354–362, (1989).
Patrick Suppes. 1957. Introduction to Logic. Van Nostrand Reinhold,1957.
Pessia Tsamir and Ruth Scheffer. Concrete and formal arguments: the case of division by zero. Mathematics Education Research Journal,12 (2), 92–106, (2000).
Henry van Engen. Rate pairs, fractions, and rational numbers. The Arithmetic Teacher, 7 (8), 389–399, (1960).
Claus-Peter Wirth. Hilbert’s epsilon as an operator of indefinite committed choice. Journal of Applied Logic, 6, 287–317, (2008).
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2022 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.
