Ахилл и черепаха
Уже больше полугода я работаю курьером в "Bringo". Порой ношусь по городу как Ахиллес, порою, когда не в духе или с больною ногой, ползу как сонная черепаха. На фирме, впрочем, один из лучших курьеров, убедиться в чём была возможность в последний месяц уходящего года. Игру в "Bringo" объявили - множество призов за множество предновогодних доставок, однако речь не собственно о них, но об организационных аспектах акции, когда на сайте фирмы среди прочего было можно прочесть следующее:
...В случае предоставления победителем свидетельства о постановке на учет физического лица в налоговом органе (ИНН) общая стоимость выплаченных бонусов и выданных призов увеличивается на сумму исчисленных налогов.
Будучи "искушенным философом", о данном пункте улыбнулся лишь: а знаете ли вы, что Ахиллес никогда не догонит черепаху? Что покуда Ахиллес преодолевает путь, разделяющий его и черепаху, черепаха успеет проползти еще некоторый отрезок пути? Ахиллес, конечно, пробежит и его, но черепаха уползет еще дальше, пусть и совсем на небольшое расстояние, Ахиллес преодолеет и этот путь, но черепаха, если не стоит на месте, всё равно окажется впереди бегуна, и сколько ни бейся Ахиллес, черепаху он не догонит. Все мы прекрасно осведомлены, что Ахиллес очень скоро и догонит, и перегонит черепаху, однако апория древнегреческого философа Зенона задана как логическая - и в этой плоскости она неразрешима. Подобным же образом обстоит дело и с бонусами и призами в "Bringo", - и если организатор акции собрался быть до конца последовательным, он должен учитывать, что увеличивая величину награды, он увеличивает и сумму подлежащего к выплате подоходного налога, и сколько ни пытаться он подтянуть вознаграждение вослед за увеличивающимся налогом, налог всё равно всегда будет больше.
В прежние времена на факультете - не помню, впрочем, когда и на чьем курсе, - слышал, что противоречие Зенона разрешимо на уровне микромира, где механика Ньютона "отдыхает", где импульс электрона и его положение по отношению к ядру одновременно определить невозможно, и судить о том, в какой точке пространства окажется электрон в последующий момент времени, можно лишь со степенью вероятности, заданной постоянной Планка. Согласно воспринятому на факультете, именно в континууме микромира, где границы объектов макромира размыты и нельзя вынести достоверного суждения, кто из двоих, Ахиллес или черепаха, в данный момент времени впереди, Ахиллес и обгонит рептилию. Однако сам с таким решением ныне согласен бы не был, ибо из приведенного выше примера можно видеть, что величина подоходного налога и начисленные за игру бонусы к пространственно-временному континууму отношения, вообще говоря, не имеют, и апория Зенона цепляет не один пространственно-временной континуум, но более общие вопросы организации миропорядка.
Пытаясь разрешить объявленное противоречие, как и всегда в подобных случаях сам буду исходить из посыла, что если какая-либо логика не корреспондирует действительностью - грош такой логике цена. То есть, у апории должно быть решение - и оно действительно существует. Древние греки не могли понять ситуации с Ахиллом и черепахой, потому что не знали дифференциального исчисления. Ну не работала с бесконечностью античная математика! По сути, дело мы имеем с обычным математическим пределом, где Ахилл догоняет черепаху на "итерации цикла" с порядковым номером равным бесконечности (и после, перевалив критическую точку, с той же закономерностью начинает от черепахи удаляться), - причем именно равным - потому что при любом n, сколь угодно большим, но меньше бесконечности, нас откидывает обратно в поле апории, где Ахиллес черепаху не догоняет. Сколь ни парадоксально, но по статусу среди чисел бесконечность вообще равноправна обычному числу, - и здесь же рискну предположить, что похоже, бесконечность и существует в двух ипостасях: в привычной, никогда не досягаемой вымощенной числовым континуумом удалённости (или же в не имеющем предела делимости отрезке), и в числе, возникающем в результате деления на ноль. Пусть искушенные в своем предмете математики закидают меня гнилыми помидорами, но пусть они же и потрудятся объяснить, как, если бесконечность - не число, Ахиллес догоняет черепаху.
2015, январь
Как выяснилось, всё высказанное оказалось не так чтобы совсем неразумным - и даже наоборот, - потому что знакомый математик, Николай Николаич, просмотрев текст, по данному вопросу высказался так: «Считать бесконечность числом или нет - дело выбора математической модели». Математическая модель - ну, это, как понял сам, говоря языком программистов, набор объектов с присущими им методами и свойствами, - то есть, множество математических объектов с соответствующим набором правил, устанавливающих, что можно и что нельзя делать с объектом. И математическая модель, где бесконечность - число, в математике есть. Так, на бесконечную в обе стороны прямую мы "ставим" окружность, прокалывая окрестность ее наивысшей точки, и из этой проколотой точки проводим множество секущих до пересечения с прямой. Любая секущая сперва пересечет окружность, после - прямую, - и дальше становится очевидным (хотя математики наверняка это и доказывают), что между множеством точек окружности и множеством точек прямой существует взаимно однозначное соответствие, - то есть, дело мы имеем с равносильными множествами. И то, что на прямой соответствует бесконечному удалению, на окружности будет оказываться ее вершиной - проколотой точкой, - а с точкой мы уже вправе обращаться как с числом.
2018, май
Нет, ну правда! Положим, у нас есть яблоко, и его нужно поделить на три равные части. Вот давайте поделим - но мысленно, когда получившиеся части не растащим порознь, а будем с ними работать в составе первоначального целого. В каждой из частей при делении после запятой возникает "тройка" в периоде - и казалось бы, сколь ни продолжай мы числовой ряд на всех трех частях "разрезанного" фрукта, "тройки" уходят в бесконечность, а трех мизерных долей в яблоке до целого не хватает всё равно. Однако яблоко на удивление остается целым! - и всё потому, что в каждой из частей количество "троек" - именно бесконечность. То есть, она существует де-факто! - и релевантного математического результата мы достигаем именно тогда, когда работаем с нею как с числом. Наверно я излагаю банальную теорию математического предела, но только мне непонятно всё равно, зачем так сложно о простом: «предел при n стремящимся к бесконечности...» - причем образ сознания - именно тот, что график функции никогда не сливается со своей асимптотой, - в то время как на бесконечности (как видно из примера с яблоком) они именно сливаются.
2020, июнь