долей сантиметра продвинулось очень маленькое тело, если оно движется со скоростью меньше, чем сантиметр в секунду. Но мы не сможем сказать, что оно делало в течение этого очень короткого промежутка времени: оно могло двигаться равномерно; оно могло сначала двигаться медленнее, а затем ускориться, или наоборот; оно могло также преодолеть все расстояние за один прыжок. Это последняя гипотеза, кажущаяся странной, на самом деле является частью квантовой теории как наилучшее объяснение некоторых явлений. Мы привыкли рассматривать как само собой разумеющееся, что пространство, время и движение непрерывны, но мы не можем знать этого, потому что не воспринимаем очень небольшие непрерывности. Вплоть до недавнего времени гипотеза непрерывности была рабочей; сегодня в ней начинают сомневаться, в частности в том, что касается очень маленьких явлений.
Точность математики представляет собой абстрактную логическую точность, которая теряется, как только математические размышления применяются к реальному миру. Платон думал (и многие последовали за ним в этом убеждении), что если математика в определенном смысле истинна, то должен существовать идеальный мир, своего рода математический рай, где все происходит именно так, как описывается в учебниках по геометрии. Философ, попадая в рай (а туда, согласно Платону, попадают только философы), будет удовлетворен видом того, чего ему не хватало на Земле: совершенно прямые линии, совершенные круги, совершенные двенадцатигранники и все остальное, необходимое для блаженства. Тогда он поймет, что математика, хотя и неприменима к мирской жизни, представляет собой видение – одновременно и вспоминающее, и пророческое – лучшего мира, из которого вышли мудрецы и куда они возвращаются. Арфы и короны были менее интересны для афинского аристократа, чем для смиренного народа, создавшего христианскую мифологию. Однако христианские теологи, в противовес общим представлениям христиан, принимали многое из платоновского описания рая. В наши дни, когда такого рода вещи стали невозможными, точность стала приписываться Природе, а ученые не сомневаются в том, что универсум функционирует именно так, как его описал Ньютон. Поскольку ньютоновский мир – это мир, созданный Богом, грязный, неточный и т. п. мир, каким мы его знаем, был бы недостоин Создателя. Лишь недавно проблема математической точности, не соответствующей приблизительному характеру знания, получаемого с помощью органов чувств, получила формулировку, полностью свободную от всех теологический аллюзий.
Результатом недавних исследований этой проблемы стало привнесение во все вещи приблизительности и неточности, даже в традиционно священные области логики и арифметики. Для логиков старших поколений эти вопросы упрощались их верой в существование неизменных видов. Ими могут быть кошки и собаки, лошади и коровы; пара из каждого вида была создана Богом, пара из каждого вида спаслась в ковчеге во время потопа, пара из каждого вида вместе всегда производят потомство того же вида. Что касается человека, то не был ли он отличен от животных наличием разума, бессмертной души и знанием добра и зла? Таким образом, значения таких слов, как «собака», «лошадь», «человек», были четко определены, и любое живое существо, к которому применимо одно из этих слов, было четко отделено от других живых существ. На вопрос: «Это лошадь?», – всегда существовал недвусмысленный и бесспорный ответ. Однако для последователя эволюционной теории все меняется. Он считает, что лошади постепенно эволюционировали из животных, которые определенно не были лошадьми, и на каком-то этапе этой эволюции существовали животные, которые не были определенно лошадьми или нелошадьми. То же самое истинно и для человека. Разум по мере своего существования постепенно совершенствовался. По геологическим находкам нельзя судить, имели ли наши далекие предки бессмертные души или знание о добре и зле, даже если допустить, что мы обладаем всеми этими преимуществами. Найдено множество костей, определенно принадлежащих более или менее человекоподобным двуногим существам, но можно ли этих двуногих назвать «людьми» – это вопрос чистого соглашения.
Таким образом выясняется, что на самом деле мы не знаем, что имеем в виду под обычными повседневными словами, такими как «кошка» и «собака», «лошадь» и «человек». Того же рода неопределенность существует и в отношении наиболее точных научных терминов таких, как «метр» и «секунда». Метр определяется как расстояние между двумя отметками на определенном бруске в Париже при определенной температуре бруска. Однако эти отметки не являются точками, и температура не может быть измерена с совершенной точностью. Следовательно, мы не можем знать точно длину метра. В отношении большинства длин мы можем быть уверены, что они длиннее или короче метра. Но в отношении некоторых длин мы не можем с уверенностью сказать, длиннее они или короче метра, или же они точно метр длиной. Секунда определяется, как время размаха маятника определенной длины или как определенная часть дня. Однако мы не можем точно измерить ни длину маятника, ни длину дня. Таким образом, в отношении метра и секунды существует та же самая проблема, что и в отношении лошадей и собак, а именно, что мы не знаем точно, что обозначают эти слова.
Вы можете сказать: «Тем не менее, ничто не поколеблет мою веру в то, что дважды два четыре». В значительной мере вы правы, за исключением пограничных случаев; только в пограничных случаях вы Усомнитесь в том, является ли какое-то конкретное животное собакой или какая-то конкретная длина – меньше метра. Два должно быть Два чего-либо, а утверждение «дважды два четыре» бесполезно, если оно ни к чему не применимо. Две собаки плюс две собаки – это определенно четыре собаки, но в некоторых случаях вы усомнитесь являются ли две из них собаками. Вы можете сказать: «Хорошо, в любом случае это четыре животных». Однако существуют микроорганизмы, относительно которых трудно сказать, являются ли они животными или растениями. «Хорошо, – скажете вы, – тогда это просто живые организмы». Однако существуют вещи, относительно которых трудно сказать, являются они живыми организмами или нет. Тогда вы вынуждены будете сказать: «Две сущности и две сущности – это четыре сущности». Когда вы скажете мне, что вы имеете в виду под термином «сущность», мы сможем принять это утверждение.
Таким образом, понятия, в целом, обладают определенной областью, к которой они применимы в полной мере, и определенной областью, к которой они точно неприменимы. Однако понятия, претендующие на точность, такие как «метр» и «секунда», несмотря на то, что они обладают широкой областью применения (в пределах приблизительной области), к которой они точно неприменимы, совершенно не обладают той областью, к которой они применимы в полной мере. Если они должны применяться в полной мере, то нужно пожертвовать претензией на точность.
Подведем итог нашего обсуждения: математика не обладает той точностью, на которую претендует, она так же приблизительна, как и все остальное знание. Тем не менее, это не имеет никакого значения с практической точки зрения, поскольку в любом случае все наше знание внешнего мира лишь приблизительно.
Я решил обсудить этот вопрос, поскольку многие люди считают, что математика претендует на знание высшего рода, и эта претензия – в тех, кто убежден, что она не оправданна, – рождает сопротивление, которое мешает их обучению математике и восприятию математического рассуждения. Абсолютная точность математики недостижима. Она существует – в той мере, в какой она существует, – лишь благодаря тому факту, что математическое знание на самом деле вербальное, а не эмпирическое, знание, и язык, с помощью которого это знание выражается, довольно сложен.
Но я еще не все сказал о точности. Мы не можем обладать точным знанием о мире, и это правда, но знаем, что, выражаясь математическим языком, результаты верны в той мере, в какой мы можем об этом судить. Иными словами, математики предлагают лучшую рабочую гипотезу для понимания мира. Научные гипотезы могут казаться более или менее ложными, но именно новые математические изобретения снабжают их необходимыми исправлениями. Ньютоновский закон тяжести считался истинным в течение двух с половиной веков и был затем исправлен Эйнштейном; однако универсум Эйнштейна был столь же математическим, что и универсум Ньютона. Квантовая теория разработала совершенно иную, чем классическая, физику атома, но также продолжала работать с математическими символами и уравнениями. Изобретенный математиками аппарат понятий и операций незаменим при объяснении многообразных явлений в мире, благодаря действию общих законов; единственные гипотезы, имеющие шанс на истинность в наиболее развитых науках, предлагаются математиками.
Таким образом, если вы хотите понять мир, насколько это возможно в теоретическом плане, то должны получить значительные познания в области математики. Если вы имеете практические интересы и хотите лишь действовать в мире – независимо от того, для своего блага или во благо человечества, – то можете, не вдаваясь в тонкости математики, достичь многого, опираясь на то, что сделали ваши предшественники. Однако общество, посвящающее себя лишь такого рода работе, будет в определенном смысле
