Formalized Music: Thought and Mathematics in Composition