Fractions in Transrational Arithmetic
DOI:
https://doi.org/10.36285/tm.19Abstract
In transrational arithmetic each closed fraction may be written as a simple fraction. It is shown that unlike in involutive meadows, in transrational arithmetic open fractions cannot be written as a sum of simple fractions (i.e. fractions the numerator and denominator of which are polynomials). It is also not the case that each open fraction with a single variable can be written as a mixed fraction.
References
J.A.D.W. Anderson, Exact numerical computation of the rational general linear transformations. Vision Geometry XI, eds. J. Latecki, D. M. Mount and A. Y. Wu, Proceedings of SPIE Vol. 4794, 22–28 (2002).
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).
P. Benacerraf. What numbers could not be. The Philosophical Review. 74(1), 47–73 (1965).
J.A. Bergstra. Division by Zero, a Survey of Options. Transmathematica, (2019).
J.A. Bergstra, I. Bethke. Note on paraconsistency and reasoning about fractions. J. of Applied Non-Classical Logics. (2015).
J. A. Bergstra, I. Bethke, and D. Hendriks. Universality of mixed fractions in divisive meadows. (2017)
J. A. Bergstra, I. Bethke, and A. Ponse. Cancellation meadows: a generic basis theorem and some applications. The Computer Journal, 56 (1): 3–14, (2013).
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. 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. (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. Division safe calculation in totalized fields. Theory of Computing Systems, 43, 410–424 (2008).
I. Bethke and P.H. Rodenburg. The initial meadows. Journal of Symbolic Logic, 75 (3), 888-895, (2010).
H. D. Ehrich, M. Wolf, and J. Loeckx. Specification of Abstract Data Types. Vieweg + Teubner, ISBN-10:3519021153, (1997)
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).
P. Hilton. What numbers are not, a philosophy of mathematics essay about the problem of trying to define numbers rigorously. (consulted May 25, 2019).
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, vol.6 no. 1 (2016).
J-. F. Nicaud, D. Bouhineau, and J-. M. Gelis. Syntax and semantics in algebra. Proc. 12th ICMI Study Conference, The University of Melbourne, 2001. (2001).
T.S. dos Reis and J.A.D.W. Anderson. Construction of the transcomplex numbers from the complex numbers. Proc. WCECS (2014).
H. Ono. Equational theories and universal theories of fields. Journal of the Mathematical Society of Japan, 35(2), 289-306 (1983).
A. Setzer. Wheels (1997).
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.
