Public Lecture: Mathematical Perspectives on Music-theoretical Knowledge