Computers & Mobile
Listen to math proofs in MIDI

 Music Shape Mm
 Music Shape Fu
 Music Shape Be
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 by the proof verifier. A fast higher note is produced for each step in the construction of a formula. A sustained lower note is produced when the formula is matched to a previous theorem or earlier proof step, to result in a new proof step (which corresponds to a proof step displayed on the Metamath Proof Explorer page that shows the theorem’s proof). Is it “music”? I guess that’s for you to decide. It is richly structured, with underlying themes that on the one hand seem to repeat but on the other hand are interestingly unpredictable, teasing your mind as the piece progresses.”Link.

0 thoughts on “Listen to math proofs in MIDI

  1. I’ve looked into doing this for a LCD monitor on my ex-laptop, but it turned out that for the price of the controller board I could buy a 17″ brand-new monitor. Kudos to these guys for figuring it out.


current: @adafruit - previous: MAKE, popular science, hackaday, engadget, fallon, braincraft ... howtoons, 2600...

View more articles by Phillip Torrone