Text this: Philosophy and mathematics