Словарь по логике

Гильберт

Давид Гильберт, D. Hilbert (23.1.1862, Кенигсберг - 14.2.1943, Геттинген): Немецкий математик и логик, в 1895-1936 гг. проф. Геттингенского Ун-та. Работы по алгебраической теории чисел, геометрии, диффференциальному и интегральному исчислениям, логике. Заметил, что аксиоматизации геометрии Евклида и Лобачевского не полны. В 1898 году опубликовал "Основы геометрии", где привел независимую полную систему аксиом Евклидовой геометрии. В 1900 в докладе на Втором Международном конгрессе математиков сформуровал 23 т.н. "проблемы Гильберта". Обобщил понятие евклидова прространства на n-мерный случай ("пространство Гильберта"). Один из создателей современной логики. Родоначальник формалистического направления в философии математики. (Статья в процессе написания).