In mathematics, Hilbert's program, formulated by German mathematician David Hilbert in the early 1920s, was a proposed solution to the foundational crisis...

irreducibility theorem Hilbert's Nullstellensatz Hilbert's theorem (differential geometry) Hilbert's Theorem 90 Hilbert's syzygy theorem Hilbert–Speiser theorem...

Hilbert's problems are 23 problems in mathematics published by German mathematician David Hilbert in 1900. They were all unsolved at the time, and several...

theorems are widely, but not universally, interpreted as showing that Hilbert's program to find a complete and consistent set of axioms for all mathematics...

result on Hilbert's plan to prove the consistency of mathematics. It is likely that all mathematicians ultimately would have accepted Hilbert's approach...

arithmetic, and analysis. In the early 20th century it was shaped by David Hilbert's program to prove the consistency of foundational theories. Results of Kurt...

In mathematics, Hilbert's second problem was posed by David Hilbert in 1900 as one of his 23 problems. It asks for a proof that arithmetic is consistent...

established by David Hilbert, who initiated what is called Hilbert's program in the Foundations of Mathematics. The central idea of this program was that if we...

was developed in 19th century Europe. David Hilbert instigated a formalist movement called Hilbert’s program as a proposed solution to the foundational...

Hilbert–Serre theorem Hilbert–Smith conjecture Hilbert–Speiser theorem Hilbert–Waring theorem Hilbert's arithmetic of ends Hilbert's axioms Hilbert's basis theorem...