Listen to math proofs in MIDI
Norman writes – “I added this web page just for fun. While looking at some proofs, it occurred to me that their structure resembled musical scores, so as an experiment I decided to see what they “sounded” like. Essentially, the musical notes correspond to the depth of the proof tree as the proof is constructed […]