Peirce, Turing And Hilbert: A Sketch Of Pragmatism Vs. Formalism