Математика. Утрата определенности.
Шрифт:
Математика в широком смысле слова, понимаемая как всевозможное использование чисел и геометрических фигур, родилась за несколько тысячелетий до того, как ей занялись греки классического периода. Она включает в себя достижения многих исчезнувших цивилизаций, среди которых наиболее выдающуюся роль сыграли культуры древнего Египта и Вавилона. Но во всех древних цивилизациях, за исключением греческой, математика еще не сформировалась в отдельную науку, у нее не было своей особой методологии, и она не ставилаперед собой иных целей, кроме решения самых непосредственных, практических задач. Математика была своего рода инструментом, набором разрозненных нехитрых правил, позволявших людям удовлетворять повседневные запросы: составлять календари, назначать сроки проведения сельскохозяйственных работ, вести торговлю. Открытые методом проб и ошибок, на основе опыта и наблюдений, многие из этих правил были верны лишь приближенно. О математике догреческих цивилизаций в лучшем случае можно сказать, что она в известной мере продемонстрировала мощь, если не строгость, мышления и проявила больше упорства, чем блеска. Математику такого рода принято называть эмпирической. Эмпирическая математика египтян и вавилонян стала прелюдией
Хотя греческая культура не была полностью свободной от внешних влияний (греческие мыслители, совершая путешествия в Египет и Вавилон, знакомились там с достижениями местной науки) и хотя математике в современном смысле этого слова (даже в столь благоприятной интеллектуальной атмосфере древней Греции) еще предстояло пройти период созревания, то, что создали греки, значительно отличалось от того, что они по крупицам собрали из опыта своих предшественников.
Провозгласив своей целью поиск математических истин, греки не могли опираться на грубые, эмпирические, ограниченные, несвязные и во многих случаях приблизительные результаты, накопленные до них главным образом египтянами и вавилонянами. Сама математика, основные факты о числах и фигурах, должна была стать сводом абсолютных истин — и математические рассуждения, направленные на постижение истин о физических явлениях, например о движениях небесных тел, должны были приводить к неоспоримым результатам. Высокие цели намечены, но как их достичь?
Первый принцип, которого неуклонно придерживались греки, состоял в том, что математика должна иметь дело с абстракциями. Для философов, творцов греческой математики, носителями истины могли быть лишь перманентные, неизменяемые сущности и отношения. К счастью, человеческий разум, работу которого стимулируют наши органы чувств, может подняться до более высоких концепций — идей, вечных реалий и истинных объектов мышления. Предпочтение, отдаваемое греками абстракции, имело под собой и другую причину. Чтобы обрести мощь, математика должна охватывать в едином абстрактном понятии существенные черты всех физических реализаций этого понятия. Так, математическая прямая должна отражать наиболее существенные особенности натянутых нитей, краев линеек, границ сельскохозяйственных угодий и траекторий лучей света. Математическая прямая не должна, следовательно, иметь толщину, цвет, молекулярную структуру или испытывать натяжение. Греки вполне отчетливо и явно утверждали, что их математика имеет дело с абстракциями. В «Государстве» Платон говорит о геометрах следующее:
Разве ты не знаешь, что, хотя они используют видимые формы и рассуждают о них, мыслят они не о самих формах, а об идеалах, с которыми не имеют сходства; не о фигурах, которые они чертят, а об абсолютном квадрате и абсолютном диаметре… и что в действительности геометры стремятся постичь то, что открыто лишь мысленному взору?
Итак, математика должна заниматься прежде всего изучением таких абстрактных понятий, как точка, прямая и целое число. Другие понятия, например треугольник, квадрат и окружность, можно определить через основные понятия, которые, как отметил Аристотель, должны оставаться неопределимыми, ибо в противном случае у нас не было бы отправной точки. О степени изощренности греческой математики можно судить хотя бы по тому, что определяемые там понятия должны были иметь аналоги в реальности либо по доказанному, либо по построению. Так, нельзя было ввести по определению трисектор угла и доказывать о нем теоремы: трисектор мог бы и не существовать. И так как грекам не удалось решить задачу о трисекции любого угла при тех ограничениях, которые они накладывали на геометрические построения, то они так и не ввели понятия трисектора. {7}
7
С этой точки зрения характерно, что Предложение 1 евклидовых «Начал» содержит построение равностороннего треугольника, что единственно оправдывает данное несколько ранее определение такого треугольника (ср. [25], с. 13, 15-16).
Свои рассуждения о математических понятиях греки начинали с аксиом— истин, столь очевидных, что в справедливости их невозможно усомниться. Такие истины грекам были известны. Платон обосновал принятие аксиом своей теорией воспоминаний — анамнезисом.Как уже упоминалось, Платон считал объективно существующим мир идей. До того как человек появляется на свет, его душа обретается в мире идей и впитывает впечатления. Побуждаемая к воспоминаниям, душа затем восстанавливает накопленные ранее впечатления, чтобы признать истинность аксиом геометрии. Никакой земной опыт ей для этого не требуется. Аристотель подошел к проблеме иначе. Истинность аксиом, утверждает он во «Второй аналитике» ([8] гл. 18), мы познаем посредством безошибочной интуиции. Кроме того, аксиомы необходимы нам как основа для рассуждений. Если бы в своих рассуждениях мы использовали факты, истинность которых неизвестна, то для установления их истинности потребовались бы новые рассуждения, и так до бесконечности. В результате мы бесконечно «спускались» бы в наших доказательствах — но нигде не могли бы остановиться. Среди аксиом Аристотель различал общие понятия и постулаты. Общие понятия истинны во всех областях мысли. К их числу относятся такие утверждения, как «Если от равного отнять равные [части], то остаются равные же [части]» ([8], с. 199). Постулаты применимы к такой специфической области, как геометрия. Таково, например, утверждение «Две [разные] точки определяют прямую и притом только одну». Аристотель считал, что постулаты не обязательно должны быть самоочевидными, но если они не очевидны, то их истинность надлежит подтверждать выводимыми из них следствиями. Математики же требовали самоочевидности постулатов.
Из аксиом с помощью рассуждений выводятся заключения. Существует много типов рассуждений, например рассуждения по индукции, по аналогии и дедукции. Правильность заключения гарантирует лишь один из многих типов рассуждений. Заключение «Все яблоки красные», сделанное на основании того, что тысяча просмотренных яблок оказались красными, индуктивно и поэтому не абсолютно надежно. Заключение «Джон сможет окончить этот колледж», сделанное потому, что брат Джона, унаследовавший от родителей те же способности, окончил колледж, получено с помощью рассуждения по аналогии и заведомо не надежно. С другой стороны, дедуктивное рассуждение, несмотря на множество различных форм, гарантирует истинность заключения. Так, допуская, что все люди смертны и Сократ — человек, следует прийти к заключению, что Сократ смертен. Используемое в этом рассуждении правило логики является одной из форм суждения, которое Аристотель назвал силлогистическим выводом.К правилам дедуктивного рассуждения Аристотель относил также закон противоречия(никакое высказывание не может быть одновременно истинным и ложным) и закон исключенного третьего(любое высказывание должно быть либо истинным, либо ложным).
Аристотель, а вслед за ним и весь мир приняли за неоспоримую истину, что применение правил дедуктивного вывода к любым посылкам гарантирует получение заключений, не уступающих по надежности посылкам. Иначе говоря, если посылки истинны, то истинны и заключения. Следует отметить, в особенности для обсуждения в дальнейшем, что Аристотель абстрагировал правила дедуктивной логики из рассуждений, которыми тогда уже широко пользовались математики. {8} Дедуктивная логика — дитя математики.
8
Так, например, еще Платон весьма высоко ценил логический метод «доказательства от противного», при котором установление истинности предложения pначинается с предпосылки «пусть pневерно», и из этой предпосылки выводится противоречие [так, пифагорейское доказательство иррациональности 2 (в наших обозначениях) начинается с утверждения: «Пусть 2 = m/n— рационально…»]. Общую форму этому методу придал, как будто, основатель так называемой элейскойшколы в древнегреческой философии Парменид (V в. до н.э.), глубоко почитавшийся Платоном (ему посвящен диалог Платона «Парменид»).
Хотя почти все греческие философы считали дедуктивный вывод единственно надежным методом получения истины, Платон придерживался несколько иных взглядов. Не выдвигая возражений против дедуктивного доказательства, Платон тем не менее считал его поверхностным, поскольку математические аксиомы и теоремы существуют в некотором объективном, независимом от человека мире, и в соответствии с учением Платона об анамнезисе человеку необходимо лишь вспомнить эти аксиомы, чтобы сразу же распознать их неоспоримую истинность. Теоремы, если воспользоваться сравнением из диалога Платона «Теэтет», подобны птицам в птичнике. Они существуют сами по себе, и необходимо лишь «схватить» их. В диалоге Платона «Менон» Сократ с помощью искусно поставленных вопросов вытягивает из молодого раба утверждение, что площадь квадрата, построенного на гипотенузе равнобедренного прямоугольного треугольника, вдвое больше площади квадрата, построенного на любом из катетов. Сократ торжествующе заключает, что искусно поставленные вопросы помогли рабу, никогда не изучавшему геометрию, вспомнить теорему.
Важно правильно оценивать, сколь радикальной была приверженность дедуктивному доказательству.Предположим, что некий ученый, измерив сумму углов ста различных треугольников, отличающихся расположением, размерами и формой, обнаружил, что в пределах точности измерений сумма углов всегда оказывается равной 180°. Разумеется, ученый решил бы, что сумма углов любого треугольника равна 180°. Но его доказательство было бы индуктивным, а не дедуктивным — и поэтому неприемлемым с точки зрения математики. Он мог бы точно так же проверить сколько угодно четных чисел и убедиться, что каждое из них представимо в виде суммы двух простых чисел. Но подобная проверка не является дедуктивным доказательством, и ее результат не сочли бы за математическую теорему. Итак, мы видим, что дедуктивность доказательства — требование весьма ограничивающее. Тем не менее греческие математики, бывшие в большинстве своем философами, упорно настаивали на исключительном использовании дедуктивных рассуждений, так как именно дедукция приводит к абсолютным истинам, к вечным ценностям.
Предпочтение, отдаваемое философами дедуктивным рассуждениям, обусловлено еще одной причиной. Философов интересуют лишь самые общие факты, касающиеся человека и физического мира, а чтобы установить такие универсальные истины, как то, что человек по существу добр, что в мире царит порядок или что человеку есть ради чего жить, дедуктивный вывод из подходящих исходных принципов осуществим в гораздо большей мере, чем индукция или рассуждение по аналогии.
Еще одну причину того, что греки классического периода отдавали предпочтение дедукции, можно усмотреть в организации их общества. Философией, математикой и искусством, естественно, увлекались прежде всего состоятельные люди, а не те, кто занимался физическим трудом. Все домашнее и общественное хозяйство держалось на рабах, метеках (свободных людях, не имевших, однако, гражданских прав) {9} и на свободных гражданах — ремесленниках; они же представляли все важнейшие профессии. Образованные свободные граждане не занимались физическим трудом и редко участвовали в торговых сделках. Платон провозгласил, что профессия лавочника недостойна свободнорожденного, и предложил подвергать наказанию всякого гражданина, который унизит себя подобным занятием, как совершившего преступление. Аристотель утверждал, что в идеальном государстве ни один гражданин (в отличие от рабов) не должен заниматься никаким ремеслом. Беотийцы (одно из греческих племен) запрещали тем, кто запятнал себя участием в торговых сделках, в течение десяти лет занимать общественные должности. В таком обществе эксперимент и наблюдение были мыслителям чужды. Считалось, что источники такого рода не могут помочь получить результаты научного, в частности математического, характера.
9
Укажем, однако, что статут «временно поселившихся лиц», или метеков, имели в Афинах периода их расцвета и многие выдающиеся ученые — назовем хотя бы имена Аристотеля из Стагира, Евдокса Родосского, Демокрита Абдерского, Гиппократа Хиосского (математик) или Гиппократа Косского (врач).