Hilbert's objectivity (Q2447812)

In this article, the author discusses the criticism of Hilbert's reasoning about ``signs'' voiced by \textit{A. Müller} [``Über Zahlen als Zeichen'', Math. Ann. 90, 153--158 (1923; JFM 49.0039.02)], \textit{H. Weyl} [Philosophy of mathematics and natural science. Revised and augmented English edition based on a translation by Olaf Helmer. Princeton, NJ: Princeton University Press (1949; Zbl 0033.24209)] and \textit{S. Feferman} [In the light of logic. New York, NY: Oxford University Press (1998; Zbl 0918.01044)] and its defense by \textit{M. Detlefsen} [Hilbert's program. An essay on mathematical instrumentalism. Dordrecht etc.: D. Reidel Publishing Company (1986; Zbl 0641.03001)].