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

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...

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

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...

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...

Hilbert's ninth problem, from the list of 23 Hilbert's problems (1900), asked to find the most general reciprocity law for the norm residues of k-th order...

the German mathematician David Hilbert was the most influential advocate, developing what became known as Hilbert's program to establish the consistency...

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...

related to Consistency. Cognitive dissonance Equiconsistency Hilbert's problems Hilbert's second problem Jan Łukasiewicz Paraconsistent logic ω-consistency...

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

In logic, Hilbert's epsilon calculus is an extension of a formal language by the epsilon operator, where the epsilon operator substitutes for quantifiers...

subject should be fitted into one theory (examples include Hilbert's program and Langlands program). The unification of mathematical topics has been called...

on Hilbert's second lecture on the foundations of mathematics in van Heijenoort 1967:484. Although Weyl the intuitionist believed that "Hilbert's view"...

formalist approach, of which David Hilbert was the foremost proponent, culminating in what is known as Hilbert's program, which sought to ground mathematics...

Euler characteristic, used in homological algebra. He contributed to Hilbert's program in the foundations of mathematics by providing a constructive consistency...

the set of all true identities)? This turns out to be analogous to Hilbert's program and Gödel's incompleteness theorem in the 1920s and 30s. First, note...

with the work of Frege and culminating in Principia Mathematica and Hilbert's program, to find a non-relatively consistent axiomatization sufficient for...

published in 1879. David Hilbert was the first to invoke the term "metamathematics" with regularity (see Hilbert's program), in the early 20th century...

all further propositions can be derived. Hilbert's Program was an attempt by German mathematician David Hilbert to axiomatize all of mathematics in the...

Gábor Szegő. It climaxes with von Neumann's participation in David Hilbert's program to create a logical basis for mathematics based on a consistent set...

of Riesz's presentation of Hilbert's spectral theorems at the time, and the discovery of Hermitian operators in a Hilbert space, as distinct from self-adjoint...

should be derivable from logic and set theory, ultimately leading to Hilbert's program, Gödel's theorems and non-standard analysis. "God created the natural...

Wayback Machine Iterative implementation of Hilbert curve in JavaScript Algorithm 781: generating Hilbert's space-filling curve by recursion (ACM Digital...

movement to mathematical logic, and opposition of David Hilbert's formalism movement (see: Brouwer–Hilbert controversy). Errett Bishop: American mathematician...

mental plane Hilary Bok Hilary Kornblith Hilary Lawson Hilary Putnam Hilbert's Program Hildegard of Bingen Hillel ben Samuel of Verona Hillel of Verona Himerius...

the system. Two examples of the latter can be found in Hilbert's problems. Work on Hilbert's 10th problem led in the late twentieth century to the construction...

project in his Grundgesetze by Russell's paradox, to the defeat of Hilbert's program by Gödel's incompleteness theorems. Set theory originated in the study...

conservative over the finitistic part. Hilbert's views are also associated with the formalist philosophy of mathematics. Hilbert's goal of proving the consistency...