Структура реальности

Большая часть таких споров неизбежно касалась обоснованности или необоснованности различных методов доказательства. Одно из разногласий было связано с так называемыми «мнимыми» числами. Новые Теоремы об обычных, «вещественных» числах доказывали, обращаясь на промежуточных этапах доказательства к свойствам мнимых чисел. Например, таким образом были доказаны первые теоремы о распределении простых чисел. Однако некоторые математики возражали против мнимых чисел на том основании, что они не реальны. (Современная терминология все еще отражает это старое разногласие даже сейчас, когда мы считаем, что мнимые числа так же реальны, как и «вещественные».) Я полагаю, что учителя в школе говорили этим математикам, что нельзя извлекать квадратный корень из минус одного, и, поэтому они не понимали, почему кто-либо другой может это сделать. Нет сомнения в том, что они называли этот злостный порыв «математической интуицией». Однако другие математики обладали другой интуицией. Они понимали, что такое мнимые числа, и как они согласуются с вещественными. Почему, думали они, человеку не следует определять новые абстрактные категории, имеющие свойства, которые он предпочитает? Безусловно единственным законным основанием запретить это была бы логическая несовместимость требуемых свойств. (Это, по существу, современное мнение, выработанное всеобщими усилиями, математик Джон Хортон Конуэй грубо назвал «Движением Освобождения „Математиков“».) Однако общеизвестно, что никто не доказал и то, что обычная арифметика натуральных чисел является самосогласованной.

Подобным разногласиям подверглась и обоснованность использования бесконечных чисел, а также множеств, содержащих бесконечно много элементов, и бесконечно малых величин, используемых при исчислении. Дэвид Гильберт, великий немецкий математик, предоставивший большую часть инфраструктуры как общей теории относительности, так и квантовой теории, заметил, что «математическая литература переполнена бессмыслицами и нелепостями, проистекающими из бесконечности». Некоторые математики, как мы увидим, вовсе отрицали обоснованность рассуждения о бесконечных категориях. Легкий доступ к чистой математике в девятнадцатом веке мало что сделал для разрешения этих разногласий. Напротив, он только усугубил их и породил новые. По мере своего усложнения математическое рассуждение неизбежно удалялось от повседневной интуиции, что возымело два важных противоположных следствия. Во-первых, математики стали более педантичными в отношении доказательств, которые, прежде чем быть принятыми, подвергались все более суровым проверкам на соответствие нормам точности. Но во-вторых, изобрели более мощные методы доказательства, которые не всегда можно было обосновать с помощью существующих методов. И из-за этого часто возникали сомнения, был ли какой-то частный метод доказательства, несмотря на свою самоочевидность, абсолютно безошибочным.

Таким образом, к 1900 году наступил кризис основ математики, который заключался в том, что этих основ не было. Но что же произошло с законами чистой логики? Их перестали считать способными разрешить все математические споры? Удивителен тот факт, что теперь математические споры в сущности и велись о «законах чистой логики». Первым эти законы привел в систему Аристотель еще в 4 веке до н. э., тем самым заложив то, что сегодня называют теорией доказательства. Он допустил, что доказательство должно состоять из последовательности утверждений, которая начинается с каких-либо посылок и определений, а заканчивается желаемым выводом. Чтобы последовательность утверждений была обоснованным доказательством, каждое утверждение, кроме начальных посылок, должно следовать из предыдущих в соответствии с одним из постоянного набора законов, называемых силлогизмами. Типичным был следующий силлогизм

Все люди смертны.

Сократ — человек.

[Следовательно] Сократ смертен.

Другими словами, это правило гласило, что если в доказательстве появляется утверждение вида «все A имеют свойство B» (как в данном случае «все люди смертны») и другое утверждение вида «индивидуум X есть A» (как в данном случае «Сократ — человек»), то впоследствии в доказательстве обоснованно появление утверждения «X имеет свойство B» («Сократ смертен»), и это утверждение, в частности, является обоснованным выводом. Силлогизмы выражают то, что мы назвали бы правилами вывода, то есть правилами, определяющими этапы, которые допустимы при доказательстве, такими, что истина посылок переходит к выводам. Кроме того, эти правила можно применить, чтобы определить, обосновано ли данное доказательство.