Читать «Число, пришедшее с холода. Когда математика становится приключением» онлайн - страница 91

Каждую аксиому Гильберт иллюстрирует грубым эскизом, наглядно сообщающим содержание аксиомы, — некоторые из этих эскизов и утверждений настолько банальны, что вызывают искреннее удивление: зачем вообще упоминать о таких очевидных вещах? Ответ самого Гильберта гласит: нельзя соблазняться чувственным впечатлением! В геометрии, какой представлял ее себе Гильберт, явное, чувственное впечатление играет второстепенную, поясняющую, но ни в коем случае не определяющую роль. Утверждения геометрии можно считать доказанными только в тех случаях, когда доказательство опирается на двадцать упомянутых аксиом. Все остальное не считается доказательством.

«Но вы все же описываете точки, прямые и плоскости таковыми, какие они есть; почему они не имеют никакой ценности в ваших глазах?» — может спросить Гильберта скептически настроенный читатель.

«Это прекрасно, — ответил бы Гильберт, — что вы воспринимаете точки, прямые и плоскости именно так, как я их описываю в аксиомах. Но я не требую ни от кого, кто занимается геометрией, правильного “восприятия” того, о чем идет речь, когда говорят о точке, прямой или плоскости. Все эти представления можно выражать как угодно, словами самого экзотического языка. Другими словами, меня вообще не интересует сущность точек, линий и плоскостей — меня интересует, чтобы все, что называют точкой, прямой или плоскостью, подчинялось моим аксиомам. Этого вполне достаточно».

Составляя список из двадцати аксиом, Гильберт хотел достичь и достиг двоякой цели.

Во-первых, ему удалось доказать, что эта система аксиом обладает полнотой. Под этим словом имеется в виду, что все истинные утверждения геометрии можно вывести из двадцати аксиом Гильберта. Фактически в геометрии отсутствует «ignorabimus»: то, что можно познать, соответствует тому, что можно вывести из аксиом.

Во-вторых, Гильберту удалось доказать, что эта система аксиом непротиворечива. Действительно, для системы аксиом стало бы катастрофой, если бы какие-либо два утверждения, выведенные из этих аксиом, противоречили бы друг другу. Тогда 5 превратилось бы в четное число, а вся система рухнула бы как карточный домик.

Гильберт достиг обеих целей, так как смог доказать: его система геометрических аксиом полна и непротиворечива, потому что полон и непротиворечив счет с помощью чисел с бесконечным десятичным представлением.

Но мог ли Гильберт быть уверенным в том, что счет с помощью чисел с бесконечным десятичным представлением является полным и непротиворечивым? Дело в том, что в данном случае речь идет не об обычном счете.

Числа с бесконечным десятичным представлением

Бесполезно дискутировать с человеком, который сомневается в том, что шестью семь равно сорок два. Счет с помощью чисел 1, 2, 3, … обладает, говоря словами Германа Вейля, «характером ясного, достаточного в самом себе убеждения, порожденного абсолютно прозрачной очевидностью». Никто не испытывает ни малейшего сомнения в твердо установленных действиях с целыми числами, каковые можно складывать, вычитать и умножать. Решение о том, какое из двух чисел больше, всегда является однозначным. Деление подчиняется железным и абсолютно непоколебимым правилам.