`Mathematics has become a court of arbitration, a supreme tribunal to decide fundamental questions -- on a concrete basis on which everyone can agree and where every statement can be controlled' (Hilbert).

Discuss.

Your answer may include discussion of the following questions:

- What is the nature of mathematical truth, according to formalism?
- What are the
*ideal elements*? - Does intuition play any rôle in mathematics?
- What is the source of mathematical certainty?

*Readings*

(Resnik, 1980, 54-76);

(George and Velleman, 2002, ch. 6), until the sentence `There is a second hesitation...';

(Poincaré, 1978b, Book II, ch. 2, 4 (§§6-12))

*Further readings*

(Lavine, 1994, 182-97);

(Detlefsen, 1986a, chs. 1-2);

Sandy Berkovski