Mathematical proofs turned into music

"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."
Norman Megill (I assume), MetaMath (MIT)

This is really good music actually, really. The best pieces sound like modern classical, except better (sorry humans). Very catchy. Here's a sample: one of Peano's postulates, the Schröder-Bernstein theorem
,This guy is out of control cool, he's also posted some visuals--the S-B theorem (again) is displayed here.

A composer also combined a few of the proofs from into an original arrangement---but I actually like the proofs better standing alone (ouch).

P.S. Anyone know a good, free, audio player I can place in a blog post? (note keywords: free and not off-site, I've seen those already. I know, very demanding, but it's got to be out there.)

read more | digg story

1 Comment:

Dimitar Vesselinov said...

Mathematics and Music
" 'Music is the pleasure the human mind experiences from counting without being aware that it is counting' (Leibnitz). But how were mathematical formulations used to create early music? Why do we in the West hear twelve notes in the octave when the Chinese hear fifty-three? What is the mathematical sequence that produces the so-called 'golden section'? And why was there a resurgence of the use of mathematics in composition in the twentieth century?"