Formalized music : thought and mathematics in