Journal of Universal Computer Science (Sep 2023)

Naive Fracterm Calculus

  • Jan Bergstra,
  • John V. Tucker

DOI
https://doi.org/10.3897/jucs.87563
Journal volume & issue
Vol. 29, no. 9
pp. 961 – 987

Abstract

Read online Read online Read online

An outline is provided of a new perspective on elementary arithmetic, based on addition, multiplication, subtraction and division, which is informal and unique and may be considered naive when contrasted with a plurality of algebraic and logical, axiomatic formalisations of elementary arithmetic.

Keywords