Жизнь и творчество Д. Гильберта — страница 4

  • Просмотров 1412
  • Скачиваний 26
  • Размер файла 23
    Кб

геометрии. К 1922 году у Гильберта сложился значительно более обширный план обоснования всей математики путём её полной формализации с последующим «метаматематическим» доказательством непротиворечивости формализованной математики. Два тома «Оснований математики», написанных Гильбертом совместно с П. Бернайсом, в которых эта концепция подробно развивается, вышли в 1934-м и 1939-м годах. Первоначальные надежды Гильберта в этой

области не оправдались: проблема непротиворечивости формализованных математических теорий, как показал Курт Гёдель (1931), оказалась глубже и труднее, чем Гильберт предполагал сначала. Но вся дальнейшая работа над логическими основами математики в большой мере идёт по пути, намеченному Гильбертом, и использует созданные им концепции. Считая с логической точки зрения необходимой полную формализацию математики, Гильберт в то же

время верил в силу творческой математической интуиции. Он был большим мастером в высшей степени наглядного изложения математических теорий. В этом отношении замечательна «Наглядная геометрия», написанная Гильбертом совместно с С. Кон-Фоссеном. Для творчества Гильберта характерны уверенность в неограниченной силе человеческого разума, убеждение в единстве математической науки и единстве математики и естествознания.

Собрание сочинений Гильберта, изданное под его наблюдением (1932—1935), кончается статьёй «Познание природы», а эта статья — лозунгом «Мы должны знать — мы будем знать» (Wir müssen wissen. Wir werden wissen.). Физика В физике Гильберт был сторонником строгого аксиоматического подхода, и считал, что после аксиоматизации математики необходимо будет проделать эту процедуру с физикой. Наиболее известным вкладом Гильберта в физику является вывод

уравнений Эйнштейна — основных уравнений общей теории относительности, проведённый им в ноябре 1915 года практически одновременно с Эйнштейном (вероятно, чуть раньше него, см. также Вопросы приоритета в теории относительности). Представляет интерес также следующий случай: в 1926 году после создания матричной квантовой механики Макс Борн и Вернер Гейзенберг решили проконсультроваться у Гильберта, существует ли область

математики, в которой применялся бы подобный формализм. Гильберт ответил им, что с похожими матрицами он встречался, когда разбирал вопросы существования решений дифференциальных уравнений второго порядка в частных производных. Физикам показалось, что математик их не понял, и они решили не изучать далее этот вопрос. Менее чем через полгода Эрвин Шрёдингер создал волновую квантовую механику, основное уравнение которой —