Arithmetical Datatypes, Fracterms, and the Fraction Definition Problem
DOI:
https://doi.org/10.36285/tm.33Abstract
Datatypes and abstract datatypes are positioned as results of importing aspects of universal algebra into computer science and software engineering. It is suggested that 50 years later, by way of a transfer in the opposite direction, outcomes of research on datatypes can be made available via elementary arithmetic. This idea leads to the notions of an arithmetical signature, an arithmetical datatype and an arithmetical abstract datatype and to algebraic specifications for such entities. The area of fractions in elementary arithmetic is chosen as an application area and while taking a common meadow of rational numbers as the basis, an arithmetical datatype equipped with an absorptive element. The use of datatypes and signatures makes syntax available for giving precise definitions in cases where lack of precision is common place. Fracterm is coined as the name for a fraction when primarily understood as a syntactic entity. The main contribution of the paper is to provide a detailed terminology of fracterms. Subsequently the fraction definition problem is stated, a distinction between explicit definitions of fractions and implicit definitions of fractions is made, and an outline of a survey of both forms of definitions of the notion of a fraction is given.
References
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, (2007).
J.A. Bergstra. Meadow based fracterm theory. arXiv:1508.01334v3 (2019).
J.A. Bergstra. Division by zero: a survey of options. Transmathematica, ISSN 2632-9212, (2019).
J.A. Bergstra. Dual number meadows. Transmathematica. ISSN 2632-9212, (2019).
J.A. Bergstra. Fractions in Transrational Arithmetic. Transmathematica. ISSN 2632-92120, (2020).
J.A. Bergstra, I. Bethke. Note on paraconsistency and reasoning about fractions. J. of Applied Non-Classical Logics, 25 (2) 120–124, (2015).
J. A. Bergstra, J. Heering and P. Klint. Module Algebra. Journal of theACM, 37(2): 335–372, (1990).
J.A. Bergstra and C.A. Middelburg. Inversive meadows and divisive meadows. Journal of Applied Logic, 9(3): 203–220 (2011).
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 A. Ponse. Arithmetical datatypes with true fractions. Acta Informatica (2020).
J.A. Bergstra and J.V. Tucker. Initial and final algebra semantics for datatype specification: two characterization theorems. SIAM J. Comput., Vol.12 (2), 366-387 (1983).
J.A. Bergstra and J.V. Tucker. Equational specifications, complete term rewriting systems, and computable and semicomputable algebras. Journal of the ACM, Vol. 42 (6), 1194-1230 (1995).
J.A. Bergstra and J.V. Tucker. The rational numbers as an abstract datatype. Journal of the ACM, 54 (2), Article 7 (2007).
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).
Catarina Dutilh Novaes. Towards a practice-based philosophy of logic: formal languages as a case study. Philosphia Scientiae, 16 (1) pp. 71–102,(2012).
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. D. Ehrich, M. Wolf, and J. Loeckx. Specification of Abstract DataTypes. Vieweg + Teubner, ISBN-10:3519021153, (1997)
Gottlob Frege.The foundations of arithmetic, a logico-mathematical enquiry into the concept of number. Translated by J.L. Austin. Harper & Brothers, New York, (1950, second revised edition 1953, reprinted 1960).
Martha I.F. Fandino Pinilla. Fractions: conceptual and didactic aspects. Acta Didactica Universitatis Comenianae, 7: 82–115 (2007).
Heinz Griesel. Der quasikardinale Aspekt in der Bruchrechnung, (in German). Der Math.-Unt., 27 (4), 87–95, (1981).
Joseph A. Goguen. Memories of ADJ. Bulletin of the EATCS no.36, October 1989. (1989).
Arthur C. Howard. Addition of fractions – the unrecognized problem. The Mathematics Teacher, 84 (9), 710–713, (1991).
Y. Komori. Free algebras over all fields and pseudo-fields. Report 10, pp. 9-15, Faculty of Science, Shizuoka University (1975).
Susan J. Lamon Teaching fractions and ratios for understanding – Essential content knowledge and instructional strategies for teachers. Routledge,1999, (3rd edition 2012).
H. Lortie-Forgues, J. Tian, and R. S. Siegler. Why Is Learning Fraction and Decimal Arithmetic So Difficult? Developmental Review, 38, 201-221, (2015).
H. Michiwaki, S. Saitoh, and N. Yamada. Reality of the division by zero z/0 = 0. International Journal of Applied Physics and mathematics, (2016).
Francis J. Mueller. On the fraction as a numeral. The Arithmetic Teacher, 8 (5), 234–238, (1961).
J-. F. Nicaud, D. Bouhineau, and J-. M. Gelis. Syntax and semanticsin algebra. Proc. 12th ICMI Study Conference, The University of Melbourne, (2001).
H. Ono. Equational theories and universal theories of fields. Journal of the Mathematical Society of Japan, 35(2), 289-306 (1983).
Friedhelm Padberg. Didaktik der Bruchrechnung, (In German). fourth ed., in: Series: Mathematik, Primar und Secundarstufe, Springer-Spectrum,(2012).
Helena M. Pycior. Early criticism of the symbolical approach to algebra. Historia Mathematica, 9: 392–412 (1992).
S. Rollnik. Das pragmatische Konzept für den Bruchrechenunterricht. (InGerman.) PhD thesis, University of Flensburg, Germany, (2009).
Adam Sennet. Ambiguity. In The Stanford Encyclopedia of Philosophy, editor Edward N. Zalta, edition Spring 2016.
A. Setzer. Wheels (1997).
Henry van Engen. Rate pairs, fractions, and rational numbers. The Arithmetic Teacher, 7 (8), 389–399, (1960).
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2020 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.
