Intuitionism

Either:

`Unlike material objects, mathematical objects are, according to intuitionism, creations of the human mind: they are objects of thought not merely in the sense that they can be thought about, but in the sense that their being is to be thought of.'

To what extent this thesis is crucial for the intuitionistic conception of mathematics?

or:

To what extent the intuitionist rejection of the classical law of excluded middle prescribes a revision of classical mathematics?

Readings

(George and Velleman, 2002, ch. 4);

Heyting (1983);

Detlefsen (1992a);

Further readings

Dummett (1975);

(George and Velleman, 2002, ch. 5)