В этом откровении, безусловно, есть очень любопытные моменты. С самых ранних веков христианства до наших дней было много догадок о конечном восстановлении адских духов: коллекция их стоила бы того, чтобы ее составить. Читая это в корректуре, я вижу возможность того, что под «черными джентльменами» могут подразумеваться священнослужители: полагаю, моя первая интерпретация была подсказана контекстом: я оставляю этот момент на усмотрение проницательности читателя.]
ДЖЕЙМС СМИТ, АРХИ-ПАРАДОКСЕР.
«Проблема квадратуры круга решена; или окружность и площадь круга открыты». Джеймс Смит. Лондон, 1859, 8-я доля листа.
«Об отношениях квадрата, вписанного в круг». Прочитано в Британской научной ассоциации, сентябрь 1859 г., опубликовано в «Liverpool Courier», 8 октября 1859 г., и перепечатано в виде широкого листа.
«Вопрос: существуют ли какие-либо соизмеримые отношения между кругом и другими геометрическими фигурами? Ответ члена Британской научной ассоциации...» Лондон, 1860, 8-я доля листа. — [Это было переведено на французский язык М. Арманом Гранжем, Бордо, 1863, 8-я доля листа.]
«Квадратура круга. Переписка между выдающимся математиком и Джеймсом Смитом, эсквайром (членом Совета по докам и гаваням Мерси)», Лондон, 1861, 8-я доля листа (стр. 200).
«Письмо к... Британской научной ассоциации... Джеймса Смита, эсквайра». Ливерпуль, 1861, 8-я доля листа.
«Письмо к... Британской научной ассоциации... Джеймса Смита, эсквайра». Ливерпуль, 1862, 8-я доля листа. — [Эти письма автор обещал продолжить.]
«Орешек для разгрызания читателям 'Бюджета парадоксов' профессора Де Моргана». Джеймс Смит, эсквайр. Ливерпуль, 1863, 8-я доля листа.
Доклад, прочитанный в Ливерпульском литературно-философском обществе, опубликован в «Liverpool Daily Courier», 26 января 1864 г. Перепечатан в виде брошюры.
«Квадратура круга, или истинное отношение между диаметром и окружностью, геометрически и математически доказанное». Джеймс Смит, эсквайр. Ливерпуль, 1865, 8-я доля листа.
[«Об отношениях между размерами и расстояниями Солнца, Луны и Земли; доклад, прочитанный в Литературно-философском обществе Ливерпуля, 25 января 1864 г. Джеймс Смит, эсквайр».
«Британская научная ассоциация в опасности, а доктор Уэвелл, магистр Тринити, в колодках без надежды на спасение». Напечатано для авторов (Дж. С. признался, а также скрылся под псевдонимом Nauticus). (Без даты, 1865).
«Британская научная ассоциация в опасности, а профессор Де Морган у позорного столба без надежды на спасение». Лондон, 1866, 8-я доля листа.]
Когда моя работа выходила выпусками, я не имел сколько-нибудь адекватного представления о превосходстве мистера Джеймса Смита над остальным миром в тех пунктах, в которых он превосходит. Он, вне всякого сомнения, самый способный ум в нерассуждении и величайший мастер в написании оного из всех, кто пытался в наши дни привязать свои имена к ошибке. Обычные циклометры меркнут в ничтожной ортодоксии рядом с ним.
Поведение этого странного персонажа побуждает меня сделать ему комплимент, который Ахиллес сделал Гектору, — протащить его вокруг стен снова и снова. С ним обращались с необычным вниманием и самым мягким образом. Неназванный математик Э. М. одарил его томом мягкой переписки; Роуэн Гамильтон спокойно доказал его неправоту способом, доступным обычному школьнику; Уэвелл, как мы увидим, дал ему средства увидеть свою неправоту даже легче, чем методом Гамильтона. Ничего не помогло; это были лишь мелкие пинки и глупые выпады; и он выставил напоказ свое тщеславие, заявив, что он, Джеймс Смит, посадил Уэвелла в колодки. Поэтому его повсеместно назовут подходящим объектом для самого сурового литературного наказания: но мнение всех, кто может сложить два суждения, будет таково, что из многих ударов, которые я нанес, самые жесткие и меткие — это мои перепечатки его собственных попыток рассуждать.
Он выйдет из моих рук в том положении, которое должен занимать: Верховный Понтифик циклометров, наместник Св. Вита на земле, Мамамуши бурлеска на умозаключения. Я начинаю с рецензии на него, которая появилась в «Athenæum» 11 мая 1861 года. Мистер Смит говорит, что ее написал я: я это ни подтверждаю, ни отрицаю; сделать и то, и другое было бы грехом против редакционной системы, описанной в другом месте. Многие люди говорят мне, что узнают меня по стилю; пусть гадают: я могу лишь сказать, что многие заявляли подобное, приписывая мне то, чего я никогда не видел и о чем не слышал.
«Квадратура круга: Переписка между выдающимся математиком и Джеймсом Смитом, эсквайром». (Эдинбург, Оливер и Бойд; Лондон, Симпкин, Маршалл и Ко.)
«Несколько недель назад мы были в вечном двигателе. Мы тогда не предполагали, что что-то искусит нас в экспедицию по квадратуре круга: но обстоятельства вышеназванной книги имеют особенность, которая побуждает нас уделить ей несколько слов.
Мистер Джеймс Смит, джентльмен, проживающий недалеко от Ливерпуля, несколько лет назад был поражен morbus cyclometricus. Симптомы вскоре приняли определенную форму: его окружность сжалась ровно до 3-1/8 его диаметра, вместо близкого к 3-16/113, которое математик знает как настолько близкое к истине, что ошибка едва ли составляет фут на 2000 миль. Это сжатие окружности сохранялось до тех пор, пока не стало абсолютно необходимым, чтобы оно было изучено Британской научной ассоциацией. Этот орган, который, как к своему огорчению обнаружил мистер Джеймс Смит, имеет некоторый интерес в 'ревнивой охране тайн своей профессии', поначалу отказался рассматривать вопрос. На это мистер Смит изменил свою 'тактику' и название своей статьи, и контрабандой протащил предмет под видом 'Отношений круга, вписанного в квадрат'! Статья была таким образом навязана Ассоциации, ибо мистер Смит сообщает нам, что он 'дал Секции понять, что он не тот человек, который позволит даже Британской научной ассоциации играть с ним'. Другими словами, Ассоциация терпела и была утомлена статьей, как кратчайшим путем из этого дела. Мистер Смит также распространил брошюру. Какой-то добросердечный человек, который не знал этого расстройства так хорошо, как мы, и который появляется в красивом октаво мистера Смита как Э. М. — инициалы 'eminent mathematician' (выдающегося математика) — написал ему и предложил показать на одной странице, что он полностью неправ. Мистер Смит после этого открыл переписку, которая составляет основную часть тома. Когда переписка была далеко продвинута, мистер Смит объявил о своем намерении опубликоваться. Его доброжелательный наставник — мы имеем в виду по намерению — протестовал против публикации, говоря: 'Я не хочу быть выставленным на позор миру как человек, достаточно глупый, чтобы вступить в то, что я теперь чувствую, было нелепым предприятием'.
На это мистеру Смиту было наплевать: он настоял на публикации, и книга перед нами. Мистер Смит имел достаточно любезности, чтобы скрыть имя своего доброго советчика под Э. М., то есть он разделил вину между всеми, кого можно заподозрить в попытке столь безнадежной задачи, как вложение хоть капли здравого смысла в его голову. Он нарушил приличия частной жизни. Против воли добросердечного человека, который взялся за его случай, он опубликовал письма, которые не предназначались ни для какой другой цели, кроме как очистить его бедную голову от безнадежного заблуждения. Он заслуживает самого сурового наказания; и он его получит: его злоупотребление доверием будет преследовать его всю жизнь. Не то чтобы он причинил своему благодетелю — опять же, по намерению — какой-то вред. Терпение, с которым Э. М. облекал ошибки в понятную форму, и настойчивость, с которой он пытался найти щель для проникновения здравого рассуждения, более чем достойны уважения: они восхитительны. Это, мы можем заверить Э. М., хорошо, что природа квадратора круга так полностью разоблачена, как в этом томе. Польза, которую он намеревался принести мистеру Джеймсу Смиту, может быть оказана другим. И мы очень хотели бы узнать его имя и, если ему будет угодно, опубликовать его. Что касается мистера Джеймса Смита, мы можем сказать только одно: он не сумасшедший. Сумасшедшие рассуждают правильно на неверных предпосылках: мистер Смит рассуждает неправильно вообще без всяких предпосылок.
Э. М. очень скоро обнаружил, что, по всем признакам, мистер Смит получил круг в 3-1/8 раза больше диаметра, сделав предположение, с которого начал, что существует такой круг; а затем найдя определенные следствия, которые, так уж вышло, не противоречили предположению, на котором они были сделаны. Ошибка иногда бывает самосогласованной. Однако Э. М., чтобы быть вполне уверенным в своей почве, написал короткое письмо, излагающее то, что он принял за гипотезу мистера Смита, содержащее следующее: 'На AC как на диаметре опишите круг D, который по гипотезе должен быть равен трем и одной восьмой длины AC... Я прошу, прежде чем идти дальше, спросить, правильно ли я изложил ваш аргумент'. На что мистер Смит ответил: 'Вы изложили мой аргумент с совершенной точностью'. Все же Э. М. продолжал, и мы не могли не принять, после вышесказанного, эти буквы за инициалы Everlasting Mercy (Вечного Милосердия). Наконец, однако, когда мистер Смит наотрез отрицал, что площадь круга лежит между площадями вписанного и описанного многоугольников, Э. М. был окончательно побежден и оставил задачу. Мистер Смит остался писать свое предисловие, говорить о верной победе истины — что, как ни странно, является утешением всех безнадежно заблуждающихся людей; сравнивать себя с Галилеем; и разоблачать миру извращенное поведение Королевского астронома, на которого он хотел навязать разговор, и который ответил: 'Было бы пустой тратой времени, сэр, слушать все, что вы могли бы сказать по такому предмету'.
Разобравшись таким образом с мистером Джеймсом Смитом, мы переходим к нескольким замечаниям по предмету: это тот предмет, который журнал никогда бы не инициировал, но который становится необходимым время от времени из-за попыток autopseustic (самоуверенных) стать heteropseustic (иномыслящими). Математику нам сказать нечего: вопрос в том, какая уверенность может быть дана миру в целом, что нечестивые математики не действуют сообща, чтобы подавить своего превосходителя, мистера Джеймса Смита, нынешнего Галилея квадратуры круга.
Давайте сначала заметим, что этот вопрос не стоит особняком: независимо от миллионов подобных проблем, существующих в высшей математике, нахождение диагонали квадрата имеет точно такую же трудность, а именно, появление пары линий, из которых одна не может быть определенно выражена через другую. Мы покажем читателю, который знаком с таблицей умножения, как он может идти, идти, идти, все ближе, никогда не достигая цели, в нахождении диагонали квадрата по стороне.
Запишите следующие ряды чисел, и больше, если хотите, описанным способом:
1 2 5 12 29 70 169 408 985
1 3 7 17 41 99 239 577 1393
После второго каждое число составляется из удвоенного последнего, увеличенного на предпоследнее: так, 5 — это на 1 больше, чем дважды 2, 12 — на 2 больше, чем дважды 5, 239 — на 41 больше, чем дважды 99. Теперь возьмите два соседних числа из верхней строки и одно под первым из нижней: как
70 169
99.
Перемножьте 99 и 169, получив 16 731. Если тогда вы скажете, что 70 диагоналей в точности равны 99 сторонам, вы ошибаетесь насчет диагонали, но ошибка, величина которой не так велика, как 16 731-я часть диагонали. Аналогично, сказать, что пять диагоналей составляют ровно семь сторон, не влечет за собой ошибки 84-й части диагонали.
«Теперь, почему вопрос о пересечении квадрата не стал таким же знаменитым, как вопрос о квадратуре круга? Просто потому, что Евклид доказал невозможность первого вопроса, в то время как невозможность второго не была доказана полностью до прошлого века.
У математиков есть много методов, совершенно отличных друг от друга, прихода к одному и тому же результату, их знаменитому приближению к окружности круга. Бесстрашный вычислитель в наше время довел свое приближение до того, что они называют 607 десятичными знаками: это было сделано мистером Шенксом из Хоутон-ле-Спринг, а доктор Резерфорд проверил 441 из этих знаков. Но хотя 607 выглядит внушительно, широкая публика составит лишь смутное представление о степени достигнутой точности. Мы видели в «Английской циклопедии» Чарльза Найта отчет об этом деле, который может проиллюстрировать невообразимую, хотя и рационально мыслимую, степень достигнутой точности.
«Скажем, что кровяной шарик одного из наших анималькулей имеет миллионную долю дюйма в диаметре. Представьте в мыслях глобус, подобный нашему, но настолько больше, что наш глобус — лишь кровяной шарик в одном из его анималькулей: не обращайте внимания на микроскоп, который показывает, что существо является довольно громоздким инструментом. Назовите это первым глобусом над нами. Пусть первый глобус над нами будет лишь кровяным шариком, по размеру, в анималькуле еще большего глобуса, который назовите вторым глобусом над нами. Продолжайте таким образом до двадцатого глобуса над нами. Теперь спуститесь так же далеко по другую сторону. Пусть кровяной шарик, с которого мы начали, будет глобусом, населенным животными, подобными нашим, но несколько меньшими: и назовите это первым глобусом под нами. Возьмите кровяной шарик из этого глобуса, заселите его и назовите вторым глобусом под нами: и так далее до двадцатого глобуса под нами. Это прекрасный размах прогрессии в обе стороны. Теперь дайте гиганту двадцатого глобуса над нами 607 десятичных знаков, и, когда он измерит диаметр своего глобуса с точностью, достойной его размера, пусть он вычислит окружность своего экватора из 607 знаков. Приведите маленького философа с двадцатого глобуса под нами с его самым лучшим микроскопом и заставьте его увидеть малую ошибку, которую гигант должен совершить. Он не преуспеет, если только его микроскопы не будут намного лучше для его размера, чем наши для нашего.
«Теперь должен помнить каждый, кто посмеялся бы над близостью приближения, что математик обычно идет ближе; на самом деле его теоремы обычно не имеют никакой ошибки вообще. Тот самый человек, который сбит с толку предыдущим описанием, может легко забыть, что если бы не было никакой ошибки вообще, лилипут с миллионного глобуса под нами не смог бы найти изъяна у бробдингнежца с миллионного глобуса над нами. Три угла треугольника, совершенной точности формы, абсолютно равны двум прямым углам; никакой размах прогрессии не обнаружит никакой ошибки.
«Теперь подумайте о математическом советнике мистера Лакомма (ante, том I, стр. 46), делающем проблему из совета каменщику о количестве мостовой в круглом полу!
«Мы теперь, для нашего невычисляющего читателя, изложим дело другим способом. Мы видим, что квадратор круга может выдвинуть с величайшей уверенностью утверждение, что когда диаметр равен 1000, окружность в точности равна 3125: математик заявляет, что она чуть больше 3141½. Если квадратор прав, математик ошибся примерно на 200-ю часть целого: или не свел свои счета правильно примерно на 10 шиллингов на каждые 100 фунтов. Конечно, если он начал с такой ошибкой, он будет накапливать ошибку на ошибке. Теперь, если есть процесс, в котором необходимо близкое знание круга, то это в предсказании места Луны — скажем, относительно времени прохождения меридиана в Гринвиче — в данный день. Мы не можем дать ни малейшего представления о сложности деталей: но здравый смысл скажет нам, что если математик не может найти путь вокруг круга без относительной ошибки в четыре раза больше комиссии биржевого маклера, он должен ужасно ошибаться в своей попытке предсказать время прохождения Луны. Теперь, каков факт? Его ошибка меньше секунды времени, а Луна делает оборот за 27 с лишним дней. То есть, начиная с 10 шиллингов на 100 фунтов ошибки в своей окружности, он попадает в пятую часть фартинга на 100 фунтов в предсказании транзита Луны. Теперь мы не можем думать, что уважение, в котором держат математическую науку, достаточно велико — хотя мы находим его не малым — чтобы заставить это проглотить. Это уважение основано на представлении, что правильные цели достигаются правильными средствами: едва ли поверят, что истина может быть получена до фартингов из данных, которые неверны на шиллинги. Даже знаменитый Гамильтон из Эдинбурга, который считал, что в математике нет способа ошибиться, был полностью проникнут убеждением, что это потому, что ошибка избегалась с самого начала. Он никогда не заходил так далеко, чтобы сказать, что математик, который начинает неправильно, должен как-то закончить правильно.
«Всегда есть трудность относительно того, как мыслящий человек обычной жизни должен иметь дело с предметами, которые он не изучал в профессиональной степени. Он должен формировать мнения по вопросам теологическим, политическим, юридическим, медицинским и социальным. Если он может решиться выбрать проводника, то, конечно, нет никакой растерянности: но по всем упомянутым предметам указатели указывают в разные стороны. Теперь почему бы ему не сформировать свое мнение по абстрактному математическому вопросу? Почему не заключить, что, относительно круга, возможно, мистер Джеймс Смит может быть тем самым человеком, точно так же, как Адам Смит был человеком вещей, которые тогда должны были прийти, или Лютер, или Галилей? Правда, существует единодушие среди математиков, которое не преобладает ни в каком другом классе: но это делает шанс того, что все они неправы, только разным по степени. И более того, разве не считается обычно среди нас, что священники и врачи никогда не были так неправы, как тогда, когда было больше всего видимости единодушия среди них? На предыдущие вопросы мы не видим ответа, кроме этого, что индивидуальный исследователь может так же рационально решить математический вопрос для себя, как теологический или медицинский вопрос, как только он сможет поставить себя в положение в математике, равное тому, в котором он стоит в теологии или медицине. Повседневное мышление и чтение обычной жизни имеют некоторое сходство с мышлением и чтением, требуемыми учеными факультетами. Исследование, баланс доказательств, оценка вероятностей, которые используются в вопросе медицины, тесно связаны по характеру, как бы ни отличался предмет применения, с теми, которые служат купцу для того, чтобы сделать свои выводы о рынках. Но у математиков есть методы свои собственные, к которым ничто в обычной жизни не имеет близкой аналогии, относительно природы результатов или характера выводов. Логика математики, безусловно, такова же, как в обычной жизни: но данные другого вида; они не допускают сомнения. Эксперт-арифметик, каким является мистер Дж. Смит, может вообразить, что вычисление, просто как таковое, есть математика: но ценность его книги, и в этой точке зрения она не мала, заключается в полной манере, в которой она показывает, что практикующий арифметик, отваживающийся на поле математического доказательства, может показать себя совершенно лишенным всего того, что отличает рассуждающего геометрического исследователя от вычислителя.