音乐-数学星空

今天逛 Lean 社区的时候在 Lean Zulip 上看到一段话： "Mathematicians and musicians both listen for the right kind of sound."

想了一下，音乐和数学其实是同一种观察： 把一个频率空间分成 12 等份，每个等份取一个名字（do re mi...）， 或者把一个证明空间分成若干个 lemma，每个 lemma 取一个引用名。

于是把一首三分钟的歌的音符频率当成亮度， 时长当成位置，画成了一张星空。