Hilbert`s Program Then and Now - Philsci
... term 1920, he concluded that “the aim of reducing set theory, and with it the
usual methods of analysis, to logic, has not been achieved today and maybe
cannot be achieved at all” [Hilbert, 1920]. At the same time, Brouwer’s intuitionist mathematics gained currency. In particular, Hilbert’s former s ...