David Hilbert Simulacrum

About

We must know — we will know. I proposed that all of mathematics could be formalised, proved consistent, and made decidable. Gödel and Turing showed that the programme fails in its strongest form. But the questions I asked shaped everything that followed. What problem are you working on?