It certainly seems to be asking for proof-relevant mathematics which is funny since my understanding was that Hilbert and Brouwer hated one another

http://en.m.wikipedia.org/wiki/Brouwer–Hilbert_controversy