tweet 11 Dec, 2015 · 10:23 pm 11/ Mathematical Proofs Set to Music http://us.metamath.org/mpegif/mmmusic.html 11/ Mathematical Proofs Set to Music http://us.metamath.org/mpegif/mmmusic.html (rdgr.me u/jv8d23) View/Reply on Twitter Tagged with: 24 Rudiger Meyer is a composer interested in the play between traditional concert music and new media.