📖 Элементарные арифметические функции

В настоящем издании рассматриваются четыре элементарные арифметические функции: x + y, x/y = max (x - y, 0), [x/y] (целая часть от деления x на y) и 2x. Доказывается, что данные функции образуют базис по суперпозиции в классе функций, элементарных по Кальмару - самом первом и самом широком классе элементарных рекурсивных функций. Брошюра адресована широкому кругу математиков, прежде всего специалистам по теории алгоритмов, теории чисел, комбинаторике и алгебре.