Кто такой Гильберт и чем он связан с метаматематикой?

Дави́д Ги́льберт (нем. David Hilbert; 23 января 1862 — 14 февраля 1943) — немецкий математик-универсал, внёс значительный вклад в развитие многих областей математики. Член многих академий наук, в том числе Берлинской, Гёттингенской, Лондонского королевского общества, иностранный почётный член Академии наук СССР (1934). Лауреат премии имени Н. И. Лобачевского (1903). В 1910—1920-е годы (после смерти Анри Пуанкаре) был признанным мировым лидером математиков.