Nerozumiete matematickým dôkazom, vypočujte si ich ako hudbu

DSL.sk, 24.5.2006

Zaujímavý projekt Metamath Music Page (MMP) sprístupnili na Internete tvorcovia softvéru Metamath.

V rámci projektu MMP vytvorený softvér totiž dokáže skomponovať hudobné skladby zo sformalizovaných matematických dôkazov.

Počúvanie týchto skladieb Vám v žiadnom prípade bohužial ani teoreticky neumožní dôkazy pochopiť. Hudba je totiž vytvorená jednosmerným algoritmom, keď nenesie plnú informáciu o dôkaze a z hudby ho nie je možné spätne skonštruovať.

Na druhej strane vzhľadom na isté zákonitosti a opakovanie sa vzorov v dôkazoch je vygenerovaná hudba v niektorých prípadoch počúvateľná, aj keď samozrejme tento projekt vznikol najmä pre zábavu a propagáciu samotného softvéru Metamath.

Na stránke projektu je možné nájsť MIDI súbory vytvorené z dôkazov mnohých známych matematických viet ale tiež samotný softvér pre vytváranie tejto hudby a jeho zdrojové kódy.


Najnovšie články:



Diskusia:

Pre pána :) Od: Pre pána :) | Pridané: 24.5.2006 21:44 Hudba je v niektorých prípadoch počúvateľná :) to vraj volajú hudba? :)no aspoň sranda.. Odpovedať Hodnotiť:

falus Od: falus | Pridané: 24.5.2006 21:51 tiez poznam jeden vyborny program tu je aspon screenshot :) http://www.dusky.sk/pics/2006-05/2260_93-hit.jpg Odpovedať Hodnotiť:

tom Od: tom | Pridané: 24.5.2006 22:04 dost dobre :) Odpovedať Hodnotiť:

stafa Od: stafa | Pridané: 25.5.2006 14:42 Vcelku to vystihuje skutocnost..:) Odpovedať Hodnotiť:

peti Od: peti | Pridané: 24.5.2006 21:56 co ludi este nenapadne... Odpovedať Hodnotiť:

snake Od: snake | Pridané: 24.5.2006 22:23 vsetko je to na jedno kopyto... Odpovedať Hodnotiť:

Pridať komentár