lambdaway
::
danse_macabre
3
|
list
|
login
|
load
|
|
{iframe {@ width="580" height="315" src="https://www.youtube.com/embed/71fZhMXlGT4" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share" allowfullscreen}} {center [[youtube|https://youtu.be/71fZhMXlGT4]]} _h4 Je ne m'en lasse pas _p Entre Camille Saint-Saëns qui a pu concevoir dans sa tête cet océan de sons, l'écrire sur une partition en suivant les règles strictes du solfège, et l'orchestre capable de nous le faire entendre, l'élégant violoniste solo, la belle hauboïste, la jolie flutiste, tous ces gens différents unis dans le même bâteau sonore, je ne sais ce qui est le plus beau. Moment de grâce. _p Et maintenant écoutez cette cascade de notes : {iframe {@ width="580" height="315" src="https://www.youtube.com/embed/VbmT-I35k10" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen}} _p Je ne peux pas m'empêcher de voir une similitude entre cette cascade de notes illustrant La danse Macabre de Saint-Saëns - et cette cascade de lambdas {pre '{{lambda {:n :from :to :via} {{{lambda {:g} {:g :g}} {lambda {:g :n :from :to :via} {{{lambda {:a :b :c} {:a :b :c}} {{lambda {:c} {:c {lambda {:a :b} {lambda {:a :b} :b}}}} :n} {lambda {:g :n :from :to :via} } {lambda {:g :n :from :to :via} {:g :g {{lambda {:c} {:c {lambda {:a :b} :b}}} :n} :from :via :to} {br} move {{lambda {:c} {:c {lambda {:a :b} :a}}} :n} from :from to :to {:g :g {{lambda {:c} {:c {lambda {:a :b} :b}}} :n} :via :to :from} }} :g :n :from :to :via}}} :n :from :to :via}} {{lambda {:a :b :c} {:c :a :b}} ==== {{lambda {:a :b :c} {:c :a :b}} === {{lambda {:a :b :c} {:c :a :b}} == {{lambda {:a :b :c} {:c :a :b}} = {lambda {:a} {lambda {:a :b} :a}}}}}} A B C} -> {{lambda {:n :from :to :via} {{{lambda {:g} {:g :g}} {lambda {:g :n :from :to :via} {{{lambda {:a :b :c} {:a :b :c}} {{lambda {:c} {:c {lambda {:a :b} {lambda {:a :b} :b}}}} :n} {lambda {:g :n :from :to :via} } {lambda {:g :n :from :to :via} {:g :g {{lambda {:c} {:c {lambda {:a :b} :b}}} :n} :from :via :to} <br> move {{lambda {:c} {:c {lambda {:a :b} :a}}} :n} from :from to :to {:g :g {{lambda {:c} {:c {lambda {:a :b} :b}}} :n} :via :to :from} }} :g :n :from :to :via}}} :n :from :to :via}} {{lambda {:a :b :c} {:c :a :b}} ==== {{lambda {:a :b :c} {:c :a :b}} === {{lambda {:a :b :c} {:c :a :b}} == {{lambda {:a :b :c} {:c :a :b}} = {lambda {:a} {lambda {:a :b} :a}}}}}} A B C} } _p qui liste les {b 15} mouvements de 4 disques dans le jeu des [[Tours de Hanoï|?view=hanoi]]. _img https://upload.wikimedia.org/wikipedia/commons/thumb/e/e8/AnimeHanoiNB.gif/440px-AnimeHanoiNB.gif _p Une cascade qui n'est qu'une infime partie des algorithmes composant un programme de longueur courante, dont la très très longue cascade de lambdas devrait se rapprocher en complexité de celles des notes jouées par cette remarquable pianiste. _p Qui fait rêver à la possibilité de faire fonctionner le lambda-calcul dans notre cerveau à la même vitesse. Combien a-t'il fallu de temps et de travail à cette pianiste pour pouvoir jouer ce morceau ? Il en faudrait au moins autant pour que notre cerveau puisse interpréter aussi vite un code lambda-calcul. Il y aura peut-être un jour une école de lambda-calcul comme il y a des écoles de musique pour former des humains capables de manipuler les algorithmes à cette vitesse, aidés ou non par des machines, des pianos à algorithmes. Je suis sûr qu'il en existe déjà. Au fin fond de l'Orient certainement. _p Alors avec un peu (beaucoup) d'entrainement on pourra un jour fermer nos ordinateurs métalliques er faire tourner à toute vitesse dans nos cerveaux de beaux algorithmes comme cette pianiste joue du piano. Par exemple pour {b générer par la pensée (et percevoir, ressentir, entendre, toucher)} des odeurs, des couleurs, des sons, des voix, des formes, des poèmes, le sourire de [[colette]]. _p {i Et en attendant, Vive l'Alchimie !} {hr} _p Voir aussi [[Paul Ducas|https://www.youtube.com/watch?v=jNaNDXyXRFo&list=RDjNaNDXyXRFo&start_radio=1&rv=jNaNDXyXRFo&t=10]]
lambdaway v.20211111