Events Tagged: "finitism"

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