Events Tagged: "consistency"

Hilbert presents his 23 problems at International Congress, including consistency of arithmetic (Problem 2)

Hilbert proposes his program to prove consistency of mathematics using finitary methods