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

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 http://en.m.wikipedia.org/wiki/Brouwer–Hilbert_controversy