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