Давид Гильберт - выдающийся немецкий математик-универсал, разработавший широкий спектр фундаментальных идей во многих областях математики, в том числе теорию инвариантов и аксиоматику евклидовой геометрии. Он также создал теорию гильбертовых пространств, одну из основ современного функционального анализа. Гильберт разработал современную, абстрактную, версию аксиоматического метода и создал новую ветвь оснований математики - теорию доказательств, или метаматематику.