Однако надо иметь в виду, что К. Рид не является математиком и Гильберта никогда лично не знала, а написала свою книгу со слов других лиц, близко знавших Гильберта. Так как я являюсь математиком, непосредственно знавшим Гильберта и неоднократно встречавшимся с ним, то, быть может, эти мои краткие воспоминания могут служить некоторым добавлением к книге К. Рид.
Основным свойством Гильберта как учёного, да и просто как человека, является его непреклонная и всепобеждающая вера в могущество человеческого познания: мы хотим знать и мы будем знать. Эти слова Гильберта могут служить как бы девизом для всей его научной деятельности, как бы эпиграфом ко всей его жизни, так же как и другие его не менее знаменитые слова, сказанные в применении к математике, но имеющие конечно по существу своему общенаучный, общепознавательный смысл: Est gibt in der Mathematik kein ignorabimus (В математике не существует понятия «мы не будем знать».) Но в свете этой уверенности Гильберта во всепобеждающей силе человеческого познания, в частности и в математике, особый интерес и содержательность приобретает вопрос о природе математического познания, частности и в особенности теоретико-множественного, вопрос о том, какова та реальность, которую познаёт абстрактная теоретико-множественная математика, каковы те реальности, которые населяют «тот райский сад, который открыл для нас Кантор своею теорией множеств и из которого мы никогда и никому не позволим нас изгнать».
С вопросом о природе реальности, изучаемой математикой, тесно связан и другой вопрос: в чём ценность математического познания, а также каковы критерии, позволяющие отличить хорошие, ценные математические работы от малоинтересной математической продукции, в таком обилии наполняющей и переполняющей математические журналы. Имеется много таких критериев, много условий, характеризующих «хорошие» математические работы, и с этими критериями в большинстве случаев связаны те или иные точки зрения на то, что собственно изучает или должна изучать математика. По моему мнению, все эти точки зрения дают в лучшем случае достаточные условия, не являющиеся, однако, как показывает опыт исторического развития математики, необходимыми.
В качестве первого такого условия назову условие непосредственной полезности, приложимости к практике той или иной математической теории. Это условие имеет своей предпосылкой то, что математика изучает тот же материальный мир, что и другие естественные науки, ту же окружающую нас природу, но только несколько отличными от других естественных наук методами, поэтому ценно в математике лишь то, что приложимо к практике. Однако это решительно опровергается историческим развитием нашей науки и выработанными ею традициями, в силу которых мы высоко ценим такие математические области, как различные главы теории чисел и геометрии, в частности алгебраической, далёкие от приложений к практике.
Впрочем и, казалось бы, бесспорная достаточность критерия практической приложимости математической теории может подвергаться некоторым сомнениям с общефилософской точки зрения вследствие того направления, которое приняли приложения математических наук в последние десятилетия. Во всяком случае не недостаток практической приложимости его теоретических работ поверг Эйнштейна в конце его жизни в тяжёлые и мрачные сомнения о ценности его научной деятельности.
Многие хорошие математики склонны оценивать достоинства математической работы с точки зрения трудностей, которые в этой работе преодолены: математический результат хорош, если он труден, если его доказательство потребовало от его автора больших творческих усилий. Этот, я бы сказал, спортивный подход к математике так же даёт, как правило, достаточные условия для оценки достоинства математической работы: теоремы, доказательства которых представили большие трудности, обычно являются и интересными, но необходимым условие трудности доказательства теоремы для важности и значительности этой теоремы всё же не является. Например, основные теоремы Штейница об алгебраических полях и их расширениях не являются особенно трудными, однако их значение для развития современной алгебры чрезвычайно велико. Не являются особенно трудными и доказательства основных теорем Лебега об его мере и интеграле, между тем современный математический анализ был бы невозможен без этих теорем. Я уже не говорю о собственно канторовских теоремах по теории множеств, положивших начало всей теоретико-множественной математике новейшего времени. Не следует забывать, что наряду со спортивной трудностью математических результатов существует их идейная значительность, и эти две различные вещи не следует смешивать. Всё это хорошо понимал Гильберт; в своих разговорах об общих познавательных проблемах, связанных с математикой (а Гильберт охотно вёл такие разговоры), он любил отмечать различные ингредиенты математического познания, в частности и логику, и геометрическую интуицию, и призывал к гармонии между ними.