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