Text this: Nominalism and constructivism in seventeenth-century mathematical philosophy /