🤖 AI Summary
This paper investigates the mathematical foundations and fundamental limits of algorithmic music composition. Addressing the central question—“Can algorithms generate genuinely creative music?”—it pioneers the application of metamathematical methodology to this domain. Leveraging Turing machine models, Gödel numbering, recursive function theory, and formal system analysis, the study rigorously characterizes the computability, decidability, completeness, and consistency constraints governing musical generation. The results establish an inherent, insurmountable formal barrier to algorithmic composition: genuine creativity cannot be fully captured by unrestricted formal systems and must instead be redefined within constrained, well-specified frameworks. Consequently, the work not only delineates the theoretical capabilities and limitations of algorithmic music but also introduces the first formally verifiable framework for “creative AI music generation.” This framework provides a rigorous foundation for developing next-generation music AIs whose creative capacity can be mathematically proven.
📝 Abstract
This essay recounts my personal journey towards a deeper understanding of the mathematical foundations of algorithmic music composition. I do not spend much time on specific mathematical algorithms used by composers; rather, I focus on general issues such as fundamental limits and possibilities, by analogy with metalogic, metamathematics, and computability theory. I discuss implications from these foundations for the future of algorithmic composition.