ГИЛЬБЕРТ ХИЛЬБЕРТ ДАВИД

(23. 1. 1862, Велау, близ Кенигсберга, 14.2.1943, Гёттинген), нем. математик и логик. Осн. труды в области оснований математики и математич. логики. В 1899 дал строго аксиоматич. построение геометрии Евклида, предопределившее дальнейшее развитие исследований по аксиоматизации науч. знания. Г. выдвинул обширный план обоснования математики путём её полной формализации («Основания математики», совм. с VI. Бернайсом, т. 1-2, 1934-39, рус. пер. т. 1, 1979), однако программа Г. оказалась невыполнима. Подход Г. к обоснованию математики привёл к появлению формализма, а также нового раздела математикиметаматематики (теории доказательств). Г. принадлежит ряд важных работ в области исчисления высказываний и исчисления предикатов. в рус. пер.: Основы теоретич. логики, М., 1947 (совм. с В. Аккерманом); Основания геометрии, М.Л., 1948. Pид К., Г., пер. с англ., М., 1977 (с приложением обзора Г. Вейля математич. тр. Гильберта).