Text this: Kant and mathematics today