metamath music

I hadn't seen this before on metamath

http://us.metamath.org/mpegif/mmmusic.html

-Carl

--- In tuning-math@yahoogroups.com, Carl Lumma <ekin@...> wrote:
>
> I hadn't seen this before on metamath
>
> http://us.metamath.org/mpegif/mmmusic.html

Exeptionally cool, and the idea makes sense. A proof has a combination
of complexity and order, and likely some self-similarity, which makes
it a logical source of raw data for music.

--- In tuning-math@yahoogroups.com, "Gene Ward Smith"
<genewardsmith@...> wrote:
>
> --- In tuning-math@yahoogroups.com, Carl Lumma <ekin@> wrote:
> >
> > I hadn't seen this before on metamath
> >
> > http://us.metamath.org/mpegif/mmmusic.html
>
> Exeptionally cool, and the idea makes sense. A proof has a
> combination of complexity and order, and likely some
> self-similarity, which makes it a logical source of raw data for
> music.
>

The idea is VERY cool!! The music, however, sounded rather boring to
me. But one could start off this idea and derive a better-sounding
algorithm.
That would be something if one could be trained to listen to that and
get a feeling for the math inside - a new way of shaping mathematic
intuition...
--
Hans Straub

--- In tuning-math@yahoogroups.com, "hstraub64" <hstraub64@...> wrote:

> That would be something if one could be trained to listen to that and
> get a feeling for the math inside - a new way of shaping mathematic
> intuition...

Supposedly turning DNA sequences into music has actually proven useful.
Aside from whatever value the music has, that is.

>> That would be something if one could be trained to listen to that and
>> get a feeling for the math inside - a new way of shaping mathematic
>> intuition...
>
>Supposedly turning DNA sequences into music has actually proven useful.

Audification or sonification is a great way to monitor data.

-Carl