Constructivist versus structuralist foundations
pp. 265-279
in: P. Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm (eds), Epistemology versus ontology, Berlin, Springer, 2012Abstract
The mathematical philosophies of constructivism and structuralism may at first appear to be at odds with each other. The emphasis on direct construction and lack of a full-fledged abstract set-theoretic or type-theoretic language in early approaches seemed to preclude a structuralist view of mathematics in constructivism.