Поясняя мотивы для разработки своей системы, Сергеев приводит пример арифметики, используемой одним из живущих в дельте Амазонки племен. Индейцы племени Пираха (Pirahг) считают так: один, два, много. Для них и 1 + 2 = много, и 2 + 2 = много. Что такое 3 или 4, они не представляют. Сергеев уверен, что этот примитивный способ счета очень важен для нас, потому что дает отличную аналогию с современным понятием бесконечности. Действительно, в системе счета Пираха операции много + 1 и много + 2 дают один и тот же результат: много. Нечто похожее мы имеем и в современной математике: ∞ + 1 = ∞ и ∞ + 2 = ∞. Это сравнение наводит на следующую простую мысль: как индейцы Пираха не могут различить числа 3, 4, 5 и т. д. из-за неразвитости их системы записи конечных чисел, так и мы не можем различить бесконечные числа из-за неразвитости наших способов представления бесконечности. Именно поэтому возникают проблемы при вычислениях, связанных с бесконечно большими и бесконечно малыми величинами: невозможность их представления в памяти компьютера, необходимость введения понятия предела, неопределенные формы типа ∞ – ∞ и т. д., заключает Сергеев.
В основе конструкции Сергеева, призванной исправить дело, лежит гросс-единица (grossone), обозначаемая
Гросс-единица – это бесконечное число, равное по определению количеству элементов в множестве N натуральных (то есть целых положительных) чисел. Это определение надо понимать в дословном, буквальном смысле, то есть предполагать, что N имеет вид: {1, 2, 3, …,
– 1,
}. Другими словами,
– это "самое большое натуральное число". Оно и выбирается в качестве основания новой системы исчисления. Ну а дальше – точно так же, как мы записываем числа в десятичной системе, а компьютер в двоичной, произвольные бесконечно малые и бесконечно большие числа представляют собой «записи» (records) вида:
(1)
В этой записи p – «гросстепени», а c – «гроссцифры». Отличие от десятичной или двоичной систем в том, что «гроссцифры» не фиксированные заранее, а произвольные «обыкновенные» числа, записываемые с помощью конечного числа знаков. «Гросстепени», в свою очередь, это либо записи вида (1), либо снова «обыкновенные» конечные числа. Таким образом, числа в форме (1) всегда представляются конечным числом символов. Конечность записи принципиальна для этой конструкции, подчеркивает Сергеев, – она призвана учесть тот факт, что и человек, и компьютер способны выполнить лишь конечное число операций. В этом, кстати, существенное отличие от нестандартного анализа, который дополняет бесконечностями обычное множество вещественных чисел, построенное с помощью бесконечных десятичных дробей (или эквивалентных конструкций).
Сергеев с самого начала оставляет за скобками своих построений понятия счетного и несчетного множеств, взаимно однозначные соответствия и тому подобные базовые концепции привычной канторовской теории множеств. В его числовой системе, опять-таки в прямом и буквальном смысле слова, соблюдается древний постулат "часть всегда меньше целого". Например, число
+ 1 строго больше числа
, а множество натуральных чисел можно расширить так:
Записи вида (1) позволяют очень аккуратно сравнивать "маленькие бесконечности". Например, в обычной теории множеств совокупность всех натуральных чисел и совокупность четных положительных чисел неразличимы по так называемой мощности, и то и другое – счетные множества. Здесь же постулируется, что второе из этих множеств содержит ровно
/2 элементов, то есть вдвое меньше, чем первое. Аналогично, множество всех положительных чисел вида, например, (6К+3) будет состоять из (
/6) элементов; а если к нему добавить еще три числа другого вида, полученное множество будет состоять уже из (
/6 + 3) элементов.
1/
– простейшее по записи бесконечно малое ("инфинитезимальное") число. Арифметика записей (1) устроена самым естественным образом – они перемножаются и складываются так, как если бы вместо
стояло обыкновенное число. Тонкости начинаются при суммировании бесконечных рядов. Согласно одному из самых интересных постулатов теории Сергеева, любой процесс (в том числе и процесс суммирования ряда) может включать не более чем
шагов. В частности, параллельные процессы в этой модели принципиально более мощны, чем одиночные, последовательные, – ведь К параллельно идущих процессов позволяют выполнить (К*